是否有任何算法通常用于在分布式系统中实现最终一致性?
已经为分布式系统中的 ACID 事务开发了一些算法,特别是Paxos,但是是否有针对BASE场景开发的类似的理论体系,但一致性保证较弱?
编辑:这似乎是一个刚刚开始发展的学术研究领域。Mcdowella 的回答表明,在这方面至少有一些工作。
如果“用于修复复制数据的反熵协议,通过比较副本和协调差异来操作。” 适合你的定义看看http://en.wikipedia.org/wiki/Gossip_protocol
BASE 和较弱的一致性归结为复制场景中副本的收敛。有大量关于分布式系统中的复制的文献,无论是急切复制还是延迟复制,组或主副本等。
共识是一个可以精确表述的问题。可以提出几种解决方案/算法。具有副本收敛的延迟复制不是。我觉得这更像是一个架构问题。但正如我刚才所说,在复制或分布式存储方面有大量工作,这可能是您正在寻找的。
不过,这里有一些我觉得有趣的链接: