用于并发控制的Paxos与快照隔离的关系

Question

我想知道基于Paxos的复制方案和不同的并发模型(如快照隔离)之间的实际关系。有没有人能用几个实际例子来解释一下这两个人之间的关系？

Answer 1

快照隔离是一个强大的一致性并发标准，因为它完全对冲突的更新进行排序。在分布式系统中，总顺序等同于共识。Paxos是一种在具有进程故障的分布式系统中实现一致性的解决方案。因此，您的问题的答案是:快照隔离和基于Paxos的复制方案之间的关系是，从理论上讲，它们应该同样难以实现(即，在相同的假设下是可能的)。

强一致并发标准的其他示例是可串行化、线性化和顺序一致性。相比之下，弱一致性标准(如因果一致性或最终一致性)不需要协商一致，因此与您可能见过的基于Paxos的复制方案有根本的不同。