ZAB定义:ZAB 英文全称为 Zookeeper Atomic Broadcast,译为 Zookeeper 原子广播协议;
ZAB作用:当ZooKeeper leader节点宕机时,用于崩溃恢复的原子广播协议,它保证了zookeeper集群的 数据一致性 和 命令全局有序性。
注意两个关键字:数据一致性 和 命令全局有序性,下面介绍,当leader节点宕机的时候,是怎样保证数据一致性和 命令全全局有序性的。
ZXID(64bit) = epoch(32bit) + counter(32bit)
Zxid定义:Zxid是一个long型(64位)整数,分为两部分:纪元(epoch)部分和计数器(counter)部分,是一个全局有序的数字。
epoch定义:epoch表示当前集群所属的哪个leader,leader的选举就类似一个朝代的更替,你前朝的剑不能斩本朝的官,用epoch代表当前命令的有效性。
counter定义:counter是一个递增的数字。
Leader:同一时间集群总只允许有一个Leader,提供对客户端的读写功能,负责将数据同步至各个节点;
Follower:提供对客户端读功能,写请求则转发给Leader处理,当Leader崩溃失联之后参与Leader选举;
Observer:与Follower不同的是但不参与Leader选举。
zookeeper集群三个角色注意(选举阶段)
关于leader,有且只有一个,没有(启动没有/有了宕机)就选举,有了不需要了。
关于follower,在两种情况的选举下,拥有 投票权(可以贡献一票) 和 被选举权(可能被选举为leader)。
关于observer,在两种情况的选举下,无 投票权(无法贡献一票) 和 被选举权 (不可能被选举为leader)。
所有说,当leader不存在的时候(启动/宕机),是所有的follower来投票,是从follower中选举出一个超过半数follower同意的follower,来成为leader。所以,整个选举过程,和observer 没半毛钱关闭。
zookeeper集群三个角色注意(广播阶段)
关于leader,有且只有一个,用来处理写请求,是zookeeper集群中唯一一个处理请求的节点。
关于follower,在读写操作下,读操作自己处理(不过问leader节点),写请求发给leader,写请求第二阶段所有follower投票过半即可
关于observer,在读写操作下,读操作自己处理(不过问leader节点),写请求发给leader,写请求第二阶段投票没observer什么事。
所以说,由于observer没有 投票权 和 被选举权,选举时的过半数通过和写操作时的过半数ACK 都和它没关系,都是follower和leader的事。
比喻:leader是项目经理(技术攻关写请求)、follower是正式员工(平时干活读请求,投票和被选举)、observer是外包员工(平时干活读请求,无投票、无被选举)
问题:observer存在的意义(选举过程中,和observer没半毛钱关系,为什么需要observer)?
标准答案:增加observer节点,在不影响吞吐量的情况下,增加伸缩性;
增加follower阶段,在影响吞吐量的情况下,增加伸缩性。
解释:Zookeeper 需保证高可用和强一致性,为了支持更多的客户端,需要增加更多 Server;
Server包括两种,follower和observer(其实,leader也是Server,但是只有一个)
follower 增多,投票阶段延迟增大,影响性能(影响吞吐量);引入一种不参与投票的follower,就是observer,因为不参与投票(投票是一种延迟大的内部消耗),所以完全用来处理用户连接; Observers 接受客户端的连接,并将写请求转发给 leader 节点; 加入更多 Observer 节点,提高伸缩性,同时不影响吞吐率。
问题:leader存在的意义(为什么需要一个leader,为什么需要投票选举一个leader,投票是一个延迟大的内部消耗,为什么不去掉)
标准答案:
1、集群server的数据一致性:zookeeper是一个集群,集群是由多个server组成的,多个server要保证数据一致性,这是集群的要求,无法改变。
2、主从结构:然后,要保证多个server的数据一致性,就要灵活处理好 读写请求,就要做 主从结构,主从结构处理的两种方式
(1)主写从读,类似mysql集群读写分离,主库处理写请求(insert|update|delete),从库读(select),然后按时间间隔使用binlog日志将主库中的数据同步到从库,保证读到的数据是刚刚写入的(从库加入时,第一次根据binlog全量复制主库,以后根据binlog增量复制主库数据变化即可);优点:这一种方式,主库和从库,每个数据库都运用起来的,最大化集群吞吐量。
(2)主读写,从仅同步,类似kafka中的,kafka本身就是基于分布式架构的(不用像mysql额外做分布式),partition分区,部署在三个以上的broker中,生产消息和消费消息都在主partition,从partition仅仅同步,当主partition宕机后,才开始操作。
zookeeper使用的时类似mysql集群的,
对于写操作:所有的写操作必须要通过 Leader 完成再由 Leader 将写操作广播给其它服务器,只要有超过半数节点(不包括 observer 节点)写入成功,该写请求就会被提交(类 2PC 协议)。
对于读操作:follower和observer 都可以直接处理并返回客户端的读请求,但是都会将 写请求转发给 Leader 处理。
问题:follower存在的意义(为什么需要一个follower)
标准答案:zookeeper 是分布式架构,follower是最基本的节点,具有 投票权 和 被选举权,唯一的leader节点从follower节点产生(observer没有被选举权,不可能变为leader)
至于observer,是没有 投票权 和 被选举权的 follower,增加observer节点,在不影响吞吐量的情况下,增加伸缩性。
LOOKING:当节点认为群集中没有Leader,服务器会进入LOOKING状态,目的是为了查找或者选举Leader;
FOLLOWING:follower角色;
LEADING:leader角色;
OBSERVING:observer角色;
可以知道Zookeeper是通过自身的状态来区分自己所属的角色,来执行自己应该的任务。
金手指:从 “zookeeper分为选主阶段和广播阶段” 看 zookeeper 的四个状态和 ZAB 的四个状态
对于zookeeper的四个状态
looking仅在选主阶段出现
following是zookeeper在广播阶段的follower节点的状态,
leading是zookeeper在广播阶段的leader节点的状态,
observing是zookeeper在广播阶段的observer节点的状态。
对于ZAB的四个状态,实际上选主阶段的四种过程
ELECTION: 集群进入选举状态,此过程会选出一个节点作为leader角色;
DISCOVERY:连接上leader,响应leader心跳,并且检测leader的角色是否更改,通过此步骤之后选举出的leader才能执行真正职务;
SYNCHRONIZATION:整个集群都确认leader之后,将会把leader的数据同步到各个节点,保证整个集群的数据一致性;
BROADCAST:过渡到广播状态,集群开始对外提供服务。
Zookeeper给ZAB定义了四种状态,与Zookeeper的四种状态对应,下面有图解
ZAB状态作用:反应Zookeeper从选举到对外提供服务的过程中的四个步骤。
ZAB状态定义(枚举定义):ELECTION、DISCOVERY、SYNCHRONIZATION、BROADCAST
public enum ZabState {ELECTION,DISCOVERY,SYNCHRONIZATION,BROADCAST
}
ELECTION: 集群进入选举状态,此过程会选出一个节点作为leader角色;
DISCOVERY:连接上leader,响应leader心跳,并且检测leader的角色是否更改,通过此步骤之后选举出的leader才能执行真正职务;
SYNCHRONIZATION:整个集群都确认leader之后,将会把leader的数据同步到各个节点,保证整个集群的数据一致性;
BROADCAST:过渡到广播状态,集群开始对外提供服务。
zookeeper集群中,leader选举基于ZAB协议
zookeeper集群中,只能有一个leader节点,这个leader节点的选举(zookeeper启动时选举leader、leader宕机后选举leader)是基于zab协议来完成的。
zookeeper集群中,leader选举三个问题,
第一,when何时:leader选举什么时候进行?zookeeper启动的时候从follower中选举leader + 原有leader宕机后从follower中选举leader.
第二,how理论上,选举规则?
第三,how实践上,选择流程?
选举发生的时机Leader发生选举有两个时机:
1、zookeeper服务启动的时候当整个集群都没有leader节点会进入选举状态,如果leader已经存在就会告诉该节点leader的信息,自己连接上leader,整个集群不用进入选举状态。
2、zookeeper服务运行中,可能会出现各种情况,服务宕机、断电、网络延迟很高的时候leader都不能再对外提供服务了,所有当其他几点通过心跳检测到leader失联之后,集群也会进入选举状态。
接上面,达到两种选举时机之一,开始选举。
zab协议是按照几个比较规则来进行投票的筛选,如果你的票比我更好,就修改自身的投票信息,改投你当leader。
下面代码是zookeeper投票比较规则:
/** We return true if one of the following three cases hold:* 1- New epoch is higher* 2- New epoch is the same as current epoch, but new zxid is higher* 3- New epoch is the same as current epoch, new zxid is the same* as current zxid, but server id is higher.*/return ((newEpoch > curEpoch)|| ((newEpoch == curEpoch)&& ((newZxid > curZxid)|| ((newZxid == curZxid)&& (newId > curId)))));
对应上面代码的解释(两个节点之间使用比较的方法来选举,三种比较规则):
1、比较 epoche纪元(zxid高32bit),如果其他节点的纪元比自己的大,选举 epoch大的节点(理由:epoch 表示年代,epoch越大表示数据越新)代码:(newEpoch > curEpoch);
2、比较 zxid, 如果纪元相同,就比较两个节点的zxid的大小,选举 zxid大的节点(理由:zxid 表示节点所提交事务最大的id,zxid越大代表该节点的数据越完整)代码:(newEpoch == curEpoch) && (newZxid > curZxid);
3、比较 serviceId,如果 epoch和zxid都相等,就比较服务的serverId,选举 serviceId大的节点(理由: serviceId 表示机器性能,他是在配置zookeeper集群时确定的,所以我们配置zookeeper集群的时候可以把服务性能更高的集群的serverId设置大些,让性能好的机器担任leader角色)代码 :(newEpoch == curEpoch) && ((newZxid == curZxid) && (newId > curId))。
对于上图的解释(leader选举的):
步骤1(每个节点第一个先选自己):所有节点第一票先选举自己当leader,将投票信息广播出去;
步骤2(每个节点接受其他 n-1 个节点):从队列中接受投票信息;
步骤3(根据三个比较规则,确定自己选举的leader,然后第二次广播出去):按照三条规则判断是否需要更改投票信息,将更改后的投票信息再次广播出去;
步骤4:(是否一个节点过半数,是了就行了,不是跳到步骤2,继续接收 n-1 节点)判断是否有超过一半的投票选举同一个节点,如果是选举结束根据投票结果设置自己的服务状态,选举结束,否则继续进入投票流程。
问题:为什么zookeeper选举过程设计为一半通过?为什么不是 1/3 投票 或者 2/3 投票?
第一,为什么不是1/3而是1/2?标准答案:为了确保leader的唯一性,一个follower节点获得了1/2票数,就不可能再有一个follower节点或者 1/2 票数,就唯一确定了这个follower为leader;如果设置为1/3,选出两个follower达到 1/3 票数,但是leader只有一个,选谁,还是要继续比较票数吗?太麻烦,还不如设置为 1/2 ,一步到位;同理,设置 1/4,选出 三个 follower大于 1/4,尴尬…
第二,为什么不是2/3而是1/2?标准答案:节约选举成本,投票是一种延迟大的内部消耗,影响吞吐量,这就是为什么要引入 无投票权、无被选举权的 observer的原因,1/2已经能够确定唯一的leader,变为2/3 3/4 只会加大选举的循环次数,影响性能。
问题:为什么zookeeper写操作设计为一半ACK?为什么不是 1/3 ACK 或者 2/3 ACK ?
标准答案:没有什么太大理由,zookeeper就是这么设计,所以说zookeeper是非强一致性的,二阶段提交,第二阶段follower ACK数量过半就行(Ack确定和observer无关,无论是哪个节点 leader/follower/observer 收到写操作,都是发送给leader,follower过半ACK,leader就提交)。
关于zookeeper中的投票过半数(包含两层意思):
第一,选举过程中,一半的节点选举了,就好了
第二,广播过程中,两阶段提交,eader收到一半的follower发过来的ACK,就提交了(所以,zookeeper不是强一致性的)问题:为什么说zookeeper的两阶段提交不是强一致性的?
回答:之前的mysql和oracle基于XA实现的分布式事务,底层两阶段提交是要所有的都ACK,三阶段提交也是要所有的都ACK,这才是强一致性的。
zookeeper集群对外提供服务(即读写操作)如何保证各个节点数据的一致性。
有序性定义? + ZAB保证有序性实现?
有序性定义?
标准答案:zab在广播状态中保证以下特征
第一,可靠传递: 如果消息m由一台服务器传递,那么它最终将由所有服务器传递。
第二,全局有序: 如果一个消息a在消息b之前被一台服务器交付,那么所有服务器都交付了a和b,并且a先于b。
第三,因果有序: 如果消息a在因果上先于消息b并且二者都被交付,那么a必须排在b之前。
ZAB保证有序性实现?
标准答案:zab协议的有序性保证是通过几个方面来体现的,
第一,服务之前用TCP协议进行通讯,保证在网络传输中的有序性;
第二,节点之前都维护了一个FIFO的队列,保证全局有序性;
第三,通过全局递增的zxid保证因果有序性。
为什么需要zab需要保证有序性?
标准答案:zookeeper的存储结构是类型目录结构,不保证有序性无法定位,会报错。
有序性是zab协议必须要保证的一个很重要的属性,因为zookeeper是以类似目录结构的数据结构存储数据的,必须要求命名的有序性。比如一个命名a创建路径为/test,然后命名b创建路径为/test/123,如果不能保证有序性b命名在a之前,b命令会因为父节点不存在而创建失败。
基础知识:两阶段提交(定义 + 流程 + 优缺点)
两阶段提交定义:在分布式系统中,每一个机器节点虽然能够明确的知道自己在进行事物操作过程的结果是失败或成功,但却无法直接获取其他分布式节点的操作结果,所以,事物操作需要跨越多个分布式节点的时候,需要引入一个协调者统一调度所有节点的执行逻辑。
两阶段提交详细:
阶段一:提交事物请求
1.1 leader事物询问
协调者向所有的参与者发送事物内容,询问是否可以执行事物操作,并开始等待各参与者的响应。
1.2 follower/observer执行事物
各参与者节点执行事物操作,并将Undo和Redo信息记入事物日志中
1.3 各参与者follower/observer向协调者leader反馈事物询问的响应
如果参与者成功执行了事物操作,那么就反馈给协调者Yes响应,表示事物可以执行;如果参与者没有成功执行事物,那么就反馈给协调者No响应,表示事物不可以执行。
阶段二:执行事物请求
在阶段二中协调者会根据参与者的反馈情况来决定最终是否可以进行事物操作,其中有两种可能 Commit/Cancel。假如协调者从所有的参与者获得的反馈都是Yes响应,那么就会执行事物响应(zookeeper是过半就好)。
2.1 Leader发送提交请求
协调者向所有参与者节点发出Commit请求
2.2 follower/observer事物提交
参与者接收到Commit请求后,会正式执行事物提交操作,并在完成提交之后释放在整个事物执行期间占有的事物资源。
2.3 follower/observer反馈事物提交结果
参与者在完成事物提交之后,向协调者发送Ack消息。
2.4 leader完成事物
协调者接收到所有参与者反馈的Ack消息后,完成事物。
二阶段提交优缺点
优点:原理简单,实现方便
缺点:同步阻塞,单点问题,脑裂,数据丢失(四个问题,在分布式事务中讲到过)。
解释上图(zookeeper写请求的两阶段提交):
当收到客户端的写请求的时候会经历以下几个步骤:
步骤1(阶段一,Leader发出):Leader收到客户端的写请求,生成一个事务(Proposal),其中包含了zxid;
步骤2(阶段一,Leader发出):Leader开始广播该事务,需要注意的是所有节点的通讯都是由一个FIFO的队列维护的;
步骤3(阶段一,Leader发出):Follower接受到事务之后,将事务写入本地磁盘,写入成功之后返回Leader一个ACK;
步骤4(阶段二,Leader接收):Leader收到过半的ACK之后,开始提交本事务,并广播事务提交Commit信息
步骤5(阶段二,Leader接收):从节点开始提交本事务。
所以,zookeeper通过二阶段提交来保证集群中数据的一致性,因为只需要收到过半的ACK就可以提交事务,所以zookeeper的数据并不是强一致性。
前面介绍了zookeeper服务状态有四种,ZAB状态也有四种。这里就简单介绍一个他们之间的状态流转,更能加深对zab协议在zookeeper工作流程中的作用。
对于上图的解释:
步骤1:服务在启动或者和leader失联之后服务状态转为LOOKING;
步骤2:如果leader不存在选举leader,如果存在直接连接leader,此时zab协议状态为ELECTION;
步骤3:如果有超过半数的投票选择同一台server,则leader选举结束,被选举为leader的server服务状态为LEADING,其他server服务状态为FOLLOWING/OBSERVING;
步骤4:所有server连接上leader,此时zab协议状态为DISCOVERY;
步骤5:leader同步数据给learner,使各个从节点数据和leader保持一致,此时zab协议状态为SYNCHRONIZATION;
步骤6:同步超过一半的server之后,集群对外提供服务,此时zab状态为BROADCAST。
所以,zookeeper服务的工作流程类似一个状态机的转换,而zab协议就是驱动服务状态流转的关键。
ZAB定义:ZAB 英文全称为 Zookeeper Atomic Broadcast,译为 Zookeeper 原子广播协议;
ZAB作用:当ZooKeeper leader节点宕机时,用于崩溃恢复的原子广播协议,它保证了zookeeper集群的 数据一致性 和 命令全局有序性。
ZXID(64bit) = epoch(32bit) + counter(32bit)
Zxid定义:Zxid是一个long型(64位)整数,分为两部分:纪元(epoch)部分和计数器(counter)部分,是一个全局有序的数字。
epoch定义:epoch表示当前集群所属的哪个leader,leader的选举就类似一个朝代的更替,你前朝的剑不能斩本朝的官,用epoch代表当前命令的有效性。
counter定义:counter是一个递增的数字。
Leader:同一时间集群总只允许有一个Leader,提供对客户端的读写功能,负责将数据同步至各个节点;
Follower:提供对客户端读功能,写请求则转发给Leader处理,当Leader崩溃失联之后参与Leader选举;
Observer:与Follower不同的是但不参与Leader选举。
zookeeper集群三个角色注意(选举阶段)
关于leader,有且只有一个,没有(启动没有/有了宕机)就选举,有了不需要了。
关于follower,在两种情况的选举下,拥有 投票权(可以贡献一票) 和 被选举权(可能被选举为leader)。
关于observer,在两种情况的选举下,无 投票权(无法贡献一票) 和 被选举权 (不可能被选举为leader)。
所有说,当leader不存在的时候(启动/宕机),是所有的follower来投票,是从follower中选举出一个超过半数follower同意的follower,来成为leader。所以,整个选举过程,和observer 没半毛钱关闭。
zookeeper集群三个角色注意(广播阶段)
关于leader,有且只有一个,用来处理写请求,是zookeeper集群中唯一一个处理请求的节点。
关于follower,在读写操作下,读操作自己处理(不过问leader节点),写请求发给leader,写请求第二阶段所有follower投票过半即可
关于observer,在读写操作下,读操作自己处理(不过问leader节点),写请求发给leader,写请求第二阶段投票没observer什么事。
所以说,由于observer没有 投票权 和 被选举权,选举时的过半数通过和写操作时的过半数ACK 都和它没关系,都是follower和leader的事。
比喻:leader是项目经理(技术攻关写请求)、follower是正式员工(平时干活读请求,投票和被选举)、observer是外包员工(平时干活读请求,无投票、无被选举)
问题:observer存在的意义(选举过程中,和observer没半毛钱关系,为什么需要observer)?
标准答案:增加observer节点,在不影响吞吐量的情况下,增加伸缩性;
增加follower阶段,在影响吞吐量的情况下,增加伸缩性。
解释:Zookeeper 需保证高可用和强一致性,为了支持更多的客户端,需要增加更多 Server;
Server包括两种,follower和observer(其实,leader也是Server,但是只有一个)
follower 增多,投票阶段延迟增大,影响性能(影响吞吐量);引入一种不参与投票的follower,就是observer,因为不参与投票(投票是一种延迟大的内部消耗),所以完全用来处理用户连接; Observers 接受客户端的连接,并将写请求转发给 leader 节点; 加入更多 Observer 节点,提高伸缩性,同时不影响吞吐率。
问题:leader存在的意义(为什么需要一个leader,为什么需要投票选举一个leader,投票是一个延迟大的内部消耗,为什么不去掉)
标准答案:
1、集群server的数据一致性:zookeeper是一个集群,集群是由多个server组成的,多个server要保证数据一致性,这是集群的要求,无法改变。
2、主从结构:然后,要保证多个server的数据一致性,就要灵活处理好 读写请求,就要做 主从结构,主从结构处理的两种方式
(1)主写从读,类似mysql集群读写分离,主库处理写请求(insert|update|delete),从库读(select),然后按时间间隔使用binlog日志将主库中的数据同步到从库,保证读到的数据是刚刚写入的(从库加入时,第一次根据binlog全量复制主库,以后根据binlog增量复制主库数据变化即可);优点:这一种方式,主库和从库,每个数据库都运用起来的,最大化集群吞吐量。
(2)主读写,从仅同步,类似kafka中的,kafka本身就是基于分布式架构的(不用像mysql额外做分布式),partition分区,部署在三个以上的broker中,生产消息和消费消息都在主partition,从partition仅仅同步,当主partition宕机后,才开始操作。
zookeeper使用的时类似mysql集群的,
对于写操作:所有的写操作必须要通过 Leader 完成再由 Leader 将写操作广播给其它服务器,只要有超过半数节点(不包括 observer 节点)写入成功,该写请求就会被提交(类 2PC 协议)。
对于读操作:follower和observer 都可以直接处理并返回客户端的读请求,但是都会将 写请求转发给 Leader 处理。
问题:follower存在的意义(为什么需要一个follower)
标准答案:zookeeper 是分布式架构,follower是最基本的节点,具有 投票权 和 被选举权,唯一的leader节点从follower节点产生(observer没有被选举权,不可能变为leader)
至于observer,是没有 投票权 和 被选举权的 follower,增加observer节点,在不影响吞吐量的情况下,增加伸缩性。
zookeeper集群中,leader选举基于ZAB协议
zookeeper集群中,只能有一个leader节点,这个leader节点的选举(zookeeper启动时选举leader、leader宕机后选举leader)是基于zab协议来完成的。
zookeeper集群中,leader选举三个问题,
第一,when何时:leader选举什么时候进行?
zookeeper启动的时候从follower中选举leader + 原有leader宕机后从follower中选举leader.
第二,how理论上,选举规则?
1、比较 epoche纪元(zxid高32bit),如果其他节点的纪元比自己的大,选举 epoch大的节点(理由:epoch 表示年代,epoch越大表示数据越新)代码:(newEpoch > curEpoch);
2、比较 zxid, 如果纪元相同,就比较两个节点的zxid的大小,选举 zxid大的节点(理由:zxid 表示节点所提交事务最大的id,zxid越大代表该节点的数据越完整)代码:(newEpoch == curEpoch) && (newZxid > curZxid);
3、比较 serviceId,如果 epoch和zxid都相等,就比较服务的serverId,选举 serviceId大的节点(理由: serviceId 表示机器性能,他是在配置zookeeper集群时确定的,所以我们配置zookeeper集群的时候可以把服务性能更高的集群的serverId设置大些,让性能好的机器担任leader角色)代码 :(newEpoch == curEpoch) && ((newZxid == curZxid) && (newId > curId))。
第三,how实践上,选举leader流程?
步骤1(每个节点第一个先选自己):所有节点第一票先选举自己当leader,将投票信息广播出去;
步骤2(每个节点接受其他 n-1 个节点):从队列中接受投票信息;
步骤3(根据三个比较规则,确定自己选举的leader,然后第二次广播出去):按照三条规则判断是否需要更改投票信息,将更改后的投票信息再次广播出去;
步骤4:(是否一个节点过半数,是了就行了,不是跳到步骤2,继续接收 n-1 节点)判断是否有超过一半的投票选举同一个节点,如果是选举结束根据投票结果设置自己的服务状态,选举结束,否则继续进入投票流程。
问题:为什么zookeeper选举过程设计为一半通过?为什么不是 1/3 投票 或者 2/3 投票?
第一,为什么不是1/3而是1/2?标准答案:为了确保leader的唯一性,一个follower节点获得了1/2票数,就不可能再有一个follower节点或者 1/2 票数,就唯一确定了这个follower为leader;如果设置为1/3,选出两个follower达到 1/3 票数,但是leader只有一个,选谁,还是要继续比较票数吗?太麻烦,还不如设置为 1/2 ,一步到位;同理,设置 1/4,选出 三个 follower大于 1/4,尴尬…
第二,为什么不是2/3而是1/2?标准答案:节约选举成本,投票是一种延迟大的内部消耗,影响吞吐量,这就是为什么要引入 无投票权、无被选举权的 observer的原因,1/2已经能够确定唯一的leader,变为2/3 3/4 只会加大选举的循环次数,影响性能。
问题:为什么zookeeper写操作设计为一半ACK?为什么不是 1/3 ACK 或者 2/3 ACK ?
标准答案:没有什么太大理由,zookeeper就是这么设计,所以说zookeeper是非强一致性的,二阶段提交,第二阶段follower ACK数量过半就行(Ack确定和observer无关,无论是哪个节点 leader/follower/observer 收到写操作,都是发送给leader,follower过半ACK,leader就提交)。
关于zookeeper中的投票过半数(包含两层意思):
第一,选举过程中,一半的节点选举了,就好了
第二,广播过程中,两阶段提交,eader收到一半的follower发过来的ACK,就提交了(所以,zookeeper不是强一致性的)问题:为什么说zookeeper的两阶段提交不是强一致性的?
回答:之前的mysql和oracle基于XA实现的分布式事务,底层两阶段提交是要所有的都ACK,三阶段提交也是要所有的都ACK,这才是强一致性的。
有序性定义? + ZAB保证有序性实现?
有序性定义?
标准答案:zab在广播状态中保证以下特征
第一,可靠传递: 如果消息m由一台服务器传递,那么它最终将由所有服务器传递。
第二,全局有序: 如果一个消息a在消息b之前被一台服务器交付,那么所有服务器都交付了a和b,并且a先于b。
第三,因果有序: 如果消息a在因果上先于消息b并且二者都被交付,那么a必须排在b之前。
ZAB保证有序性实现?
标准答案:zab协议的有序性保证是通过几个方面来体现的,
第一,服务之前用TCP协议进行通讯,保证在网络传输中的有序性;
第二,节点之前都维护了一个FIFO的队列,保证全局有序性;
第三,通过全局递增的zxid保证因果有序性。
为什么需要zab需要保证有序性?
标准答案:zookeeper的存储结构是类型目录结构,不保证有序性无法定位,会报错。
有序性是zab协议必须要保证的一个很重要的属性,因为zookeeper是以类似目录结构的数据结构存储数据的,必须要求命名的有序性。比如一个命名a创建路径为/test,然后命名b创建路径为/test/123,如果不能保证有序性b命名在a之前,b命令会因为父节点不存在而创建失败。
基础知识:两阶段提交(定义 + 流程 + 优缺点)
两阶段提交定义:在分布式系统中,每一个机器节点虽然能够明确的知道自己在进行事物操作过程的结果是失败或成功,但却无法直接获取其他分布式节点的操作结果,所以,事物操作需要跨越多个分布式节点的时候,需要引入一个协调者统一调度所有节点的执行逻辑。
两阶段提交详细:
阶段一:提交事物请求
1.1 leader事物询问
协调者向所有的参与者发送事物内容,询问是否可以执行事物操作,并开始等待各参与者的响应。
1.2 follower/observer执行事物
各参与者节点执行事物操作,并将Undo和Redo信息记入事物日志中
1.3 各参与者follower/observer向协调者leader反馈事物询问的响应
如果参与者成功执行了事物操作,那么就反馈给协调者Yes响应,表示事物可以执行;如果参与者没有成功执行事物,那么就反馈给协调者No响应,表示事物不可以执行。
阶段二:执行事物请求
在阶段二中协调者会根据参与者的反馈情况来决定最终是否可以进行事物操作,其中有两种可能 Commit/Cancel。假如协调者从所有的参与者获得的反馈都是Yes响应,那么就会执行事物响应(zookeeper是过半就好)。
2.1 Leader发送提交请求
协调者向所有参与者节点发出Commit请求
2.2 follower/observer事物提交
参与者接收到Commit请求后,会正式执行事物提交操作,并在完成提交之后释放在整个事物执行期间占有的事物资源。
2.3 follower/observer反馈事物提交结果
参与者在完成事物提交之后,向协调者发送Ack消息。
2.4 leader完成事物
协调者接收到所有参与者反馈的Ack消息后,完成事物。
二阶段提交优缺点
优点:原理简单,实现方便
缺点:同步阻塞,单点问题,脑裂,数据丢失(四个问题,在分布式事务中讲到过)。
zookeeper写请求的两阶段提交(当收到客户端的写请求的时候会经历以下几个步骤):
步骤1(阶段一,Leader发出):Leader收到客户端的写请求,生成一个事务(Proposal),其中包含了zxid;
步骤2(阶段一,Leader发出):Leader开始广播该事务,需要注意的是所有节点的通讯都是由一个FIFO的队列维护的;
步骤3(阶段一,Leader发出):Follower接受到事务之后,将事务写入本地磁盘,写入成功之后返回Leader一个ACK;
步骤4(阶段二,Leader接收):Leader收到过半的ACK之后,开始提交本事务,并广播事务提交Commit信息
步骤5(阶段二,Leader接收):从节点开始提交本事务。
所以,zookeeper通过二阶段提交来保证集群中数据的一致性,因为只需要收到过半的ACK就可以提交事务,所以zookeeper的数据并不是强一致性。
金手指:从 “zookeeper分为选主阶段和广播阶段” 看 zookeeper 的四个状态和 ZAB 的四个状态
对于zookeeper的四个状态
looking仅在选主阶段出现
following是zookeeper在广播阶段的follower节点的状态,
leading是zookeeper在广播阶段的leader节点的状态,
observing是zookeeper在广播阶段的observer节点的状态。
对于ZAB的四个状态,实际上选主阶段的四种过程
ELECTION: 集群进入选举状态,此过程会选出一个节点作为leader角色;
DISCOVERY:连接上leader,响应leader心跳,并且检测leader的角色是否更改,通过此步骤之后选举出的leader才能执行真正职务;
SYNCHRONIZATION:整个集群都确认leader之后,将会把leader的数据同步到各个节点,保证整个集群的数据一致性;
BROADCAST:过渡到广播状态,集群开始对外提供服务。
zookeeper的ZAB协议,完成了。
天天打码,天天进步!!!