目次 導入 理論 メモリ一貫性モデル プロセッサ一貫性 CPU のキャッシュの動作 可視性 ARM の弱い順序付け データメモリバリア 書き込み/書き込み と 読み込み/読み込み 読み込み/書き込み と 書き込み/読み込み バリア命令 アドレス依存と因果一貫性 メモリ…