Java volátil pregunta variables

Question

La lectura de este DZone article sobre la concurrencia de Java Me preguntaba si el siguiente código:

    private volatile List list; 
    private final Lock lock = new ReentrantLock(); 

    public void update(List newList) { 
     ImmutableList l = new ImmutableList().addAll(newList); 
     lock.lock(); 
     list = l; 
     lock.unlock(); 
    } 

    public List get() { 
     return list; 
    } 

es equivalente a:

    private volatile List list; 

    public void update(List newList) { 
     ImmutableList l = new ImmutableList().addAll(newList); 
     list = l; 
    } 

    public List get() { 
     return list; 
    } 

El try {} finally {} bloque se omitió para brevedad. Supongo que la clase ImmutableList es una estructura de datos verdaderamente inmutable que contiene sus propios datos, como el proporcionado en la biblioteca de google-collections. Dado que la variable de la lista es volátil y, básicamente, lo que está sucediendo es una copia al vuelo, ¿no es seguro omitir el uso de bloqueos?

Answer 1

En este ejemplo muy específico, creo que estaría bien sin bloqueo en la reasignación variable.

En general, creo que es mejor usar un AtomicReference en lugar de una variable volátil ya que los efectos de consistencia de la memoria son los mismos y la intención es mucho más clara.

Answer 2

Creo que el comportamiento de sincronización predeterminado de volátil no garantiza el comportamiento ReentrantLock, por lo que podría ayudar con el rendimiento. De lo contrario, creo que está bien.

Answer 3

Después de volver a leer este sí, son equivalentes.

Answer 4

Sí, ambas muestras de código se comportan de la misma manera en un entorno concurrente. Los campos volátiles son , por lo que después de que un hilo llame a update(), que reemplaza la lista con una nueva lista, get() en todos los otros hilos devolverá la nueva lista.

Pero si tiene código que utiliza de esta manera:

list = get() 
list = list.add(something) // returns a new immutable list with the new content 
update(list) 

entonces no funcionará como se espera en cualquiera de los ejemplos de código (si dos hilos hacen que, en paralelo, a continuación, los cambios realizados por uno de ellos puede ser sobrescrito por el otro). Pero si solo un hilo está actualizando la lista, o el nuevo valor no depende del valor anterior, entonces no hay problema.

Answer 5

Si hablamos de tiempos y visibilidad de la memoria. Una lectura volátil es muy cercana al tiempo que lleva hacer una lectura normal. Entonces si haces get() mucho, entonces hay poca diferencia. El tiempo que se tarda en realizar una escritura volátil es de aproximadamente 1/3 de tiempo para adquirir y liberar un bloqueo. Entonces su segunda sugerencia es un poco más rápida.

La visibilidad de memoria como la mayoría de las personas que se sugiere es equivalente, es decir, cualquier lectura antes de la adquisición de bloqueo ocurre antes de cualquier escritura después de la adquisición de bloqueo similar a cualquier lectura antes de una lectura inestable ocurre antes de cualquier escritura posterior

Answer 6

los siguientes criterios debe cumplirse para las variables volátiles para proporcionar la seguridad de hilo deseada:

1. Las escrituras en la variable no dependen de su valor actual.
2. La variable no participa en invariantes con otras variables.

Dado que tanto se cumplen aquí - código es hilo de seguridad