Paaiškinkite atomines operacijas, atminties matomumą ir atminties barjerus.

Question

IT Interview Practice · Accepted Answer

**Atominė operacija užbaigiama nedalomai — jokia kita gija nemato pusiau atlikto būvio; atminties matomumas yra tai, ar vienos gijos rašymus mato kita; atminties barjerai priverčia tvarką, kad tie rašymai taptų matomi.** Užraktai nėra vienintelis rūpestis — atminties modelis irgi.

## Atomiškumas

Atominė operacija (pvz. `fetch_add`, compare-and-swap) vykdoma kaip vienas nedalomas žingsnis, todėl jokios lenktynės jos neperskelia. Aparatinė įranga ir kalba pateikia atomikas skaitikliams ir vėliavoms be pilno užrakto.

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

## Matomumas ir perrikiavimas

Modernūs CPU ir kompiliatoriai kešuoja reikšmes registruose ir perrikiuoja instrukcijas dėl greičio. Todėl rašymas vienoje gijoje gali gulėti rašymo buferyje, nematomas kitoms, o operacijos gali atrodyti ne tvarka.

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

## Atminties barjerai

**Barjeras** (fence) yra instrukcija, kuri neleidžia perrikiuoti per jį ir išplauna/įkelia atmintį, garantuodama tvarką. `volatile`, `synchronized` ir atomikos įterpia tinkamus barjerus, kad galiotų „vyko-prieš“ (happens-before) santykis: ką A parašė prieš atleisdamas, B mato po įgijimo.

## Kodėl tai svarbu

Vien atomiškumo nepakanka — be matomumo garantijų teisingai užrakinta reikšmė vis tiek gali būti perskaityta pasenusi. Tai paaiškina, kodėl egzistuoja `volatile`, kodėl dvigubai tikrinamas užrakinimas (double-checked locking) yra subtilus, ir kodėl be užraktų kodui reikia kruopščių atminties tvarkos pasirinkimų. Tai skirtumas tarp „veikia mano mašinoje“ ir teisinga realioje daugiabranduolinėje aparatinėje įrangoje.

Atomiškumas

Matomumas ir perrikiavimas

Atminties barjerai

Kodėl tai svarbu

Susiję klausimai