क्या इंटर-प्रोसेसर कोड में `std :: mutex` और` std :: lock` गारंटी स्मृति सिंक्रनाइज़ेशन है?

Question

मैं वर्तमान में बहु-कोर नोड्स पर चल रहे कोड लिखने के लिए ओपनएमपी का उपयोग कर रहा हूं। ओपनएमपी में एक विशिष्ट मेमोरी मॉडल है जो गारंटी देता है कि लॉक अधिग्रहित होने पर विभिन्न कोरों पर चलने वाले धागे के बीच स्मृति सिंक्रनाइज़ होती है।

मैं बजाय OpenMP की (उनके बड़े लचीलेपन के कारण) सी ++ 11 निर्माणों (std::mutex और std::lock साथ std::thread) का उपयोग करने पर विचार करें और आश्चर्य है कि अगर प्रोसेसर के बीच/कैसे स्मृति तुल्यकालन यहाँ की गारंटी है? और यदि नहीं, तो मैं इसे कैसे लागू कर सकता हूं?

Answer 1

मानक में §30.4.1.2 [thread.mutex.requirements.mutex]/6-25

अभिव्यक्ति m.lock (, std::mutex के तुल्यकालन के बारे में निम्नलिखित की गारंटी देता है बनाता है) अच्छी तरह से किया जाएगा गठित और निम्नलिखित अर्थशास्त्र

सिंक्रनाइज़ेशन: उसी ऑब्जेक्ट पर पहले अनलॉक() ऑपरेशन इस ऑपरेशन के साथ सिंक्रनाइज़ होगा।

और, इसी तरह,

अभिव्यक्ति m.unlock() करेगा अच्छी तरह से गठित और निम्नलिखित अर्थ विज्ञान

तुल्यकालन है किया: इस आपरेशन बाद में ताला कार्य है कि प्राप्त के साथ सिंक्रनाइज़ एक ही वस्तु पर स्वामित्व।