सी ++ 0x | क्यों std :: परमाणु अस्थिर-योग्यता के साथ प्रत्येक विधि overloads?

Question

वर्तमान मसौदे से निम्नलिखित अंश से पता चलता है कि मैं क्या मतलब है:

namespace std { 
    typedef struct atomic_bool { 
     bool is_lock_free() const volatile; 
     bool is_lock_free() const; 
     void store(bool, memory_order = memory_order_seq_cst) volatile; 
     void store(bool, memory_order = memory_order_seq_cst); 
     bool load(memory_order = memory_order_seq_cst) const volatile; 
     bool load(memory_order = memory_order_seq_cst) const; 
     operator bool() const volatile; 
     operator bool() const; 
     bool exchange(bool, memory_order = memory_order_seq_cst) volatile; 
     bool exchange(bool, memory_order = memory_order_seq_cst); 
     bool compare_exchange_weak(bool&, bool, memory_order, memory_order) volatile; 
     bool compare_exchange_weak(bool&, bool, memory_order, memory_order); 
     bool compare_exchange_strong(bool&, bool, memory_order, memory_order) volatile; 
     bool compare_exchange_strong(bool&, bool, memory_order, memory_order); 
     bool compare_exchange_weak(bool&, bool, memory_order = memory_order_seq_cst) volatile; 
     bool compare_exchange_weak(bool&, bool, memory_order = memory_order_seq_cst); 
     bool compare_exchange_strong(bool&, bool, memory_order = memory_order_seq_cst) volatile; 
     bool compare_exchange_strong(bool&, bool, memory_order = memory_order_seq_cst); 
     atomic_bool() = default; 
     constexpr atomic_bool(bool); 
     atomic_bool(const atomic_bool&) = delete; 
     atomic_bool& operator=(const atomic_bool&) = delete; 
     atomic_bool& operator=(const atomic_bool&) volatile = delete; 
     bool operator=(bool) volatile; 
    } atomic_bool; 
} 

वाष्पशील सकर्मक है। इस प्रकार, आप अस्थिर वस्तु से गैर-अस्थिर सदस्य फ़ंक्शन को कॉल नहीं कर सकते हैं। दूसरी ओर, एक अस्थिर सदस्य कार्य को एक अस्थिर वस्तु से कॉल करने की अनुमति है।

तो, वहाँ परमाणु कक्षाओं में अस्थिर और गैर वाष्पशील सदस्य कार्यों के बीच किसी भी कार्यान्वयन का अंतर है? दूसरे शब्दों में, क्या गैर-अस्थिर अधिभार की आवश्यकता है?

Answer 1

मुझे लगता है कि अस्थिर भार के दक्षता कारणों के लिए मौजूद हैं। अस्थिर पढ़ता है और लिखता है गैर-अस्थिर पढ़ने की तुलना में स्वाभाविक रूप से अधिक महंगा है और सी ++ 0x में लिखता है, क्योंकि स्मृति मॉडल कुछ कठोर आवश्यकताओं को रखता है जो अस्थिर चर के मूल्यों को कैशिंग रोकते हैं। यदि सभी कार्यों को केवल अस्थिर चिह्नित किया गया था, तो कोड आवश्यक रूप से कुछ अनुकूलन नहीं कर सका जो अन्यथा प्रदर्शन में सुधार करेगा। भेदभाव करने के बाद संकलक गैर-अस्थिर पढ़ने को अनुकूलित करने की अनुमति देता है और जब संभव हो तो अस्थिर पढ़ने और लिखने की आवश्यकता होने पर शानदार रूप से अपमानित होने पर लिखते हैं।

Answer 2

सबसे पहले, यह एक अस्थिर std :: परमाणु बनाने के लिए बेमानी लगता है। दरअसल, मैं एक उपयोगी स्थिति की कल्पना कर सकता हूं। मान लें कि हमारे पास एक निश्चित डिवाइस (मेमोरी-) पता है जिसे हम चालू करना चाहते हैं। तथ्य यह है कि std :: atomic_xxx वर्गों के साथ-साथ std :: परमाणु <> टेम्पलेट कक्षा के रूप में एक ही आकार होना चाहिए के कारण उनकी संगत में निर्मित-प्रकार में, आप को संभालने के लिए दोनों चाहते हो सकता है: पर नियंत्रण के साथ परमाणु आपरेशन प्रदर्शन मेमोरी ऑर्डरिंग और सुनिश्चित करें कि हमारे परमाणु-वस्तु तक पहुंच कभी अनुकूलित नहीं होती है। इस प्रकार, हम की तरह कुछ की घोषणा कर सकता है:

std::atomic<long> volatile* vmem_first4 = reinterpret_cast<std::atomic<long> volatile*>(0xxB8000);