看了《从paxos到zookeeper》里面paxos协议的讲解，推导过程太复杂。记录一下paxos协议的内容
协议用于分布式数据一致性，分为三种角色，proposer、acceptor、learner。proposer向accepor集合提出议案[Mn, Vn]， accepor批准议案，即确定那个议案为最终结果，learner主要同步结果, 类似master - slave中的slave
两个阶段：
阶段一：
1. proposer提出议案[Mn, Vn]，发送给prepare大部分的accepor节点
2. acceptor节点收到prepare请求，承诺不批准比Mn更小的提案。如果批准其他提案Vx，返回Vx
阶段二:
1. proposer收到大部分acceptor响应，发送accept请求。如果没有Vx返回，发送[Mn, Vx]给acceptor。如果有Vx返回，发送[Mn, Vn]
2. acceptor收到accept请求，批准提案[Mn, Vn]或者[Mn, Vx]
备注，为了避免死循环可以使用主proposer给acceptor发送提案
learner同步提案
方式一：
所有的acceptor m个给learner n个发送提案， 网络通信次数m * n
方式二:
所有的acceptor给主learner发送提案， 主learn同步给其他learner， m + n - 1(单点故障)
方式三：
所有acceptor m给一个learner x集合同步提案， 集合learner在给剩余learn同步 m * x + x * (n - x) = x * ( m + n - x)