マルチスレッドプログラミング相談室　その２

メモリモデルについて教えてください。

http://blogs.msdn.com/cbrumme/archive/2003/05/17/51445.aspx
いまこの記事を読んでいるんですが、結論としては、「x86や(現在の)IA64
では、メモリバリアなしのdouble checked lockingが安全」なのでしょうか？
あ、JavaやC#ではなくC++で書いた場合を想定しています。

また、実際に上記のようなdouble checked lockingが誤動作するプロ
セッサはあるのでしょうか？ARMやPPCやAlphaでは誤動作します？

コンパイラは妙なinstructionのreorderをしないと仮定してかまいません。
よろしくおねがいします。