Wyjaśnij operacje atomowe, widoczność pamięci i bariery pamięci.

Question

IT Interview Practice · Accepted Answer

**Operacja atomowa kończy się niepodzielnie — żaden inny wątek nie widzi stanu w połowie wykonania; widoczność pamięci to kwestia tego, czy zapisy jednego wątku są widziane przez inny; bariery pamięci wymuszają kolejność, dzięki której te zapisy stają się widoczne.** Blokady nie są jedynym zmartwieniem — jest nim model pamięci.

## Atomowość

Operacja atomowa (np. `fetch_add`, compare-and-swap) wykonuje się jako jeden niepodzielny krok, więc żaden wyścig jej nie rozłupie. Sprzęt i język udostępniają atomiki dla liczników i flag bez pełnej blokady.

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

## Widoczność i zmiana kolejności

Współczesne CPU i kompilatory buforują wartości w rejestrach i zmieniają kolejność instrukcji dla szybkości. Zapis w jednym wątku może więc tkwić w buforze zapisu, niewidoczny dla innych, a operacje mogą wydawać się wykonane poza kolejnością.

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

## Bariery pamięci

**Bariera** (fence) to instrukcja, która zapobiega zmianie kolejności ponad nią oraz zrzuca/wczytuje pamięć, gwarantując kolejność. `volatile`, `synchronized` i atomiki wstawiają właściwe bariery, dzięki czemu zachodzi relacja happens-before: to, co A zapisało przed zwolnieniem, B widzi po zajęciu.

## Dlaczego to ważne

Sama atomowość nie wystarcza — bez gwarancji widoczności poprawnie zablokowana wartość wciąż może zostać odczytana jako nieaktualna. To wyjaśnia, dlaczego istnieje `volatile`, dlaczego blokowanie z podwójnym sprawdzeniem (double-checked locking) jest subtelne i dlaczego kod bez blokad wymaga starannego doboru kolejności pamięci. To różnica między „działa na mojej maszynie" a poprawnością na rzeczywistym wielordzeniowym sprzęcie.

Atomowość

Widoczność i zmiana kolejności

Bariery pamięci

Dlaczego to ważne

Powiązane pytania