mox692
commented
2 years ago 雑まとめ
- 記事前半はハードウェアレベルでマルチスレッドプログラムの実行結果に対する保証を提供することの難しさがメインで語られていた. intel TSOあたりの苦労話など.
- 苦労がありながらも、実際に現代になって用いられるようになった保証として、Sarita AdveとMark Hillの論文を引用している.
- これがおそらく 「Weak Ordering and Data-Race-Free Sequential Consistency」のところでまとめられている
- Ordinary memory reads and writes may be reordered between synchronization operations, but they may not be moved across them. (That is, the synchronization operations also serve as barriers to reordering.)
- javaのhappens before制約的なもの？
- ハードウェア固有のsync命令を実行すると
- ローカルに持っているデータをglobalなメモリにflushする
- プログラム上でそれより後に記述されたR/W命令は、そのsync命令よりも前にre-orderされない みたいな保証がされるものだと思われる
Translation Links