本文介绍了Paxos协议的基本概念，包括一致性问题的定义，Basic Paxos的运作机制，以及如何通过多轮决议构建Multi Paxos以实现全序关系。文章详细阐述了Paxos的核心条件和约束，如P1、P2a、P2b、P2c，并探讨了在实际应用中如何避免活锁和确保分布式系统的一致性。
文章目录
1.世界
引言
《分布式系统理论基础 - 一致性、2PC和3PC》一文介绍了一致性、达成一致性需要面临的各种问题以及2PC、3PC模型，Paxos协议在节点宕机恢复、消息无序或丢失、网络分化的场景下能保证决议的一致性，是被讨论最广泛的一致性协议。
Paxos协议同时又以其“艰深晦涩”著称，下面结合 Paxos Made Simple、The Part-Time Parliament 两篇论文，尝试通过Paxos推演、学习和了解Paxos协议。
Basic Paxos
何为一致性问题？简单而言，一致性问题是在节点宕机、消息无序等场景可能出现的情况下，相互独立的节点之间如何达成决议的问题，作为解决一致性问题的协议，Paxos的核心是节点间如何确定并只确定一个值(value)。
也许你会疑惑只确定一个值能起什么作用，在Paxos协议里确定并只确定一个值是确定多值的基础，如何确定多值将在第二部分Multi Paxos中介绍，这部分我们聚焦在“Paxos如何确定并只确定一个值”这一问题上。
和2PC类似
订阅专栏 解锁全文
扫一扫
70
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
