组成
Paxos算法有proposer, accepter, leaner三种角色节点，其中proposer有点像客户端，而accepter是存储节点。
持久化需要
basic-Paxos是二阶段进行的
第一阶段
propose发起prepare请求，带上rnd
accpeter如果发现rnd，比如自己的lastrnd还小的话，就拒绝这个请求。
如果不是话，将set lastrnd = rnd。带上自己之前的value, 和valuernd
propose收到恢复，如果发现lastrnd的比我这个还大的话，那就gameover了。如果不是的话，从多个应答中选出valuernd最大的value,做为propose的值，因为不能改变之前的值（可能已经commit了），如果都没有value的话，可以用自己的value进行下一阶段
第二阶段
proposer发起写请求，参数是value，和rnd
accpeter如果发现rnd不等于请求的rnd的话，就拒绝写请求（保障别的propser没在两阶段空隙里写过值）
如果等于的话，就设置value,和 vrnd。
Paxos 还有一个不太重要的角色Learner, 是为了让系统完整加入的, 但并不是整个算法执行的关键角色, 只有在最后在被通知一下.
<<paxos make simple>> 这篇论文描述了对一个value产生共识，但是对多个value怎么产生共识呢？对于kv存储来说，可以用key和version来做，这样的话我们就可以改变一个key的值，只是这个值在version上，同时accepter的信息也在单独的version上。也就是说，我们起多个proposer对不同的version或者不同的key上的value改值的话，我们就可以修改了。
优化
multi-paxos
就是有点像raft一样
fast-paxos
fast-paxos通过增加quorum的数量来达到一次rpc就能达成一致的目的. 如果fast-paxos没能在一次rpc达成一致, 则要退化到classic paxos.
要拓展到3/4 的数量的
原因
Partial Order Round Number = Paxos + 2PC
Paxos 中主要只用到了 rnd 的大小关系的性质. 我们可以用一个可以用任意的偏序也能保障paxos算法的正确性（不需要每个都可以比较大小）
补充
全序和偏序
Reference
Paxos: (扩展): Partial Order Round Number = Paxos + 2PC - 知乎
周刊（第21期）：Lamport时钟介绍 - codedump的网络日志
可靠分布式系统-paxos的直观解释-2 - 知乎
Paxos算法 | Calvin's Marbles
