读书笔记-《深入理解分布式系统》

Raft 系统模型 Raft算法所运行的系统模型为： 服务器可能宕机、停止运行，过段时间会恢复，但不存在拜占庭式故障，即节点的行为是非恶意的， 不会恶意篡改数据 2. 消息可能丢失、延迟、乱序和重复；

Multi-Paxos Basic Paxos决议出一个提案值，而Multi-Paxos决议出多个提案值 一个Paxos实例用来决议出一个值，多个Paxos实例是可以 确定日志索引 日志中包含多个日志

Paxos Paxos是最基础的共识算法，其包含了一系列的共识算法，有着许许多多的变种，被归为Paxos 族共识算法 基本概念 每个节点（议员）都可能提出提案，Paxos用提案来推动整个算法，使系统决

异步系统中的共识 一个适用于异步系统的共识算法，也能被用于同步系统，反之并不成立 FLP不可能定理 在一个完全异步的系统中，即使只有一个节点出现了故障，也不存在一个算法使系统达成共识 在一个异步系统中

分布式共识简介 共识侧重于研究分布式系统中的节点达成共识的过程和算法，一致性则侧重于研究副本最终的 稳定状态，一致性一般也不会考虑拜占庭容错问题 在分布式系统中，共识就是在一个可能出现任何故障的分布式