改造Paxos算法消灭活锁

Paxos算法虽然可以容忍已经申请到访问权的“提案委员”故障,可以容忍少数派“审批委员”故障;但在出现竞争的情况下,其收敛速度很慢,甚至可能出现活锁的情况,例如当有等于或多于审批委员会数量的“提案委员”在同时发送提案请求后,很难有一个“提案委员”收到半数以上的回复而不断地执行第一阶段的协议。而本文提出的PPMC算法能更高效的解决这个活锁问题。