最終一致性
外觀
最終一致性(英語: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.
相關條目
[編輯]
|