Paxos 算法

算法分析：

　　1. Proposer 需要能自我终止，否则在无法收到半数以上应答后，会永久等待

        2. Proposer 交替提交提案可能会导致所有提案都收不到足够数量应答，产生活锁。说明这个算法不收敛