最終一致性

最終一致性（英語：Eventual consistency）是分散式計算里的一種記憶體一致性模型，它指對於已改變寫的資料的讀取，最終都能取得已更新的資料，但不完全保證能立即取得已更新的資料。這種模型通常可以實現較高的可用性。^[1]最終一致性，通過樂觀複製（英語：Optimistic replication），或稱延遲複製（lazy replication）實現。^[2]這種概念最初始於行動應用，後來在各類分散式系統中也有廣泛的應用。^[3]達到最終一致性的分散式系統被稱為副本達到了「收斂（converged）」狀態。^[4]最終一致性是一種較弱的保證。如果某個系統滿足更強的一致性約束（例如線性一致性），它就同時具有最終一致性，但是反過來則未必成立，僅保證最終一致性的系統無法保證更強的約束。

參考文獻[編輯]

^ Vogels, W. Eventually consistent. Communications of the ACM. 2009, 52: 40. doi:10.1145/1435417.1435432.
^ Vogels, W. Eventually Consistent. Queue. 2008, 6 (6): 14. doi:10.1145/1466443.1466448.
^ Terry, D. B.; Theimer, M. M.; Petersen, K.; Demers, A. J.; Spreitzer, M. J.; Hauser, C. H. Managing update conflicts in Bayou, a weakly connected replicated storage system. Proceedings of the fifteenth ACM symposium on Operating systems principles - SOSP '95. 1995: 172. ISBN 978-0897917155. doi:10.1145/224056.224070.
^ Petersen, K.; Spreitzer, M. J.; Terry, D. B.; Theimer, M. M.; Demers, A. J. Flexible update propagation for weakly consistent replication. ACM SIGOPS Operating Systems Review. 1997, 31 (5): 288. doi:10.1145/269005.266711.

參考文獻[編輯]

相關條目[編輯]