Schreiben Java-Zeiger atomar?

Question

Einfache Frage: garantiert das Java-Speicher-/Synchronisationsmodell atomare Zeigerschreibvorgänge? Das heißt, wenn wir konkurrierenden Threads haben:

String shared; 

thread1() 
{ 
    shared = "a"; 
} 

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

zur gleichen Zeit gestartet wird, wird shared immer garantiert null, "a" oder "hello world" sein?

Answer 1

Lesen und Schreiben sind atomar für Referenzvariablen.

Quelle: http://docs.oracle.com/javase/tutorial/essential/concurrency/atomic.html

Answer 2

Es wird einer dieser drei Werte sein, ja - aber das ist undefiniert. Letzter in "gewinnt".

Sie haben nicht gefragt, aber der Vollständigkeit halber - es wird nicht "Hallo wor" oder eine Teilversion dieser Zeichenfolge sein.

Answer 3

Ja. Von section 17.7 of the JLS:

:

Schreiben und Lesen von Referenzen sind immer atomare, unabhängig davon, ob sie als 32-Bit- oder 64-Bit-Werte implementiert sind.

(Das bedeutet nicht, Sie werden immer die „neuesten“ Wert sehen, aber das ist eine andere Sache.)

Answer 4

Es ist atomar.

jedoch in dem Beispiel, das Sie gab, shared ‚s-Wert necessarly nicht ein von null, a oder hello world. Es ist möglich, dass jeder Thread ohne die richtige Synchronisierung nie den Wert sehen wird, der von anderen Threads festgelegt wird. So thread 1 wird sehen a und thread 2 werden hello world gleichzeitig sehen.

Edit: Hinzugefügt Referenzen für den letzten Abschnitt für die weitere Lektüre

Die JLS, die Reihenfolge der Bedienung von verschiedenen Threads, in Chapter 17 - Threads and Locks ausgeführt erklärt. Genauer gesagt im Abschnitt 17.4.5 Happens-before Order. Auch das gut geschriebene Java Concurrency in Practice erklärt das alles gründlich.