Concurrency 并发控制中Paxos与快照隔离的关系

我想知道基于Paxos的复制方案与不同并发模型（如快照隔离）之间的实际关系是什么。有谁能解释一下这两者之间的关系，并且只举几个实际例子吗？

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

---

强一致性并发标准的其他示例有序列化性、线性化性和顺序一致性。相比之下，弱一致性标准（如因果一致性或最终一致性）不需要一致性，因此与您可能看到的基于Paxos的复制方案有根本不同。

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

---

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

非常感谢您的回答。我在一些论文中读到，像统一可靠多播这样的组通信协议也可以用于确保总的顺序，然后是多播方案和PaxO的区别。或者我可以说我们应该在哪里使用多播，在哪里使用Paxos？任何例子都会很好。。。再次感谢不要把一致性和秩序混为一谈。Total order（又名原子）多播解决了同样的基本问题。但它是一个抽象规范，必须用具体的协议实现，最常见的是Totem，尽管Paxos也是一个选项。为了在解决同一个基本问题（即总顺序）的几个协议中选择，你还需要考虑实际的问题，如流量控制、性能、稳定性等等，所以没有简单的答案。非常感谢你的答案。我在一些论文中读到，像统一可靠多播这样的组通信协议也可以用于确保总的顺序，然后是多播方案和PaxO的区别。或者我可以说我们应该在哪里使用多播，在哪里使用Paxos？任何例子都会很好。。。再次感谢不要把一致性和秩序混为一谈。Total order（又名原子）多播解决了同样的基本问题。但它是一个抽象规范，必须用具体的协议实现，最常见的是Totem，尽管Paxos也是一个选项。为了在解决相同的基本问题（即总订单）的几个协议中选择，您还必须考虑实际的问题，如流量控制、性能、稳定性等，因此没有简单的答案。