Objasnite atomske operacije, vidljivost memorije i memory barriers.

Question

IT Interview Practice · Accepted Answer

**Atomska operacija dovršava se nedjeljivo — nijedna druga nit ne vidi napola dovršeno stanje; vidljivost memorije je pitanje vidi li jedna nit upise druge; memory barriers nameću redoslijed kako bi ti upisi postali vidljivi.** Zaključavanja nisu jedina briga — memorijski model jest.

## Atomičnost

Atomska operacija (npr. `fetch_add`, compare-and-swap) izvršava se kao jedan nedjeljiv korak, pa je nijedan race ne razdvaja. Hardver i jezik pružaju atomike za brojače i zastavice bez punog zaključavanja.

```java
AtomicInteger counter = new AtomicInteger();
counter.incrementAndGet();  // atomski read-modify-write, bez zaključavanja
```

## Vidljivost i preslagivanje

Moderni CPU-i i kompajleri kešuju vrijednosti u registrima i preslaguju instrukcije radi brzine. Tako upis u jednoj niti može ostati u store bufferu, nevidljiv drugima, a operacije mogu izgledati kao da su izvan reda.

```java
// Bez 'volatile', nit B može se vrtjeti zauvijek:
volatile boolean ready = false;  // volatile → upisi su vidljivi + poredani
// Nit A: data = 42; ready = true;
// Nit B: while (!ready) {}  zatim čita data
```

## Memory barriers

**Barrier** (fence) je instrukcija koja sprječava preslagivanje preko sebe i flusha/učitava memoriju, jamčeći redoslijed. `volatile`, `synchronized` i atomike umeću prave barriere tako da vrijedi happens-before odnos: što je A upisao prije otpuštanja, B vidi nakon dohvaćanja.

## Zašto je to važno

Atomičnost sama nije dovoljna — bez jamstava vidljivosti ispravno zaključana vrijednost i dalje se može pročitati zastarjelo. To objašnjava zašto `volatile` postoji, zašto je double-checked locking suptilan i zašto lock-free kod treba pažljive izbore redoslijeda memorije. To je razlika između "radi na mom stroju" i ispravnosti na stvarnom višejezgrenom hardveru.

Atomičnost

Vidljivost i preslagivanje

Memory barriers

Zašto je to važno

Povezana pitanja