常见的一致性算法

常见的一致性算法

一致性算法的分类

1. 强一致性

​ 保证系统改变并提交之后，立即改变集群的状态

​ e.q.：Paxos、Raft、ZAB

2.弱一致性

​ 也叫最终一致性，系统不保证改变并提交以后立即改变集群的状态，但是随着时间的推移最终状态是一致的。

​ e.q.: DNS，Gossip协议

Paxos

1.介绍

Paxos 算法解决的问题是一个分布式系统如何就某个值（决议）达成一致。一个典型的场景是，
在一个分布式数据库系统中，如果各节点的初始状态一致，每个节点执行相同的操作序列，那么
他们最后能得到一个一致的状态。为保证每个节点执行相同的命令序列，需要在每一条指令上执
行一个“一致性算法”以保证每个节点看到的指令一致。 zookeeper 使用的 zab 算法是该算法的
一个实现。

2.包含角色

在 Paxos 算法中，有三种角色：

Proposer（提议人）：只要 Proposer 发的提案被半数以上 Acceptor 接受， Proposer 就认为该提案里的 value 被选定了。

Acceptor（接受人）：只要 Acceptor 接受了某个提案， Acceptor 就认为该提案里的 value 被选定了。

Learners（学习人、提案接受者）：Acceptor 告诉 Learner 哪个 value 被选定， Learner 就认为那个 value 被选定。

3.Paxos 算法分为两个阶段。具体如下：

阶段一（准 leader 确定 ）：

1. Proposer 选择一个提案编号 N，然后向半数以上的 Acceptor 发送编号为 N 的 Prepare 请求。
2. 如果一个 Acceptor 收到一个编号为 N 的 Prepare 请求，且 N 大于该 Acceptor 已经响应过的所有 Prepare 请求的编号，那么它就会将它已经接受过的编号最大的提案（如果有的话）作为响应反馈给 Proposer，同时该 Acceptor 承诺不再接受任何编号小于 N 的提案。

阶段二（leader 确认） ：

1. 如果 Proposer 收到半数以上 Acceptor 对其发出的编号为 N 的 Prepare 请求的响应，那么它就会发送一个针对[N,V]提案的 Accept 请求给半数以上的 Acceptor。注意： V 就是收到的响应中编号最大的提案的 value，如果响应中不包含任何提案，那么 V 就由 Proposer 自己决定。
2. 如果 Acceptor 收到一个针对编号为 N 的提案的 Accept 请求，只要该 Acceptor 没有对编号大于 N 的 Prepare 请求做出过响应，它就接受该提案。

ZAB

ZAB( ZooKeeper Atomic Broadcast , ZooKeeper 原子消息广播协议）协议包括两种基本的模
式：崩溃恢复和消息广播

1. 当整个服务框架在启动过程中，或是当 Leader 服务器出现网络中断崩溃退出与重启等异常情
   况时， ZAB 就会进入恢复模式并选举产生新的 Leader 服务器。
2. 当选举产生了新的 Leader 服务器，同时集群中已经有过半的机器与该 Leader 服务器完成了
   状态同步之后， ZAB 协议就会退出崩溃恢复模式，进入消息广播模式。
3. 当有新的服务器加入到集群中去，如果此时集群中已经存在一个 Leader 服务器在负责进行消
   息广播，那么新加入的服务器会自动进入数据恢复模式，找到 Leader 服务器，并与其进行数
   据同步，然后一起参与到消息广播流程中去。

以上其实大致经历了三个步骤：

1. 崩溃恢复：主要就是 Leader 选举过程
2. 数据同步： Leader 服务器与其他服务器进行数据同步
3. 消息广播： Leader 服务器将数据发送给其他服务器

Raft

与 Paxos 不同 Raft 强调的是易懂（Understandability）， Raft 和 Paxos 一样只要保证 n/2+1 节
点正常就能够提供服务； raft 把算法流程分为三个子问题：选举（Leader election）、日志复制
（Log replication）、安全性（Safety）。

1.角色

Raft 把集群中的节点分为三种状态： Leader、 Follower 、 Candidate，理所当然每种状态负
责的任务也是不一样的， Raft 运行时提供服务的时候只存在 Leader 与 Follower 两种状态；

1. Leader（领导者-日志管理）负责日志的同步管理，处理来自客户端的请求，与 Follower 保持着 heartBeat 的联系；

2. Follower（追随者-日志同步）刚启动时所有节点为Follower状态，响应Leader的日志同步请求，响应Candidate的请求，把请求到 Follower 的事务转发给 Leader；

3. Candidate（候选者-负责选票）负责选举投票， Raft 刚启动时由一个节点从 Follower 转为 Candidate 发起选举，选举出Leader 后从 Candidate 转为 Leader 状态；

2.Term（任期）

在 Raft 中使用了一个可以理解为周期（第几届、任期）的概念，用 Term 作为一个周期，每个 Term 都是一个连续递增的编号，每一轮选举都是一个 Term 周期，在一个 Term 中只能产生一个 Leader；当某节点收到的请求中 Term 比当前 Term 小时则拒绝该请求。

3.选举（Election）

选举定时器：Raft 的选举由定时器来触发， 每个节点的选举定时器时间都是不一样的，开始时状态都为Follower 某个节点定时器触发选举后 Term 递增，状态由 Follower 转为 Candidate，向其他节点发起 RequestVote RPC 请求，这时候有三种可能的情况发生：

1. 该 RequestVote 请求接收到 n/2+1（过半数）个节点的投票，从 Candidate 转为 Leader，向其他节点发送 heartBeat 以保持 Leader 的正常运转。

2. 在此期间如果收到其他节点发送过来的 AppendEntries RPC 请求，如该节点的 Term 大则当前节点转为 Follower，否则保持 Candidate 拒绝该请求。

3. Election timeout 发生则 Term 递增，重新发起选举在一个 Term 期间每个节点只能投票一次， 所以当有多个 Candidate 存在时就会出现每个Candidate 发起的选举都存在接收到的投票数都不过半的问题，这时每个 Candidate 都将 Term递增、重启定时器并重新发起选举，由于每个节点中定时器的时间都是随机的，所以就不会多次存在有多个 Candidate 同时发起投票的问题。在 Raft 中当接收到客户端的日志（事务请求）后先把该日志追加到本地的 Log 中，然后通过heartbeat 把该 Entry 同步给其他 Follower， Follower 接收到日志后记录日志然后向 Leader 发送ACK，当 Leader 收到大多数（n/2+1） Follower 的 ACK 信息后将该日志设置为已提交并追加到本地磁盘中，通知客户端并在下个 heartbeat 中 Leader 将通知所有的 Follower 将该日志存储在自己的本地磁盘中。

4.安全性（Safety）

1. 安全性是用于保证每个节点都执行相同序列的安全机制如当某个 Follower 在当前 Leader 提交日志 时变得不可用了，稍后可能该 Follower 又会被选举为 Leader，这时新 Leader 可能会用新的Log 覆盖先前已提交 的 日志，这就是导致节点执行不同序列； Safety 就是用于保证选举出来的 Leader 一定包含先前已提交的日志的机制；
2. 选举安全性（Election Safety） ： 每个 Term 只能选举出一个 Leader
3. Leader 完整性（Leader Completeness） ： 这里所说的完整性是指 Leader 日志的完整性，Raft 在选举阶段就使用 Term 的判断用于保证完整性：当请求投票的该 Candidate 的 Term 较大或 Term 相同序号更大则投票，该节点将容易变成 leader。

5.raft 协议和 zab 协议区别

相同点：

1. 采用 quorum 来确定整个系统的一致性,这个 quorum 一般实现是集群中半数以上的服务器,

2. zookeeper 里还提供了带权重的 quorum 实现.

3. 都由 leader 来发起写操作.

4. 都采用心跳检测存活性

5. leader election 都采用先到先得的投票方式

不同点：

1. zab 用的是 epoch 和 count 的组合来唯一表示一个值, 而 raft 用的是 term 和 index
2. zab 的 follower 在投票给一个 leader 之前必须和 leader 的日志达成一致,而 raft 的 follower则简单地说是谁的 term 高就投票给谁
3. raft 协议的心跳是从 leader 到 follower, 而 zab 协议则相反
4. raft 协议数据只有单向地从 leader 到 follower(成为 leader 的条件之一就是拥有最新的 log),而 zab 协议在 discovery 阶段, 一个 prospective leader 需要将自己的 log 更新为 quorum 里面最新的 log,然后才好在 同步（synchronization） 阶段将 quorum 里的其他机器的 log 都同步到一致.

NWR

1.介绍

1. N：在分布式存储系统中，有多少份备份数据
2. W：代表一次成功的更新操作要求至少有 w 份数据写入成功
3. R： 代表一次成功的读数据操作要求至少有 R 份数据成功读取

NWR值的不同组合会产生不同的一致性效果，当W+R>N 的时候，整个系统对于客户端来讲能保证强一致性。 而如果 R+W<=N，则无法保证数据的强一致性。 以常见的 N=3、 W=2、 R=2 为例：
N=3，表示，任何一个对象都必须有三个副本（ Replica）， W=2 表示，对数据的修改操作（Write）只需要在 3 个 Replica 中的 2 个上面完成就返回， R=2 表示，从三个对象中要读取到 2个数据对象， 才能返回

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-SlTEOdV9-1657187954886)(C:\Users\Administrator\Desktop\1656751629674.png)]

Gossip

Gossip 算法又被称为反熵（Anti-Entropy），熵是物理学上的一个概念， 代表杂乱无章，而反熵就是在杂乱无章中寻求一致，这充分说明了 Gossip 的特点：在一个有界网络中，每个节点都随机地与其他节点通信，经过一番杂乱无章的通信，最终所有节点的状态都会达成一致。每个节点可能知道所有其他节点，也可能仅知道几个邻居节点，只要这些节点可以通过网络连通，最终他们的状态都是一致的，当然这也是疫情传播的特点
分说明了 Gossip 的特点：在一个有界网络中，每个节点都随机地与其他节点通信，经过一番杂乱无章的通信，最终所有节点的状态都会达成一致。每个节点可能知道所有其他节点，也可能仅知道几个邻居节点，只要这些节点可以通过网络连通，最终他们的状态都是一致的，当然这也是疫情传播的特点