El modificador synchronized en Java: Atomicidad y Visibilidad entre Hilos
La atomicidad garantiza que un conjunto de operaciones se ejecuta como una unidad indivisible: todas se completan exitosamente o ninguna se aplica. Un ejemplo clásico es una transferencia bancaria: si la cuenta origen tiene 2000 y se transfieren 800 a una cuenta destino con saldo 0, el proceso implica dos pasos — descontar 800 del origen y suma ...
Publicado el 7-5 00:06
Modelo de memoria Java y la semántica de volatile
El Java Memory Model (JMM) es la especificación que define cómo los hilos interactúan con la memoria. No se trata de una estructura física, sino de un conjunto de reglas que el compilador, la JVM y el hardware deben cumplir para garantizar un comportamiento predecible en entornos concurrentes.
Reglas básicas del JMM
Antes de liberar un candado ...
Publicado el 7-2 01:03