u014411730的博客

Paxos算法主要通过定义约束保证一致性，即只要算法满足一定的约束，就能保证一致性。 约束一：提案编号唯一。 约束二：多数派提案才成功。 约束三：当需要提案B时，如果提案多数派中有人已经提议了B*(提案编号B* 约束四： 保证提案编号的顺序，即如果提案B，并且之前已经有B* > B ， 则抛弃编号为B的提案。 位了保证编号的顺序性，所以需要强化约束，当不再接受编号小于当

朴素Paxos通过多轮proposer、acceptor选举的方式选举一个提议，这个过程为一个Instance。Multi-Paxos通过算法来确定很多Instance的值，这些Instance的值在多个节点的顺序保持一致，在朴素Paxos中，通过计算找到编号为i的Instance，之后再计算编号为i+1的Instance，这样形成顺序的Instance，这样形成的latency（延迟）很高。而M

微信paxos类库PhxPaxos实现原理与解析        微信最近开源了其paxos类库PhxPaxos，具体参考资料：      1.  phxpaxos github的地址：点击打开链接            2.  微信自研生产级paxos类库PhxPaxos实现原理介绍 ： 点击打开链接                ===========