最终一致性
最终一致性(英语: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.