【发布时间】：2012-12-26 21:55:59
【问题描述】：
我想知道基于 Paxos 的复制方案与快照隔离等不同并发模型之间的实际关系是什么。谁能用很少的实际例子来解释这两者的关系吗？
【问题讨论】：
标签： concurrency database-replication consistency paxos snapshot-isolation
【发布时间】：2012-12-26 21:55:59
【问题描述】：
快照隔离是一种强一致性并发标准，因为它完全排序冲突更新。总订单相当于分布式系统中的共识。 Paxos 是一种在有进程故障的分布式系统中达成共识的解决方案。所以你的问题的答案是：快照隔离和基于 Paxos 的复制方案之间的关系是，它们在理论上应该同样难以实现（即，在相同的假设下是可能的）。
强一致性并发标准的其他示例包括可串行化、线性化和顺序一致性。相比之下，因果一致性或最终一致性等弱一致性标准不需要共识，因此与您可能已经看到的基于 Paxos 的复制方案有根本的不同。
【讨论】：
-
非常感谢您的回答。只是为了澄清一点......我在一些论文中读到了诸如统一可靠多播之类的组通信协议也可用于确保总顺序，然后是多播方案和 Paxos 如何区分。或者我可以说我们应该在哪里使用多播以及在哪里使用 Paxos？任何例子都会很棒......再次感谢
-
不要将统一性与秩序相混淆。全序（又名原子）多播解决了同样的基本问题。但它是一个抽象规范，必须使用具体协议来实现，最常见的是 Totem，尽管 Paxos 也是一种选择。要在解决相同基本问题（即全序）的多个协议中进行选择，您还必须考虑实际问题，例如流量控制、性能、稳定性等，因此没有简单的答案。