Explică operațiile atomice, vizibilitatea memoriei și memory barriers.

Question

IT Interview Practice · Accepted Answer

**O operație atomică se finalizează indivizibil — niciun alt thread nu vede o stare pe jumătate făcută; vizibilitatea memoriei este dacă scrierile unui thread sunt văzute de altul; memory barriers impun ordonarea astfel încât acele scrieri să devină vizibile.** Lock-urile nu sunt singura preocupare — modelul de memorie este.

## Atomicitate

O operație atomică (ex. `fetch_add`, compare-and-swap) se execută ca un singur pas indivizibil, așa că niciun race nu o poate diviza. Hardware-ul și limbajul oferă atomics pentru contoare și flag-uri fără un lock complet.

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

## Vizibilitate și reordonare

CPU-urile și compilatoarele moderne cachează valori în registre și reordonează instrucțiuni pentru viteză. Așa că o scriere într-un thread poate sta într-un store buffer, invizibilă pentru ceilalți, iar operațiile pot părea în afara ordinii.

```java
// Fără 'volatile', thread-ul B poate bucla la infinit:
volatile boolean ready = false;  // volatile → scrierile sunt vizibile + ordonate
// Thread A: data = 42; ready = true;
// Thread B: while (!ready) {}  apoi citește data
```

## Memory barriers

O **barieră** (fence) este o instrucțiune care previne reordonarea peste ea și golește/încarcă memoria, garantând ordonarea. `volatile`, `synchronized` și atomics inserează barierele potrivite astfel încât o relație happens-before să fie valabilă: ce a scris A înainte de a elibera, B vede după ce achiziționează.

## De ce contează

Atomicitatea singură nu e suficientă — fără garanții de vizibilitate, o valoare corect blocată poate fi totuși citită învechită. Asta explică de ce există `volatile`, de ce double-checked locking este subtil și de ce codul lock-free are nevoie de alegeri atente de ordonare a memoriei. Este diferența dintre "merge pe mașina mea" și corect pe hardware multi-core real.

Atomicitate

Vizibilitate și reordonare

Memory barriers

De ce contează

Întrebări conexe