concurrency - Paxos 与 Snapshot Isolation 并发控制的关系

Question

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

Answer 1

快照隔离是一种强一致性并发标准，因为它完全排序冲突更新。总订单相当于分布式系统中的共识。Paxos 是一种在有进程故障的分布式系统中达成共识的解决方案。所以你的问题的答案是：快照隔离和基于 Paxos 的复制方案之间的关系是，它们在理论上应该同样难以实现（即，在相同的假设下是可能的）。

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