Russ Cox の Hardware Memory Models まとめ

どんどん高速化ができたが、やがてプロセッサの高速化ができなくなり、代わりにプロセッサの数を増やした。

参考：1980年代中盤以降のプロセッサの性能向上

メモリに格納されたデータ変更の「可視性」と「一貫性」の保証ことを指す。元々メモリモデルは、ハードウェアがアセンブリで書かれたコードを保証することであり、コンパイラは関係なかったが、コンパイラを含むようになりより複雑になった。

Leslie Lamport は 1979 年に「マルチプロセスプログラムを正しく実行するマルチプロセッサ・コンピュータの作り方」という論文をだし、逐次一貫性のコンセプトを出した。

マルチプロセッサがこの条件を満たすことを`逐次一貫性`と呼び、このコンセプトは現在においても他に取って代わるものはない

毎回プロセッサはメモリから読み込みメモリへ書き込むたびに、そのリクエストは共有メモリへ送られ、全ての読み書きはシーケンシャルに行われる

メモリバリアにより保証される=

Plan 9 は x86で動く（グローバルカーネルロックのない）最初のマルチプロセッサーOSであったが、1997年にマルチプロセッサの Prntium Pro へ移行する際、インテルのハードウェアデザイナーはメモリモデルに関して安定したものを出してくれず、x86-TSO が実装されるまでに約10年かかった。

よりゆるいメモリモデル

メモリバリアやコヒーレンスにより保証される

Sarita Adve と Mark Hill は 1990年の論文で “弱い順序付け - 新しい定義” を提案した

これはハードウェアデザイナーへ明確な戦略を提供し、ハードウェアメモリモデルにおけるターニングポイントになった

Data Race Free の処理