atomic operation、memory visibility、memory barrierについて説明してください。

Question

IT Interview Practice · Accepted Answer

**atomic operationは分割不可能に完了します。他のどのスレッドも中途半端な状態を見ません。memory visibilityは、あるスレッドの書き込みが別のスレッドから見えるかどうかです。memory barrierは順序を強制し、それらの書き込みが見えるようにします。** 気にすべきはロックだけではありません。メモリモデルこそが問題です。

## atomicity（原子性）

atomicな操作（例: `fetch_add`、compare-and-swap）は1つの分割不可能なステップとして実行されるため、raceがそれを分断することはありません。ハードウェアと言語は、完全なロックなしにカウンタやフラグ向けのatomicsを提供します。

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

## visibilityと並べ替え

現代のCPUとコンパイラは、速度のために値をレジスタにキャッシュし、命令を並べ替えます。そのため、あるスレッドの書き込みはストアバッファに留まって他から見えないことがあり、操作が順序どおりでなく見えることがあります。

```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**（フェンス）は、それをまたぐ並べ替えを防ぎ、メモリをフラッシュ/ロードして順序を保証する命令です。`volatile`、`synchronized`、atomicsは適切なbarrierを挿入し、happens-before関係が成り立つようにします。すなわち、Aが解放前に書いたものを、Bは取得後に見られます。

## なぜ重要なのか

atomicityだけでは不十分です。visibilityの保証がなければ、正しくロックされた値でも古い状態で読まれることがあります。これは、なぜ`volatile`が存在するのか、なぜdouble-checked lockingが微妙なのか、なぜlock-freeなコードが慎重なメモリ順序の選択を必要とするのかを説明します。「自分のマシンでは動く」と、実際のマルチコアハードウェア上で正しいこととの違いです。

atomicity（原子性）

visibilityと並べ替え

memory barrier

なぜ重要なのか

関連する質問