"http://www.nminoru.jp/~nminoru/diary/2006/08.html#2006-08-11 五月雨式に書くのは控えますとかいいつつ、全然控えられていないので、反省中。いままでのやり取りをよくよんで、必要な文献もきちんと調査して、ちゃんと書かないといけないなぁと思う。 いままで、ひとつも嘘は書いていないつもりなのですが。 以下、忘れないように、気付いたことを、気付いた順序で。 [13] [うんの] 2006-09-19 10:08:57　より、 観測されるのは順序であって、各 load/store がそれぞれ global visible になった 瞬間に「あ、いまだ」と観測されるわけではありません。 観測されるべき、global visibility order が確定する瞬間なら存在する。ストアなら、coherence domain の一部であるところの、キャッシュに書かれた瞬間。ロードなら、その後キャンセルされずにコミットするようなロード（微妙な書き方）命令において、ロード値がデスティネーション（たとえばレジスタ）に書かれた瞬間。 こっちを知っていなければわからない順序になっている（ように見える）ところが、誤解の種なんだろうか。 SPARC V8 V9 の参考文献リストをみるに、どうやら、SPARC V8 は 「Sindu 以前」であるらしい。で、実際に SPARC V8 の TSO に関する記述は混乱している可能性が高そうだ。これは、引用された部分からもうかがえる。しまつた。 その点、（そういうのに比べると）P.O.O. は笑えるくらい論理的。直接関係ないけど、Storage Addressing のところを読んだときには、目から鱗が落ちる気持ちだった。 "