いやあ、こんな素晴らしい本をタダでいただけるなんて素晴らしいですね。
ありがとうございます　＞　高林様、オラ入りー様
　

なにかhyoshiokさんの所では、若干厳しめのレビューをされてるみたい。

たぶん、NHKに取り上げられた 女子大生のブログ炎上とかの記事をみて、ベタ褒めすると炎上する日本のBLOG力学に思うところがあったに違いない。

と、無理やり時事ネタに絡ませつつ、おもしろいから、ここは一発絡んでおこう。
　

#94「プロセッサのメモリオーダリングに注意」の例のプログラムだが、これはメモリオーダリングの例ではなくてアトミックな交換(xchg)が出来ていない例なのではないだろうか？

いやいや。
#94の例では lock_array[me] を変更するのは自分だけで、lock_array[other]を変更するのは相手だけなのでxchgは必須じゃないですよ。
（lock_array[me]を変更するのが自分だけである以上、変更直前の値はかならず自分が前回設定した値だから、チェックするまでもない）

アプリケーションレベルでメモリオーダリングに注意しなければいけない例というのはあまり思いつかなかったのでもし適切な例があればご教示いただきたいところである。

”double checked locking”あたりで検索するといろいろと出てきますよ。
無理やり要約すると

・パターンハッチング(ジョン・ブリシデス著 ビアソン）にてdouble checked lockingパターンが紹介される
・JavaでJavaVMのメモリオーダーが原因でdouble checked lockingパターンを使うとある種のJIT VMでうまく動かない事が報告され、話題になる
・Ｃ＃はvolatileにメモリオーダー的な意味を追加して、この問題を回避
・Javaもそれに追従して、volatileの意味を改定
・実は元々のC++にも同じ問題があるのだけれど、完全に置いてきぼり(n'ω'`)　＜－－今、ここ


正味の話、たとえば、int変数１個writeするだけだと、strong memory orderだと、pthread_mutex_lockかけなくても正しいけれど、現実のプロセッサはそうではなく、かつ、そのようなメモリオーダーの話が「一般のプログラマには難しすぎるから」というよく分からない理由でmutexとかの説明にマトモに解説されていないので、似たようなバグが次々と量産されているという感じ。

オイラ、元々組み込み屋さんだから、こういうタイミング問題は何回も痛い目にあっているので。

まだ、全部読んでないのでちゃんとした書評はあとで書こうと思うけども、今回はこんなところで。


P.S.
と、ここまで書いてから＃９４は、double checked locking パターンを題材に書き直せば作為的度が減って、よりグッドになりそうな悪寒がしてきた。
うーん、惜しい。


↓　初回限定カバーはこんなのらしい