線性一致性

線性一致性 （ Linearizability ） ， 或稱原子一致性或嚴格一致性指的是程序在執行的歷史中在存在可線性化點P的執行模型 ， 這意味着一個操作將在程序的調用和返回之間的某個點P起作用 。 這裏 “ 起作用 ” 的意思是被系統中併發運行的所有其他線程所感知 。