Vysvětlete atomické operace, viditelnost paměti a paměťové bariéry.

Question

IT Interview Practice · Accepted Answer

**Atomická operace se dokončí nedělitelně — žádné jiné vlákno nevidí napůl hotový stav; viditelnost paměti je, zda zápisy jednoho vlákna vidí jiné; paměťové bariéry vynucují pořadí, aby se ty zápisy staly viditelnými.** Zámky nejsou jediná starost — paměťový model také.

## Atomicita

Atomická operace (např. `fetch_add`, compare-and-swap) se vykoná jako jeden nedělitelný krok, takže ji žádný race nerozdělí. Hardware a jazyk poskytují atomiky pro čítače a příznaky bez plného zámku.

```java
AtomicInteger counter = new AtomicInteger();
counter.incrementAndGet();  // atomický read-modify-write, bez zámku
```

## Viditelnost a přeuspořádání

Moderní CPU a kompilátory kešují hodnoty v registrech a přeuspořádávají instrukce kvůli rychlosti. Takže zápis v jednom vlákně může zůstat ve store bufferu, neviditelný pro ostatní, a operace se mohou jevit mimo pořadí.

```java
// Bez 'volatile' se vlákno B může točit navždy:
volatile boolean ready = false;  // volatile → zápisy jsou viditelné + uspořádané
// Vlákno A: data = 42; ready = true;
// Vlákno B: while (!ready) {}  pak čti data
```

## Paměťové bariéry

**Bariéra** (fence) je instrukce, která brání přeuspořádání přes ni a flushuje/načítá paměť, čímž zaručuje pořadí. `volatile`, `synchronized` a atomiky vkládají správné bariéry, aby platil vztah happens-before: co A zapsal před uvolněním, B vidí po získání.

## Proč je to důležité

Samotná atomicita nestačí — bez záruk viditelnosti může být správně zamčená hodnota přesto přečtena zastaralá. To vysvětluje, proč existuje `volatile`, proč je double-checked locking záludné a proč lock-free kód potřebuje pečlivou volbu pořadí paměti. Je to rozdíl mezi "funguje mi to na mém stroji" a správností na reálném vícejádrovém hardwaru.

Atomicita

Viditelnost a přeuspořádání

Paměťové bariéry

Proč je to důležité

Související otázky