最終一致性
最終一致性（英語：Eventual consistency）是分散式計算里的一種主記憶體一致性模型，它指對於已改變寫的資料的讀取，最終都能取得已更新的資料，但不完全保證能立即取得已更新的資料。這種模型通常可以實現較高的可用性。[1]最終一致性，通過樂觀複製，或稱延遲複製（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.