在分布式系统中,是否有一些算法通常用于实现最终的一致性?
已经为分布式系统中的酸性事务开发了一些算法, Paxos 特别是,但是是否有一个类似的理论体系已经被开发出来 BASE 在一致性保证较弱的情况下?
编辑: 这似乎是一个学术研究领域,只是刚刚开始发展。麦克道拉的回答表明,这方面至少有一些工作。
如果“用于修复复制数据的反熵协议,它通过比较复制副本和协调差异来运行。”符合您的定义,请看 http://en.wikipedia.org/wiki/Gossip_protocol
基本一致性和较弱一致性归根结底是复制方案中副本的聚合。有大量关于分布式系统中复制的文献 渴望的 或 懒惰的 复制,使用 组 或 主人 复印等。
Consensus 是一个可以精确表述的问题。可以提出几种解决方案/算法。副本聚合的懒惰复制不是。我觉得这更像是一个体系结构问题。但正如我刚才所说,在复制或分布式存储方面有大量的工作,这可能是您要寻找的。
不过,这里有几个我觉得有趣的链接: