Paxos與快照隔離之間的關系以進行並發控制

Question

我想知道基於Paxos的復制方案與不同的並發模型（如快照隔離）之間的實際關系是什么。 有人能用很少的實際例子來解釋這兩者之間的關系嗎？

Answer 1

從快照隔離完全命令沖突更新的意義上來說，它是一個強大的一致性並發標准。 總訂單等於分布式系統中的共識。 Paxos是在具有過程故障的分布式系統中達成共識的解決方案。 因此，您的問題的答案是：快照隔離和基於Paxos的復制方案之間的關系是，從理論上講，它們應該同樣難以實現（即，在相同的假設下可能實現）。

高度一致的並發標准的其他示例是可序列化，線性化和順序一致性。 相反，因果一致性或最終一致性之類的弱一致性標准不需要共識，因此與您可能已經看到的基於Paxos的復制方案有根本的不同。