最简paxos协议

paxos协议是一种分布式协议，它的目的是在多个参与者中达成一致。这个一致性遵循的是少数服从多数原则。

paxos协议有三个角色：proposer, acceptor, learner。prososer提出建议，acceptor采纳建议，learner通过查询acceptor来得知最后的决定。
一个paxos协议的运行过程是这样的：

1. proposer向每个acceptor提出prepare(requestID)请求，参数requestID是一个单向增长的数字。
2. acceptor以前答应过拒绝这个prepare请求吗？（因为requestID小于以前接受过的requestID)
    Yes->忽略。
    No -> acceptor保证，不会接受了比这个requestID更小的请求。
            acceptor已经accept了某个”值“吗？
            Yes-> 返回requestID, 以前的value。
            No -> 返回requestID
3. 如果大多数acceptor接受了这个prepare请求，proposor会向所有的acceptor发送Accept(requestID, value)请求。  
    如果proposer得到了某个已经accept的value，它就会用这个value发Accept, 而放弃自己想要propose的value。
4. acceptor如果以前答应过拒绝这个requestID的请求（因为requestID小于以前接受过的requestID)，它就会忽略这个请求。
    否则，acceptor就接受了这个’值‘。 

上面只是对paxos的一个简单描述，大家可以通过这个描述，做一个时序分析。看看paxos有没有可能产生live lock？