Paxos与快照隔离之间的关系以进行并发控制

Question

我想知道基于Paxos的复制方案与不同的并发模型（如快照隔离）之间的实际关系是什么。 有人能用很少的实际例子来解释这两者之间的关系吗？

Answer 1

从快照隔离完全命令冲突更新的意义上来说，它是一个强大的一致性并发标准。 总订单等于分布式系统中的共识。 Paxos是在具有过程故障的分布式系统中达成共识的解决方案。 因此，您的问题的答案是：快照隔离和基于Paxos的复制方案之间的关系是，从理论上讲，它们应该同样难以实现（即，在相同的假设下可能实现）。

高度一致的并发标准的其他示例是可序列化，线性化和顺序一致性。 相反，因果一致性或最终一致性之类的弱一致性标准不需要共识，因此与您可能已经看到的基于Paxos的复制方案有根本的不同。