Explica las operaciones atómicas, la visibilidad de memoria y las barreras de memoria.

Question

IT Interview Practice · Accepted Answer

**Una operación atómica se completa de forma indivisible — ningún otro hilo ve un estado a medias; la visibilidad de memoria es si las escrituras de un hilo son vistas por otro; las barreras de memoria imponen el ordenamiento para que esas escrituras se vuelvan visibles.** Los locks no son la única preocupación — el modelo de memoria lo es.

## Atomicidad

Una operación atómica (p. ej. `fetch_add`, compare-and-swap) se ejecuta como un único paso indivisible, así que ninguna carrera la divide. El hardware y el lenguaje proporcionan atómicos para contadores y banderas sin un lock completo.

```java
AtomicInteger counter = new AtomicInteger();
counter.incrementAndGet();  // atomic read-modify-write, no lock
```

## Visibilidad y reordenamiento

Las CPU y los compiladores modernos guardan valores en registros y reordenan instrucciones por velocidad. Así que una escritura en un hilo puede quedarse en un búfer de almacenamiento, invisible para otros, y las operaciones pueden parecer fuera de orden.

```java
// Without 'volatile', thread B may loop forever:
volatile boolean ready = false;  // volatile → writes are visible + ordered
// Thread A: data = 42; ready = true;
// Thread B: while (!ready) {}  then read data
```

## Barreras de memoria

Una **barrera** (fence) es una instrucción que impide el reordenamiento a través de ella y vacía/carga memoria, garantizando el ordenamiento. `volatile`, `synchronized` y los atómicos insertan las barreras correctas para que se mantenga una relación happens-before: lo que A escribió antes de liberar, B lo ve después de adquirir.

## Por qué es importante

La atomicidad por sí sola no basta — sin garantías de visibilidad un valor correctamente bloqueado todavía puede leerse obsoleto. Esto explica por qué existe `volatile`, por qué el double-checked locking es sutil y por qué el código sin locks necesita elecciones cuidadosas de ordenamiento de memoria. Es la diferencia entre "funciona en mi máquina" y ser correcto en hardware multinúcleo real.

Atomicidad

Visibilidad y reordenamiento

Barreras de memoria

Por qué es importante

Preguntas relacionadas