メモリ一貫性とプログラム変換

メモリ一貫性モデルは、共有メモリ並行プログラムの許可される動作を指定する。プログラム最適化の安全性に大きな影響を与え、コードの並べ替え/リファクタリングを制限する。既存のプログラミング言語メモリモデルは、より緩和された/弱い並行動作を許可しようとしているが、依然として望ましいすべての最適化を許可することはできない。この問題の根本原因は、より弱い一貫性モデルも最適化を安全でないものにする可能性があることである。この問題は、メモリ一貫性セマンティクスと最適化の合成的な相互作用に関する未解決の問題を明らかにする。