जावा में परमाणु संदर्भ - थ्रेड-सुरक्षित वातावरण में संदर्भ स्थापित करने के लिए आवश्यक है?

Question

जावा में एक परमाणु संदर्भ वर्ग मौजूद है। क्या इसका मतलब यह है कि संदर्भ स्थापित करना एक परमाणु संचालन नहीं है?

उदाहरण के लिए, इस सूत्र के लिए सुरक्षित नहीं है सी # में (यह सोचते हैं कि दिए गए मान को संशोधित नहीं किया जा सकता है) ?:

public void someMethod() 
{ 
    this.someList = Collections.unmodifiableList(new LinkedList<Object>()); 
} 

public List<Object> getReadOnlyList() 
{ 
    return someList; 
} 

कैसे के बारे में?

Answer 1

Java Language Specification, version 3.0, Section 17.7 के अनुसार:

लिए लिखता है और संदर्भ की पढ़ता हमेशा परमाणु होते हैं, वे 32 के रूप में या 64 बिट मूल्यों कार्यान्वित कर रहे हैं चाहे।

परमाणु संदर्भ एक तुलना करने और परमाणु क्रिया के रूप में सेट करने में सक्षम बनाता है।

public boolean changeList(List<Object> oldValue, List<Object> newValue) { 
    if (this.someList == oldValue) { 
     // someList could be changed by another thread after that compare, 
     // and before this set 
     this.someList = newValue; 
     return true; 
    } 
    return false; 
} 

Answer 2

आप उपयोग नहीं करते हैं AtomicReference या अस्थिर कीवर्ड और धागा संदर्भ पढ़ने एक है कि यह करने के लिए लिखा था नहीं है, वहाँ पढ़ने कि कोई गारंटी नहीं है:

यह threadsafe नहीं है धागा अद्यतन मूल्य देखेंगे।

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

Answer 3

कभी-कभी java.util.concurrent.atomic के लिए अनदेखा कुछ आम उपयोगों पर विस्तारित करता है।

परिशिष्ट: इसी प्रकार package descriptionjava.util.concurrent के लिए JLS §17 में विस्तृत कई आवश्यक बिंदुओं को सारांशित करता है। यदि आपका List अपरिवर्तनीय करने के लिए है और इसे करने के लिए एक संदर्भ final बनाया जा सकता है

इसके अलावा, Final Field Semantics के संभावित लाभ पर विचार करें।

Answer 4

जहां तक ​​सी #, मुझे यह जवाब मिला। एक संदर्भ सेट करना सी # भाषा विनिर्देश की धारा 5.5 के अनुसार एक परमाणु संचालन है।

"निम्नलिखित डेटा प्रकारों के पढ़ने और लिखने परमाणु हैं: बूल, चार, बाइट, एसबीईटी, शॉर्ट, यूहॉर्ट, यूंट, इंट, फ्लोट, और संदर्भ प्रकार। इसके अलावा, अंतर्निहित के साथ enum प्रकारों को पढ़ता है और लिखता है पिछली सूची में टाइप करें परमाणु भी हैं। लंबे, उलझन, डबल, और दशमलव, साथ ही उपयोगकर्ता द्वारा परिभाषित प्रकारों सहित अन्य प्रकार के पढ़ और लिखते हैं, परमाणु होने की गारंटी नहीं है। उस उद्देश्य के लिए डिज़ाइन किए गए लाइब्रेरी फ़ंक्शंस के अलावा , परमाणु पढ़ने-संशोधन-लेखन की कोई गारंटी नहीं है, जैसे कि वृद्धि या कमी के मामले में। "

Answer 5

क्या इसका मतलब यह है कि संदर्भ स्थापित करना एक परमाणु संचालन नहीं है?

संदर्भ चर सेट करना परमाणु है, लेकिन परमाणु ऑपरेशन आवश्यक रूप से थ्रेड-सुरक्षित नहीं है। मुझे समझाने दो।

परमाणु का अर्थ है कि कोई पर्यवेक्षक (थ्रेड) या तो पुराने मान या चर के नए मान को देखता है, और कुछ और नहीं। इसका मतलब यह नहीं है कि जब वे चर को देखते हैं तो सभी पर्यवेक्षकों को नया मान दिखाई देता है। (और जैसा कि @Tom इंगित करता है, संदर्भ चर की परमाणुता वस्तु के परमाणु गुणों के बारे में कुछ भी नहीं कहती है।)

सभी पर्यवेक्षकों के लिए चर में नए मान को देखने के लिए, कुछ सिंक्रनाइज़ेशन होने की आवश्यकता है पर। एक चर के लिए एक अद्यतन के लिए, यह होगा यदि:

• चर volatile के रूप में घोषित किया जाता है, या
• पहुँच/चर के लिए अद्यतन एक ही आदिम मॉनिटर ताला द्वारा सिंक्रनाइज़ किए जाते हैं।

एक चर ही आप आम तौर पर इन वर्गों में से एक का उपयोग करें यदि आप ताले से बचना चाहते हैं और आप इस तरह के परमाणु के रूप में काम करने के लिए चाहते हैं कि, प्रासंगिक "AtomicXxx" वर्ग भी धागा सुरक्षित हो जाएगा में लपेटा जाता है "की तुलना और बदलें"।

फिर भी, यह केवल ऑब्जेक्ट के संदर्भ की थ्रेड-सुरक्षा पर लागू होता है। यदि ऑब्जेक्ट की स्थिति भी ठीक से सिंक्रनाइज़ नहीं है, तो थ्रेड ऑब्जेक्ट के गुणों आदि के लिए बालों के मूल्यों को अच्छी तरह से देख सकता है।