分布式系统架构系列讲解四（分布式一致性 4）：Paxos算法

分布式系统架构系列讲解 - 总目录

Paxos算法是一种基于消息传递的，解决分布式系统共识问题的经典算法， 当前最常用的一批共识算法都是基于它改进的。比如，Fast Paxos 算法、Cheap Paxos 算法、Raft 算法等等。

Paxos算法最初由Leslie Lamport提出，但是他在论文《Paxos Made Simple》(https://www.microsoft.com/en-us/research/uploads/prod/2016/12/paxos-simple-Copy.pdf)中并没有用任何数学语言对Paxos算法进行描述，以致于该论文因为太不规范且晦涩难懂而被TOCS拒收，直到被雪藏了 9 年后，TOCS 编委中才有人从故纸堆中找到了这篇划时代的论文，并予以发表。

Leslie Lamport提出的 Paxos 算法包含 2 个部分 ：

• Basic Paxos 算法，描述的是多节点之间如何就某个值达成共识；
• Multi-Paxos 思想，描述的是执行多个 Basic Paxos 实例，就一系列值达成共识。

Basic Paxos 是 Multi-Paxos 思想的核心，说白了，Multi-Paxos 就是多执行几次 Basic Paxos。

我们先来看下Basic Paxos 算法的过程，然后再来讨论Multi-Paxos 思想。

一、B