淺析分佈式系統中的 Linearizability

在分佈式系統裏，出於可靠性（reliability）或者性能的考慮，數據通常會被複製爲多個副本。因此，系統需要定義一組協議，來規定用戶讀寫多副本時的行爲。這組協議稱之爲 consistency model。 最終一致性（eventually consistency），linearizability（atomic consistency）是不同類型的一致性模型。下圖是最終一致性模型的示例，用戶 B/

>>阅读原文<<