Paxox算法

      在Paxos算法中，若果想更改共享状态进程，首先要像集群提交一个proposal。此提案由一个只增整数来标识,这个整数值大于该提交者先前使用的所有标识符。

      接下来该提案被传递给当前集群的其他进程，如果收到的标识符比之前所收到的最大消息标识符小，就将其丢弃or拒绝。

      若果接受者看到消息大于比之前收到的最大消息标识符，就会更新收到的最大标识符值，并返回之前的标识符。

      当提交者得到足够来自于接受者的正面反馈，然后提交者向接受者发送实际的修改。并确定提交者为leader。