अनुक्रमिक स्थिरता और परमाणुता के बीच क्या अंतर है?

Question

मैंने पढ़ा कि जावा अस्थिर अनुक्रमिक संगत है लेकिन परमाणु नहीं है। परमाणुता जावा विभिन्न पुस्तकालय प्रदान करता है।

क्या कोई साधारण अंग्रेजी में दो के बीच अंतर समझा सकता है?

(मेरा मानना ​​है कि सवाल गुंजाइश C/C++ में शामिल हैं और इसलिए उन भाषा टैग जोड़ने बड़ा दर्शकों के लिए।)

Answer 1

एक कक्षा में उन दो चर कल्पना कीजिए:

int i = 0; 
volatile int v = 0; 

और उन दो तरीकों

void write() { 
    i = 5; 
    v = 2; 
} 

void read() { 
    if (v == 2) { System.out.println(i); } 
} 

अस्थिर अर्थ विज्ञान गारंटी देते हैं कि read जाएगा या तो प्रिंट 5 या कुछ भी नहीं (यह मानते हुए कोई अन्य तरीकों को संशोधित कर रहे पाठ्यक्रम के क्षेत्र)। यदि v अस्थिर नहीं थे, read भी 0 प्रिंट कर सकते हैं क्योंकि i = 5 और v = 2 को फिर से व्यवस्थित किया जा सकता था। मुझे लगता है कि अनुक्रमिक स्थिरता से आपका मतलब है, जिसका व्यापक अर्थ है।

दूसरी ओर, अस्थिरता परमाणुता की गारंटी नहीं देता है। तो दो धागे इस विधि समवर्ती कॉल करते हैं (v ही volatile int है):

load v; 
increment v; 
store v; 

:

void increment() { 
    v++; 
} 

आप कोई गारंटी नहीं कि v 2. द्वारा बढ़ा दी जाएगी इसका कारण यह है v++ वास्तव में तीन बयान है

और थ्रेड इंटरलीविंग वी के कारण केवल एक बार बढ़ाया जा सकता है (दोनों थ्रेड एक ही मान लोड करेंगे)।

Answer 2

मान लीजिए आप इन दो चर है:

public int a = 0; 
public volatile int b = 0; 

और लगता है एक धागा

करता है

a = 1; 
b = 2; 

एक और धागा इन मूल्यों को पढ़ता है और देखता है कि == 2 ख है, तो यह भी एक == देखने के लिए गारंटी है तो 1.

लेकिन पढ़ने धागा a == 1 और b == 0 देख सकता था, क्योंकि दो राईट एक परमाणु आपरेशन का हिस्सा नहीं हैं, इसलिए पढ़ने धागा a के लिए किए गए परिवर्तन देख सकते हैं इससे पहले कि पहले धागा b को एक मान निर्दिष्ट किया है।

इन दो राईट परमाणु बनाने के लिए, आप इन दो चर के लिए उपयोग सिंक्रनाइज़ करने के लिए की आवश्यकता होगी:

synchronized (lock) { 
    a = 1; 
    b = 2; 
} 

... 

synchronized (lock) { 
    System.out.println("a = " + a + "; b = " + b); 
} 

और इस मामले में, पढ़ने धागा a == 0 और b == 0, या a == 1 और b == 2 देखेंगे, लेकिन कभी मध्यवर्ती राज्य नहीं।