क्या जावा पॉइंटर परमाणु लिखते हैं?

Question

सरल प्रश्न: क्या जावा मेमोरी/सिंक्रनाइज़ेशन मॉडल गारंटी परमाणु सूचक लिखता है? यही कारण है कि अगर हम प्रतिस्पर्धा धागे है,:,

String shared; 

thread1() 
{ 
    shared = "a"; 
} 

thread2() 
{ 
    shared = "hello world"; 
} 

एक ही समय में शुरू कर दिया shared हमेशा null, "a", या "hello world" होने की गारंटी है?

Answer 1

संदर्भ चर के लिए परमाणु और पढ़ते हैं।

स्रोत: http://docs.oracle.com/javase/tutorial/essential/concurrency/atomic.html

Answer 2

यह उन तीन मानों में से एक होगा, हां - लेकिन जो अनिर्धारित है। "जीत" में आखिरी वाला।

आपने नहीं पूछा, लेकिन पूर्णता के लिए - यह "हैलो wor" या उस स्ट्रिंग का कुछ आंशिक संस्करण नहीं होगा।

Answer 3

हां। section 17.7 of the JLS से:

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

(मतलब यही कारण है कि यह नहीं है कि आप हमेशा "नवीनतम" मान दिखाई देगा, लेकिन यह एक अलग बात है।)

Answer 4

यह परमाणु है।

हालांकि, उदाहरण आपके द्वारा दिया गया है, shared के मूल्य null की एक, a या hello world necessarly नहीं है। यह संभव है कि, उचित सिंक्रनाइज़ेशन के बिना, प्रत्येक थ्रेड अन्य धागे द्वारा निर्धारित मूल्य को कभी नहीं देख पाएगा। तो thread 1 देखेंगे a और thread 2 एक ही समय में hello world देखेंगे।

संपादित करें: आगे

JLS अलग धागे द्वारा किया आपरेशन के आदेश बताते हैं, पढ़ने Chapter 17 - Threads and Locks में के लिए अंतिम अनुच्छेद के लिए जोड़ा संदर्भ। विशेष रूप से, 17.4.5 Happens-before Order अनुभाग में। इसके अलावा, अच्छी तरह से लिखित Java Concurrency in Practice यह सब अच्छी तरह से बताता है।