¿El puntero de Java escribe atómico?

Question

Pregunta simple: ¿el modelo de memoria/sincronización de Java garantiza las escrituras del puntero atómico? Es decir, si tenemos hilos de la competencia:

String shared; 

thread1() 
{ 
    shared = "a"; 
} 

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

comenzó al mismo tiempo, se shared siempre garantiza que sea null, "a" o "hello world"?

Answer 1

Las lecturas y escrituras son atómicas para las variables de referencia.

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

Answer 2

Será uno de esos tres valores, sí, pero no está definido. El último en "gana".

No lo pidió, pero para completarlo, NO será "hola wor" o alguna versión parcial de esa cadena.

Answer 3

Sí. De section 17.7 of the JLS:

escribe y lee las referencias son siempre atómica, independientemente de si se implementan como valores de 32 bits o 64 bits.

(Eso no significa que siempre verá el valor "último", pero eso es un asunto diferente.)

Answer 4

Es atómica.

Sin embargo, en el ejemplo que diste, shared 's valor no se necessarly uno denull, a o hello world. Es posible que, sin una sincronización adecuada, cada subproceso nunca vea el valor establecido por otros subprocesos. Así que thread 1 verá a y thread 2 verá hello world al mismo tiempo.

Edit: Añadido referencias para el último párrafo para su posterior lectura

El JLS explica el orden de operación realizada por diferentes hilos, en Chapter 17 - Threads and Locks. Específicamente, en la sección 17.4.5 Happens-before Order. Además, el bien escrito Java Concurrency in Practice explica todo esto a fondo.