什么是 Paxos 算法？

Paxos 算法是由 Leslie Lamport 于 1990 年提出的，这是一种基于消息传递的一致性算法，简单说，就是解决一个分布式系统如何就某个事达成一致性的问题。

Paxos 算法是如何产生的？

关于 Paxos 算法，Lamport 是通过故事的方式提出的，大概意思就是在希腊岛屿 Paxon 上的执法者，在议会大厅中表决通过法律，并通过服务员传递纸条的方式交流信息。

问题在于执法者和服务员都不可靠，他们随时有可能离开议会大厅，并随时有新的执法者进入议会大厅进行法律表决。

Paxos 算法就是通过这样的方式提出来的，用于解决这个表决一致性的问题。

Paxos 算法核心过程包括 2 个阶段：

1，Prepare 阶段：Proposer （提议发起者）向 Acceptor （提议批准者）发起提议权申请请求（Prepare 消息），Acceptor 负责批准 Proposer 申请的提议权，如果同意就回复 Promise 消息。

2，Accept 阶段：Proposer 一旦获得提议权即可进一步提交变量取值（Accept 消息），Acceptor 负责批准 Proposer 提交的变量取值，如果接受就回复 Accepted 消息。

总结一下：

Paxos 算法说的一致性，是指冗余副本的一致性，这与 ACID 的一致性不一样，与 CAP 原则里所说的一致性比较相近。

Paxos 算法被认为是类似一致性算法中最有效的，被广泛应用在 Chubby、ZooKeeper 这样的系统中，Leslie Lamport 也因此在 2013 年度获得了图灵奖。