內存一致性模型

內存一致性模型描述的是程序在執行過程中內存操作正確性的問題 。 內存操作包括讀操作和寫操作 ， 每一操作又可以用兩個時間點界定 ： 發出 （ Invoke ） 和響應 （ Response ） 。 在假定沒有流水線的情況下 （ 即單個處理器內指令的執行是按順序執行的 ） ， 設系統內共有N個處理器 ， 每個處理器可發出個內存操作 （ 讀或寫 ） ， 那麼總共有 ： 種可能的執行順序 。 內存一致性模型描述的就是這些操作可能的執行順序中哪些是正確的 。