作者介绍
1982，Lamport 提出了一种计算机容错理论，并于1900年论证。
这是一种
基于消传递且具有高度容错特性的一致性算法，是目前公认的解决分布式一致性问题最有效的算法之一。
时间时钟、面包店算法、拜占庭将军及paxos算法的创建性容错
paxos的目的
提高分布式系统容错性的一致性算法
核心
一致性算法
算法三个角色：
Proposer
Acceptor
Learner
规则
paxos 描述：
参与者之间可以进行通信，可以记录一些信息，来确定最终的值
消息内容不会被篡改
知行学社的分布式系统与Paxos算法 对paxos算法核心思想的描述
在抢占式访问权的基础上引入多acceptor
保证一个epoch,只有一个proposer运行，proposer按照epoch递增的顺序依次运行。
新的epoch的proposer采用后者认同前者的思路运行。
在肯定旧epoch无法生成确定性取值时，新的epoch 会提交自己的取值。不会冲突。
一旦旧epoch形成确定性取值，新epoch肯定可以获取到此取值，并且会认同此取值，不会破坏。