Zookeeper分布式一致性协议ZAB
1、什么是ZAB协议
整个Zookeeper就是一个多节点分布式一致性算法的实现，底层采用的实现协议是ZAB。
ZAB协议介绍【虽然是强一致性的，但不是实时强一致性，即顺序一致性（zxid）】
ZAB 协议全称：Zookeeper Atomic broadcast（Zookeeper 原子广播协议）。
Zookeeper 是一个为分布式应用提供高效且可靠的分布式协调服务。在解决分布式一致性方面，Zookeeper 并没有使用 paxos ，而是采用了 ZAB 协议，ZAB是paxos算法的一种简化实现。
ZAB 协议定义：ZAB 协议是为分布式协调服务 Zookeeper 专门设计的一种支持 崩溃恢复 和 原子广播 的协议。下面我们会重点讲这两个东西。
基于该协议，Zookeeper 实现了一种 主备模式 的系统架构来保持集群中各个副本之间数据一致性。
2、消息广播
ZAB 协议的消息广播过程使用的是一个原子广播协议，类似一个 两阶段提交过程。对于客户端发送的写请求，全部由 leader 接收，leader 将请求封装成一个事务 Proposal，将其发送给所有 Follwer ，然后，根据所有 Follwer 的反馈，如果超过半数(含leader自己)成功响应，则执行 commit 操作。
整个广播流程如下：
通过以上步骤，就能够保持集群之间数据的一致性。
还有一些细节：
- leader 在收到客户端请求之后，会将这个请求封装成一个事务，并给这个事务分配一个全局递增的唯一 ID，称为事务ID（ZXID），ZAB 协议需要保证事务的顺序，因此必须将每一个事务按照 ZXID 进行先后排序然后处理，主要通过消息队列实现。
- 在 leader 和 Follwer 之间还有一个消息队列，用来解耦他们之间的耦合，解除同步阻塞。
- zookeeper集群中为保证任何所有进程能够有序的顺序执行，只能是 leader 服务器接受写请求，即使是 Follower 服务器接受到客户端的写请求，也会转发到 leader 服务器进行处理，Follower只能处理读请求。
- ZAB协议规定了如果一个事务在一台机器上被处理(commit)成功，那么应该在所有的机器上都被处理成功，哪怕机器出现故障崩溃。
3、崩溃恢复
刚刚我们说消息广播过程中，leader 崩溃怎么办？还能保证数据一致吗？
实际上，当 leader 崩溃，即进入我们开头所说的崩溃恢复模式（崩溃即：leader 失去与过半 Follwer 的联系）。下面来详细讲述。
假设1：leader 在复制数据给所有 Follwer 之后，还没来得及收到Follower的ack返回就崩溃，怎么办？
假设2：leader 在收到 ack 并提交了自己，同时发送了部分 commit 出去之后崩溃怎么办？
针对这些问题，ZAB 定义了 2 个原则：
所以，ZAB 设计了下面这样一个选举算法：
能够确保提交已经被 leader 提交的事务，同时丢弃已经被跳过的事务。
针对这个要求，如果让 leader 选举算法能够保证新选举出来的 leader 服务器拥有集群中所有机器 ZXID 最大的事务，那么就能够保证这个新选举出来的 leader 一定具有所有已经提交的提案。
4、数据同步
当崩溃恢复之后，需要在正式工作之前（接收客户端请求），leader 服务器首先确认事务是否都已经被过半的 Follwer 提交了，即是否完成了数据同步。目的是为了保持数据一致。
当 Follwer 服务器成功同步之后，leader 会将这些服务器加入到可用服务器列表中。
实际上，leader 服务器处理或丢弃事务都是依赖着 ZXID 的，那么这个 ZXID 如何生成呢？
答：在 ZAB 协议的事务编号 ZXID 设计中，ZXID 是一个 64 位的数字，其中低 32 位可以看作是一个简单的递增的计数器，针对客户端的每一个事务请求，leader 都会产生一个新的事务 Proposal 并对该计数器进行 + 1 操作。
而高 32 位则代表了 leader 服务器上取出本地日志中最大事务 Proposal 的 ZXID，并从该 ZXID 中解析出对应的 epoch 值(leader选举周期)，当一轮新的选举结束后，会对这个值加一，并且事务id又从0开始自增。
高 32 位代表了每代 leader 的唯一性，低 32 代表了每代 leader 中事务的唯一性。同时，也能让 Follwer 通过高 32 位识别不同的 leader。简化了数据恢复流程。
基于这样的策略：当 Follower 连接上 leader 之后，leader 服务器会根据自己服务器上最后被提交的 ZXID 和 Follower 上的 ZXID 进行比对，比对结果要么回滚，要么和 leader 同步。
5、源码流程图
待补充，zab这块太绕了，越看越懵，后面再抽时间看一遍
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 [email protected] 举报，一经查实，本站将立刻删除。
