Razložite atomarne operacije, vidnost pomnilnika in pomnilniške pregrade (memory barriers).

Question

IT Interview Practice · Accepted Answer

**Atomarna operacija se zaključi nedeljivo — nobena druga nit ne vidi napol dokončanega stanja; vidnost pomnilnika je, ali ena nit zaznava pisanja druge; pomnilniške pregrade uveljavljajo vrstni red, tako da ta pisanja postanejo vidna.** Zaklepi niso edina skrb — pomnilniški model je.

## Atomarnost

Atomarna operacija (npr. `fetch_add`, compare-and-swap) se izvede kot en nedeljiv korak, zato je nobena tekmovalna razmera ne razdeli. Strojna oprema in jezik ponujata atomarne operacije za števce in zastavice brez polnega zaklepa.

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

## Vidnost in prerazporejanje

Sodobni CPU-ji in prevajalniki predpomnijo vrednosti v registrih in prerazporejajo ukaze zaradi hitrosti. Tako lahko pisanje v eni niti obtiči v pomnilniku za shranjevanje (store buffer), nevidno drugim, operacije pa se lahko zdijo v napačnem vrstnem redu.

```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
```

## Pomnilniške pregrade

**Pregrada** (fence) je ukaz, ki preprečuje prerazporejanje čeznjo ter izprazni/naloži pomnilnik in zagotovi vrstni red. `volatile`, `synchronized` in atomarne operacije vstavijo prave pregrade, tako da velja razmerje zgodi-se-pred (happens-before): kar je A zapisal pred sprostitvijo, B vidi po prevzemu.

## Zakaj je to pomembno

Atomarnost sama ni dovolj — brez jamstev vidnosti se lahko pravilno zaklenjena vrednost še vedno prebere zastarela. To pojasni, zakaj obstaja `volatile`, zakaj je dvojno preverjeno zaklepanje (double-checked locking) subtilno in zakaj koda brez zaklepov potrebuje skrbne izbire vrstnega reda pomnilnika. To je razlika med "deluje na mojem stroju" in pravilno na resnični večjedrni strojni opremi.

Atomarnost

Vidnost in prerazporejanje

Pomnilniške pregrade

Zakaj je to pomembno

Povezana vprašanja