क्या मुझे इस क्षेत्र को अस्थिर होने की आवश्यकता है?

Question

मेरे पास एक थ्रेड है जो स्पिन करता है जब तक कि किसी अन्य थ्रेड द्वारा एक int बदल नहीं जाता है।

int cur = this.m_cur; 
while (cur > this.Max) 
{ 
    // spin until cur is <= max 
    cur = this.m_cur; 
} 

क्या यह .m_cur को काम करने के लिए अस्थिर घोषित करने की आवश्यकता है? क्या यह संभव है कि यह संकलक अनुकूलन के कारण हमेशा के लिए स्पिन होगा?

Answer 1

हाँ, यह एक कठिन आवश्यकता है। बस-इन-टाइम कंपाइलर को प्रोसेसर रजिस्टर में m_cur के मान को स्मृति से रीफ्रेश किए बिना स्टोर करने की अनुमति है। वास्तव में x86 जिटर करता है, x64 जिटर नहीं करता है (कम से कम आखिरी बार मैंने इसे देखा)।

अस्थिर कीवर्ड को इस अनुकूलन को दबाने के लिए आवश्यक है।

अस्थिरता का मतलब इटेनियम कोर पर एक पूरी तरह से अलग है, एक कमजोर स्मृति मॉडल वाला एक प्रोसेसर। दुर्भाग्य से यह एमएसडीएन पुस्तकालय और सी # भाषा विशिष्टता में बना है। एआरएम कोर पर इसका मतलब क्या है, यह देखा जाना बाकी है।

Answer 2

नीचे दिए गए ब्लॉग में सी # में मेमोरी मॉडल पर कुछ आकर्षक विवरण है। संक्षेप में, अस्थिर कीवर्ड का उपयोग करना सुरक्षित लगता है।

http://igoro.com/archive/volatile-keyword-in-c-memory-model-explained/

नीचे

class Test 
{ 
    private bool _loop = true; 

    public static void Main() 
    { 
     Test test1 = new Test(); 

     // Set _loop to false on another thread 
     new Thread(() => { test1._loop = false;}).Start(); 

     // Poll the _loop field until it is set to false 
     while (test1._loop == true) ; 

     // The loop above will never terminate! 
    } 
} 

ब्लॉग से

वहाँ समाप्त करने के लिए है, जबकि पाश होने के दो संभावित तरीके हैं: करने के लिए सभी पहुंच की रक्षा के लिए एक ताला का उपयोग करें (रीड और राईट) _loop फ़ील्ड _loop फ़ील्ड को अस्थिर के रूप में चिह्नित करें दो कारण हैं कि गैर-अस्थिर फ़ील्ड का एक स्टेल मान क्यों देख सकता है: कंपाइलर ऑप्टिमाइज़ेशन और प्रोसेसर ऑप्टिमाइज़ेशन।

Answer 3

यह इस बात पर निर्भर करता है कि m_cur को कैसे संशोधित किया जा रहा है। यदि यह m_cur--; जैसे सामान्य असाइनमेंट स्टेटमेंट का उपयोग कर रहा है, तो इसे अस्थिर होने की आवश्यकता है। हालांकि, अगर इसे Interlocked परिचालनों में से किसी एक का उपयोग करके संशोधित किया जा रहा है, तो ऐसा इसलिए नहीं है क्योंकि इंटरलॉक की विधियां स्वचालित रूप से मेमोरी बाधा डालती हैं ताकि यह सुनिश्चित किया जा सके कि सभी धागे ज्ञापन प्राप्त करें।

सामान्य रूप से, थ्रेड में साझा किए गए परमाणु मूल्य को संशोधित करने के लिए इंटरलाक्ड का उपयोग करना बेहतर विकल्प है। न केवल यह आपके लिए मेमोरी बाधा का ख्याल रखता है, बल्कि यह अन्य सिंक्रनाइज़ेशन विकल्पों की तुलना में थोड़ा तेज होता है।

उसने कहा, जैसे कि अन्य ने कहा है कि मतदान लूप भारी रूप से अपर्याप्त हैं। थ्रेड को रोकने के लिए बेहतर होगा जो इंतजार करने की ज़रूरत है, और जो कोई भी m_cur को संशोधित कर रहा है उसे समय आने पर इसे जागने का प्रभार लेना चाहिए। Monitor.Wait() and Monitor.Pulse() और AutoResetEvent दोनों आपकी विशिष्ट आवश्यकताओं के आधार पर कार्य के लिए उपयुक्त हो सकते हैं।