メモリオーダリングとメモリバリア

なぜ書いた順に見えないのか──並べ替えの正体

ソースコードの行の順番と、CPUが実際にメモリへ反映する順番は一致しません。コンパイラ と CPU が、それぞれ独立に命令を並べ替えるからです。

両者が守るのは1つだけ。「単一スレッドから見て結果が変わらない範囲」 でなら、自由に順序を入れ替えてよい、というルールです。

プログラム順（書いた順）        実際の実行順（一例）
  data = 42                      ready = 1   ← 先に出てしまう
  ready = 1                      data = 42

data と ready は別アドレスで依存がないため、この入れ替えは単一スレッドでは何の問題も起こしません。ところが 別スレッドが ready を見て data を読む と、ready==1 なのに data がまだ 0、という事故が起きます。

ストアバッファ：自分の書き込みが他コアに遅れて届く

CPUの並べ替えの主犯が ストアバッファ です。コアがメモリへ書き込むとき、キャッシュへの反映完了を待つと遅いので、書き込みを いったん手元のバッファに溜めて 次の命令へ進みます。バッファの中身は後からまとめてキャッシュへ流れます。

ここで2つの非対称が生まれます。

• 自分の書き込みは自分からはすぐ読める（バッファを覗くため）。
• 他コアからは、バッファが掃き出されるまで見えない（書いたのに古い値が見える窓ができる）。

この結果、自分のストア（書き込み）が、後続のロード（読み込み）を追い越して他コアに見える という現象が起きます。x86 でさえ許される「StoreLoad の並べ替え」がこれで、有名なデッカーのアルゴリズムが素朴な実装では壊れる原因になります。

コアA: flagA = 1; x = flagB   // 書く前のflagBを読みうる
コアB: flagB = 1; y = flagA   // 書く前のflagAを読みうる
→ ストアがバッファに留まる間に両者がロードすると、
  x==0 かつ y==0 が同時に起こりうる（直感に反する）

メモリ順序：acquire / release / seq_cst

並べ替えを「禁止したい所だけ禁止する」ために、アトミック操作には メモリ順序（memory order） を指定します。代表的な3つを、何の並べ替えを止めるか で捉えるのが理解の近道です。

肝は acquire と release が対になって働く ことです。スレッドBの release ストアを、スレッドAの acquire ロードが「観測した」なら、release より前のBの全書き込みは、acquire より後のAから必ず見える。これを release-acquire の同期（happens-before の確立） と呼びます。

スレッドB（生産者）              スレッドA（消費者）
  data = 42                       while (ready.load(acquire) == 0) {}
  ready.store(1, release)  ─────► use(data)   // data は必ず 42

release が「前の書き込みを後ろへ漏らさない蓋」、acquire が「後の読み込みを前へ漏らさない蓋」。両者で挟むことで、data=42 が ready=1 を追い越して見えることも、use(data) が ready 確認より前に走ることも防げます。

メモリバリア（フェンス）：並べ替えを止める境界線

メモリ順序をアトミック変数に紐づけず、コード中に独立した「並べ替え禁止の境界」 を置くのが メモリバリア（メモリフェンス） です。バリアは「種類ごとに、またぐ並べ替えを禁止する」命令で、4方向で考えます。

acquire は内部的に LoadLoad + LoadStore バリアに、release は LoadStore + StoreStore バリアに相当します。seq_cst は加えて StoreLoad を含むため最も重く、x86 では MFENCE（または LOCK 付き命令）として現れます。前述のデッカー問題を素朴な実装で直すには、この StoreLoad バリアが要るわけです。

# x86 で seq_cst ストアに相当する典型コード
mov  [flag], 1      ; ストア
mfence              ; StoreLoad バリア（バッファを掃き出す）
mov  eax, [other]   ; このロードがストアを追い越せなくなる

まとめ──普段は意識しなくていい、自前で組むときだけ要る