Terangkan operasi atomik, keterlihatan memori (memory visibility), dan memory barrier.

Question

IT Interview Practice · Accepted Answer

**Operasi atomik selesai secara tidak boleh dibahagi — tiada thread lain melihat keadaan separuh-siap; keterlihatan memori ialah sama ada tulisan satu thread dilihat oleh yang lain; memory barrier menguatkuasakan susunan supaya tulisan tersebut menjadi kelihatan.** Lock bukan satu-satunya kebimbangan — model memori itulah yang penting.

## Atomicity

Operasi atomik (cth. `fetch_add`, compare-and-swap) melaksana sebagai satu langkah tidak boleh dibahagi, jadi tiada race memecahkannya. Perkakasan dan bahasa menyediakan atomik untuk pembilang dan bendera tanpa lock penuh.

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

## Keterlihatan dan penyusunan semula (reordering)

CPU dan pengkompil moden meng-cache nilai dalam register dan menyusun semula arahan untuk kelajuan. Jadi satu tulisan dalam satu thread mungkin duduk dalam store buffer, tidak kelihatan kepada yang lain, dan operasi mungkin kelihatan tidak mengikut susunan.

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

## Memory barrier

**Barrier** (fence) ialah arahan yang menghalang penyusunan semula merentasinya dan mem-flush/memuatkan memori, menjamin susunan. `volatile`, `synchronized`, dan atomik memasukkan barrier yang betul supaya hubungan happens-before dipenuhi: apa yang A tulis sebelum melepaskan (release), B lihat selepas memperolehnya (acquire).

## Mengapa ia penting

Atomicity sahaja tidak mencukupi — tanpa jaminan keterlihatan, nilai yang dikunci dengan betul masih boleh dibaca lapuk (stale). Ini menjelaskan mengapa `volatile` wujud, mengapa double-checked locking adalah halus, dan mengapa kod lock-free memerlukan pilihan susunan-memori yang teliti. Ia ialah perbezaan antara "berfungsi pada mesin saya" dan betul pada perkakasan berbilang-teras yang sebenar.

Atomicity

Keterlihatan dan penyusunan semula (reordering)

Memory barrier

Mengapa ia penting

Soalan berkaitan