@yamasaなんか面白そうな話があったみたいだ。prefixのないcmpxchg(やxaddなど)は割り込みに対してのatomic性だけが保証されていて、他プロセッサとの間のatomic性は保証されないってのがオイラの認識。prefix付きの命令を使わなきゃならない。@yamasaatomic保証とかメモリバリアとかは、割り込み(シグナル)に対してのみ保証されていれば十分な場合と、他プロセッサとの間でも保証されていなければならない場合がある。いう2種類のメモリバリア関数が用意されていたりするわけで。2011年2月20日おまけの解説をblogに書いた。厳選まとめ立木のポーズ界のカリスマ@kumagi分散トランザクションとか匿名通信とかC++とかやります。2010年未踏ユース匿名通信の人。RubyもPythonも好き。