ちょっと、
out-of-order対策、メモリバリア、sequential consistency関連はサンプルコードを書いて体で覚えないとダメだ。
【メモ】
・releaseバリア：先行の命令が、バリアを越えて後にリオーダーされるのを禁止。書き込み時に使われて、書き込んだ時点でその前の命令が終わっていることを保証する。
・acquireバリア：後続の命令が、バリアを越えて前にリオーダーされるのを禁止。読み込み時に使われて、読み込んだ時点でその後の命令が行われていないことを保証する。
・Sequentially-consistent：異なるメモリ位置に対する書き込みが、全てのプロセッサから同じ順序で観測されることを保証する。
