非対称フェンスのC++詳細
この記事では、C++メモリモデルにおける非対称フェンス（asm系命令など）の詳細な動作と、それらが提供するメモリ順序保証について解説する。特に、membarrierシステムコールとの関連性や、Linuxカーネルにおける実際の使用例を交えながら、非対称フェンスが同期機構としてどのように機能するかを技術的に深掘りする。
背景メモ
- **メモリバリア（メモリフェンス）** は、マルチスレッドプログラミングで複数のCPUコアが正しい順序でメモリ操作を観測できるようにする仕組み。通常、片方のスレッドが書き込み、もう片方が読み込む際に「前後の命令が入れ替わらない」ことを保証する。
- **非対称フェンス（asymmetric fence）** は、書き込み側と読み込み側で異なる強度のメモリバリアを使う最適化手法。パフォーマンス重視の低レベルシステムプログラミング（カーネル、ロックフリーデータ構造、ゲームエンジンなど）で登場する。
- **Linuxカーネルのmembarrierシステムコール** は、ユーザースペースがカーネルに「全CPUでメモリバリアを発行させられる」命令。特に `MEMBARRIER_CMD_PRIVATE_EXPEDITED` のような亜種は、スレッド間の順序保証を高速に実現するために使われる。
- **x86の強いメモリモデル** ではストア命令が弱い順序で観測されることがほぼないため、非対称フェンスの恩恵は限られるが、**ARM / AArch64 や PowerPC などの弱いメモリモデル** では大きな差が出る。ARMでは通常の `dmb` （フルバリア）より軽量な `dmb st` （ストア専用バリア）などを組み合わせた非対称設計が性能向上に直結する。