>>668
相変わらず基本が分かってないな
「アウトオブオーダで操作できない」ではなく「ソフトウェアからはそう見えないといけない」が正しい
http://www.cs.cmu.edu/~410-f10/doc/Intel_Reordering_318147.pdf
>Hardware is allowed to perform any optimizations as long as it does not violate any of the visibility principles.
>(It may even execute a single memory access more than once; if it does, only the final execution is visible to software.)
>For example "loads are not reordered" means that "loads do not appear to be reordered," not that the hardware
>is restricted in how loads are internally implemented.

>>670
メモリオーダリング (コンシステンシ) はコア間の話なんだが
あるコアのメモリ操作の順序が他のコアからどう見えるべきかを定義するためにあるのがモデルだ
そのために強いモデルほどシングルコア内での命令の並び替えが制限されることがあるという話であって
並び替えの制約が起こる可能性を決めるのはあくまで他のコアのメモリアクセスとの兼ね合いだ