内輪でLinuxカーネル2.6解読室を読んだりしてる。
排他制御とかもう無理。CPUがOOOでメモリの書き込みをしたりするらしく、そのせいでsmp_wmbとか呼ばないとシーケンスロックが期待通りに動かないCPUがあるって書いてあった(x86だと問題は起こらないとも)。
CPUを早く動かすためにへんな機構を仕込みたくて、でもそれだとソフトウェア側で対応が必要だからコンパイラに細工をする、みたいなのの細工のことか。このsmp_wmbは。