最终一致性

最终一致性（英语：Eventual consistency）是分布式计算里的一种内存一致性模型，它指对于已改变写的数据的读取，最终都能获取已更新的数据，但不完全保证能立即获取已更新的数据。这种模型通常可以实现较高的可用性。^[1]最终一致性，通过乐观复制（英语：Optimistic replication），或称延迟复制（lazy replication）实现。^[2]这种概念最初始于移动应用，后来在各类分布式系统中也有广泛的应用。^[3]达到最终一致性的分布式系统被称为副本达到了“收敛（converged）”状态。^[4]最终一致性是一种较弱的保证。如果某个系统满足更强的一致性约束（例如线性一致性），它就同时具有最终一致性，但是反过来则未必成立，仅保证最终一致性的系统无法保证更强的约束。

参考文献

1. Vogels, W. Eventually consistent. Communications of the ACM. 2009, 52: 40. doi:10.1145/1435417.1435432.
2. Vogels, W. Eventually Consistent. Queue. 2008, 6 (6): 14. doi:10.1145/1466443.1466448.
3. 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.
4. 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.

相关条目

• 内存一致性模型