क्या कोई सी ++ 11 थ्रेड-सुरक्षा गारंटी सी ++ 11 के साथ संकलित/लिंक किए गए तृतीय-पक्ष थ्रेड पुस्तकालयों पर लागू होती है?

Question

सी ++ 11 thread-safe initialization of static variables जैसी सुविधाओं के प्रदान करता है, और कहा कि यह प्रश्न पूछते हैं, उदाहरण के लिए कहूँगा का हवाला देते हुए:

Logger& g_logger() { 
    static Logger lg; 
    return lg; 
} 

तो जाहिरा तौर पर यह सच की परवाह किए बिना कि क्या एक मॉड्यूल एक सी ++ 11 संकलक के साथ संकलित (?) थ्रेड हेडर शामिल थे, या अपने शरीर में किसी भी धागे पैदा किया। आपको गारंटी दी जाती है भले ही यह किसी अन्य मॉड्यूल के खिलाफ जुड़ा हुआ हो जो C++ 11 थ्रेड का उपयोग करता है और फ़ंक्शन कहलाता है।

लेकिन यदि आपका "अन्य मॉड्यूल" जो इस कोड में कॉल करता है तो सी ++ 11 धागे का उपयोग नहीं कर रहा था, लेकिन क्यूटी के QThread जैसे कुछ। क्या इस तरह की गारंटी देने के लिए सी ++ 11 की क्षमता के दायरे के बाहर स्थैतिक पर परमाणु प्रारंभिक है? या सी ++ 11 के साथ संकलित मॉड्यूल का केवल तथ्य है और फिर अन्य सी ++ 11 कोड के खिलाफ जुड़ा हुआ है, यह दर्शाता है कि आपको गारंटी मिलेगी?

क्या किसी को भी एक अच्छा संदर्भ पता है जहां इस तरह के मुद्दे शामिल हैं?

Answer 1

आपका उदाहरण मेमोरी मॉडल पर निर्भर करता है, न कि धागे को कैसे लागू किया जाता है। जो भी इस कोड को निष्पादित करता है वह वही निर्देश निष्पादित करेगा। यदि दो या दो से अधिक कोर इस कोड को निष्पादित करते हैं, तो वे स्मृति मॉडल का पालन करेंगे।

बुनियादी कार्यान्वयन इस के बराबर है:

std::mutex mtx; 
Logger * lg = 0; 
Logger& g_logger() { 
    std::unique_lock<std::mutex> lck(mtx); 
    if (lg == 0) 
     lg = new Logger; 
    return *lg; 
} 

इस कोड की दोबारा जांच कर ताला लगा पैटर्न (DCLP) का उपयोग करने के लिए अनुकूलित किया जा सकता है, एक विशेष प्रोसेसर आर्किटेक्चर (जैसे, 86 पर) पर हो सकता है बहुत तेज हो। इसके अलावा, क्योंकि संकलक इस कोड को उत्पन्न करता है, यह जानबूझकर डीसीएलपी को तोड़ने वाले पागल अनुकूलन न करने के बारे में पता चलेगा।

Answer 2

किसी को भी एक अच्छा संदर्भ जहां इस तरह की समस्या कवर कर रहे हैं पता है?

निश्चित रूप से। सी ++ मानक। यह सी ++ कोड के व्यवहार का वर्णन करता है। यदि आपकी लाइब्रेरी सी ++ कोड है, तो इस व्यवहार का पालन करना आवश्यक है। तो हाँ, आपको वही गारंटी मिलती है जैसे कि यह आपका स्वयं का कोड था।

सटीक रूप से कैसे संकलक/रनटाइम/ओएस/बाकी सब कुछ इसे खींचता है आपकी समस्या नहीं है। सी ++ मानक गारंटी देता है कि इसका ख्याल रखा जाता है।