¿Cómo se garantiza la secuencia de operaciones entre hilos teniendo en cuenta las reglas de Happens-before?

En Java, las reglas Happens-before determinan el orden de visibilidad de las operaciones entre hilos, garantizando que los cambios realizados por un hilo sean visibles para otro en un orden específico. La secuencia de operaciones se asegura mediante:

• Sincronización: el uso de la palabra clave synchronized crea un monitor que garantiza que todas las operaciones dentro del bloque estén sincronizadas y sean visibles para otros hilos después de salir del bloque.

• Variables Volatile: la lectura y escritura de variables volatile establecen relaciones happens-before, asegurando la visibilidad de los cambios entre hilos.

• Constructores de clases seguras para hilos: por ejemplo, las clases de java.util.concurrent utilizan mecanismos internos para establecer happens-before.

• Métodos de java.util.concurrent: como Lock, CountDownLatch, clases Atomic, que garantizan happens-before a través de sus operaciones.

Ejemplo con volatile:

volatile boolean ready = false;
int number = 0;

// Hilo 1
number = 42;
ready = true; // escritura en volatile

// Hilo 2
if (ready) { // lectura volatile
    System.out.println(number); // garantizará ver 42
}

Aquí, la escritura en ready happens-before la lectura de ready en otro hilo, por lo que los cambios en number serán visibles.