Spiega le operazioni atomiche, la visibilità della memoria e le memory barrier.

Question

IT Interview Practice · Accepted Answer

**Un'operazione atomica si completa in modo indivisibile — nessun altro thread vede uno stato a metà; la visibilità della memoria è se le scritture di un thread sono viste da un altro; le memory barrier impongono l'ordinamento affinché quelle scritture diventino visibili.** I lock non sono l'unica preoccupazione — lo è il memory model.

## Atomicità

Un'operazione atomica (es. `fetch_add`, compare-and-swap) si esegue come un unico passo indivisibile, così nessuna race la spezza. Hardware e linguaggio forniscono atomiche per contatori e flag senza un lock completo.

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

## Visibilità e riordino

Le CPU e i compilatori moderni mettono in cache i valori nei registri e riordinano le istruzioni per velocità. Così una scrittura in un thread può restare in uno store buffer, invisibile agli altri, e le operazioni possono apparire fuori ordine.

```java
// Senza 'volatile', il thread B può fare loop all'infinito:
volatile boolean ready = false;  // volatile → le scritture sono visibili + ordinate
// Thread A: data = 42; ready = true;
// Thread B: while (!ready) {}  poi legge data
```

## Memory barrier

Una **barrier** (fence) è un'istruzione che impedisce il riordino attraverso di essa e fa flush/load della memoria, garantendo l'ordinamento. `volatile`, `synchronized` e le atomiche inseriscono le barrier giuste così vale una relazione happens-before: ciò che A ha scritto prima di rilasciare, B lo vede dopo aver acquisito.

## Perché è importante

L'atomicità da sola non basta — senza garanzie di visibilità un valore correttamente protetto da lock può comunque essere letto obsoleto. Questo spiega perché esiste `volatile`, perché il double-checked locking è sottile e perché il codice lock-free richiede scelte accurate di ordinamento della memoria. È la differenza tra "funziona sulla mia macchina" e corretto su hardware multi-core reale.

Atomicità

Visibilità e riordino

Memory barrier

Perché è importante

Domande correlate