Paxos 不是会以完全相同的顺序得到相同的指令吗？

Question

我试图理解为什么当 Paxos 做同样的事情时需要 ZAB。我阅读了多个文档和文章，得出的结论是 Zookeeper 要求指令的顺序完全相同。但是对于基本的 paxos，领导者是否不会向具有确切索引的日志推送消息？因此，即使消息被重新排序，最终消息也会进入完全相同的日志索引并最终得到完全相同的日志。那么，这是否意味着在 Paxos 中，所有副本都以完全相同的顺序获得相同的指令？

所以请按如下顺序回答我的问题

1. 消息重排序到底是什么以及为什么 Paxos 无法处理它？
2. Paxos 最初并不是为了原子广播而设计的？通过原子广播，他们的意思是实现总秩序。但是通过将消息放在副本日志中的相同索引中，Paxos 最终不就实现了全序吗？

参考文献。

• https://distributedalgorithm.wordpress.com/2015/06/20/architecture-of-zab-zookeeper-atomic-broadcast-protocol/
• http://www.tcs.hut.fi/Studies/T-79.5001/reports/2012-deSouzaMedeiros.pdf
• https://zookeeper.apache.org/doc/r3.3.6/zookeeperInternals.html

Answer 1

我可以推荐您参考 https://en.wikipedia.org/wiki/Atomic_broadcast 吗？

共识和原子广播彼此等效（如链接中所述）。所以两者都可以使用。

Paxos，从技术上来说，是一个协议家族。当人们开始实际实施时，需要涵盖许多边缘情况。例如。节点高效上下线、节点更换、日志归档等

ZAB 是根据设计人员所需的规格支持所有这些情况的协议。

总结一下：paxos 和 zab（以及其他协议）都提供了正确性，但这些协议的效率有所不同。