Paxos算法为解决分布式一致性问题，通过保证Safety约束，确保只有一个值被选定。算法涉及Proposer、Acceptor和Learner三个角色。Proposers提出Proposal，需要超过一半的Acceptors接受，并遵循编号更高的Proposal优先原则。Proposers执行流程满足P2c条件，防止冲突。Acceptors遵循P1a，确保接受编号最高的Proposal。当多个Proposers并发时，可能存在活锁，可通过选主算法解决。
Paxos算法的设计过程就是从正确性开始的，对于分布式一致性问题，很多进程提出（Propose）不同的值，共识算法保证最终只有其中一个值被选定，Safety表述如下：
- 只有被提出（Propose）的值才可能被最终选定（Chosen）。
- 只有一个值会被选定（Chosen）。
- 进程只会获知到已经确认被选定（Chosen）的值。
Paxos以这几条约束作为出发点进行设计，只要算法最终满足这几点，正确性就不需要证明了。Paxos算法中共分为三种参与者：Proposer、Acceptor以及Learner，通常实现中每个进程都同时扮演这三个角色。
Proposers向Acceptors提出Proposal，为了保证最多只有一个值被选定（Chosen），Proposal必须被超过一半的Acceptors所接受（Accept），且每个Acceptor只能接受一个值。
为了保证正常运行（必须有值被接受），所以Paxos算法中：
P1：Acceptor必须接受（Accept）它所收到的第一个Proposal。
先来先服务，合情合理。但这样产生一个问题，如果多个Proposers同时提出Proposal，很可能会导致无法达成一致，因为没有Propopal被超过一半Acceptors的接受，因此，Acceptor必须能够接受多个Proposal，不同
最低0.47元/天 解锁文章
309
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
