作者介绍

1982，Lamport 提出了一种计算机容错理论，并于1900年论证。
这是一种
基于消传递且具有高度容错特性的一致性算法，是目前公认的解决分布式一致性问题最有效的算法之一。

时间时钟、面包店算法、拜占庭将军及paxos算法的创建性容错

paxos的目的

提高分布式系统容错性的一致性算法

核心

一致性算法

算法三个角色：

Proposer
Acceptor
Learner

规则

paxos 描述：

参与者之间可以进行通信，可以记录一些信息，来确定最终的值
消息内容不会被篡改

知行学社的分布式系统与Paxos算法 对paxos算法核心思想的描述

• 在抢占式访问权的基础上引入多acceptor

• 保证一个epoch,只有一个proposer运行，proposer按照epoch递增的顺序依次运行。

• 新的epoch的proposer采用后者认同前者的思路运行。

• 在肯定旧epoch无法生成确定性取值时，新的epoch 会提交自己的取值。不会冲突。

• 一旦旧epoch形成确定性取值，新epoch肯定可以获取到此取值，并且会认同此取值，不会破坏。