一文带你看透Zookeeper中的ZAB协议!

2024-01-28 08:58

本文主要是介绍一文带你看透Zookeeper中的ZAB协议!,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

前言

ZAB 协议是为分布式协调服务ZooKeeper专门设计的一种支持崩溃恢复的一致性协议。基于该协议,ZooKeeper 实现了一种主从模式的系统架构来保持集群中各个副本之间的数据一致性。今天主要看看这个zab协议的工作原理。

Java中间件面试真题 +学习笔记

一、什么是ZAB协议

话说在分布式系统中一般都要使用主从系统架构模型,指的是一台leader服务器负责外部客户端的写请求。然后其他的都是follower服务器负责读。leader服务器将客户端的写操作数据同步到所有的follower节点中。

就这样,客户端发送来的写请求,全部给Leader,然后leader再转给Follower。这时候需要解决两个问题:

(1)leader服务器是如何把数据更新到所有的Follower的。

(2)Leader服务器突然间失效了,怎么办?

因此ZAB协议为了解决上面两个问题,设计了两种模式:

(1)消息广播模式:把数据更新到所有的Follower

(2)崩溃恢复模式:Leader发生崩溃时,如何恢复

OK。现在带着这两个问题,我们来详细的看一下:

二、ZAB协议工作原理

1、消息广播模式:

如果你了解过2PC协议的话,理解起来就简单很多了,消息广播的过程实际上是一个简化版本的二阶段提交过程。我们来看一下这个过程:

(1)Leader将客户端的request转化成一个Proposal(提议)

(2)Leader为每一个Follower准备了一个FIFO队列,并把Proposal发送到队列上。‘

(3)leader若收到follower的半数以上ACK反馈

(4)Leader向所有的follower发送commit。

其实通俗的理解就比较简单了,我是领导,我要向各位传达指令,不过传达之前我先问一下大家支不支持我,若有一半以上的人支持我,那我就向各位传达指令了。

(1)leader首先把proposal发送到FIFO队列里

(2)FIFO取出队头proposal给Follower

(3)Follower反馈一个ACK给队列

(4)队列把ACK交给leader

(5)leader收到半数以上ACK,就会发送commit指令给FIFO队列

(6)FIFO队列把commit给Follower。

这就是整个消息广播模式。下面我们开始看一下,如果这个leader节点崩溃了,怎么办?也就是第二种模式:崩溃回复模式。

2、崩溃恢复模式

leader就是一个领导,既然领导挂了,整个组织肯定不会散架,毕竟离开谁都能活下去是不是,这时候我们只需要选举一个新的领导即可,而且还要把前leader还未完成的工作做完,也就是说不仅要进行leader服务器选取,而且还要进行崩溃恢复。我们一个一个来解决。

(1)leader服务器选取

话说江湖上有一个神秘组织,这个组织分工明确,各司其职,平时这个组织的成员有三种状态:

looking状态:也就是观望状态,这时候是由于组织出现内部问题,那就停下来,做一些其他的事。

following状态:自身是一个组织成员,做自己的事。

leading状态:自身是一个组织老大,做自己的事。

但是这个组织只有一个老大。突然有一天,老大挂掉了,于是每一个成员的状态变成了looking状态。于是成员宣布要选举新的leader。

既然是选老大,每个人都想做,于是成员ABC开始了公平选举的过程。但是为了方便,每个人都有一个记录表,来记录当前的信息。

第一步:成员A告诉BC说我要成为老大,BC记录下来。(A成员广播)

第二步:B回复可以,C回复不可以。(B成员广播)

第三步:A和C收到B的消息,更新自己的记录表。

此时A:2票,B:0票,C:0票。

第四步:C这时候不满意了,也要选举成为老大。而且还给自己投了一票。

第五步:A回复可以,B回复可以。更新自己的记录表。

第六步:C收到AB的回复,更新。

此时A:0票,B:0,C:3票。于是确定C就是下一届组织老大了。

这就是整个选举的过程。并且每个人的选举,都代表了一个事件,为了保证分布式系统的时间有序性,因此给每一个事件都分配了一个Zxid。相当于编了一个号。低32位是按照数字递增,即每次客户端发起一个proposal,低32位的数字简单加1。高32位是leader周期的epoch编号。

每当选举出一个新的leader时,新的leader就从本地事物日志中取出ZXID,然后解析出高32位的epoch编号,进行加1,再将低32位的全部设置为0。这样就保证了每次新选举的leader后,保证了ZXID的唯一性而且是保证递增的。

OK,老大选举完了,这时候前老大遗留下来的事还没完成呢,此时就要开始恢复了。

(2)崩溃恢复

既然要恢复,有些场景是不能恢复的,ZAB协议崩溃恢复要求满足如下2个要求: 第一: 确保已经被leader提交的proposal必须最终被所有的follower服务器提交。 第二:确保丢弃已经被leader出的但是没有被提交的proposal。

好了,现在开始进行恢复。

第一步:选取当前取出最大的ZXID,代表当前的事件是最新的。

第二步:新leader把这个事件proposal提交给其他的follower节点

第三步:follower节点会根据leader的消息进行回退或者是数据同步操作。最终目的要保证集群中所有节点的数据副本保持一致。

这就是整个恢复的过程,其实就是相当于有个日志一样的东西,记录每一次操作,然后把出事前的最新操作恢复,然后进行同步即可。

OK。这个就是ZAB协议的整个过程。

原文链接:https://www.toutiao.com/i6825840939433476616/?

这篇关于一文带你看透Zookeeper中的ZAB协议!的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/653126

相关文章

一文详解Git中分支本地和远程删除的方法

《一文详解Git中分支本地和远程删除的方法》在使用Git进行版本控制的过程中,我们会创建多个分支来进行不同功能的开发,这就容易涉及到如何正确地删除本地分支和远程分支,下面我们就来看看相关的实现方法吧... 目录技术背景实现步骤删除本地分支删除远程www.chinasem.cn分支同步删除信息到其他机器示例步骤

如何在Spring Boot项目中集成MQTT协议

《如何在SpringBoot项目中集成MQTT协议》本文介绍在SpringBoot中集成MQTT的步骤,包括安装Broker、添加EclipsePaho依赖、配置连接参数、实现消息发布订阅、测试接口... 目录1. 准备工作2. 引入依赖3. 配置MQTT连接4. 创建MQTT配置类5. 实现消息发布与订阅

一文详解Java Stream的sorted自定义排序

《一文详解JavaStream的sorted自定义排序》Javastream中的sorted方法是用于对流中的元素进行排序的方法,它可以接受一个comparator参数,用于指定排序规则,sorte... 目录一、sorted 操作的基础原理二、自定义排序的实现方式1. Comparator 接口的 Lam

使用Python进行GRPC和Dubbo协议的高级测试

《使用Python进行GRPC和Dubbo协议的高级测试》GRPC(GoogleRemoteProcedureCall)是一种高性能、开源的远程过程调用(RPC)框架,Dubbo是一种高性能的分布式服... 目录01 GRPC测试安装gRPC编写.proto文件实现服务02 Dubbo测试1. 安装Dubb

一文深入详解Python的secrets模块

《一文深入详解Python的secrets模块》在构建涉及用户身份认证、权限管理、加密通信等系统时,开发者最不能忽视的一个问题就是“安全性”,Python在3.6版本中引入了专门面向安全用途的secr... 目录引言一、背景与动机:为什么需要 secrets 模块?二、secrets 模块的核心功能1. 基

一文详解MySQL如何设置自动备份任务

《一文详解MySQL如何设置自动备份任务》设置自动备份任务可以确保你的数据库定期备份,防止数据丢失,下面我们就来详细介绍一下如何使用Bash脚本和Cron任务在Linux系统上设置MySQL数据库的自... 目录1. 编写备份脚本1.1 创建并编辑备份脚本1.2 给予脚本执行权限2. 设置 Cron 任务2

一文详解如何在idea中快速搭建一个Spring Boot项目

《一文详解如何在idea中快速搭建一个SpringBoot项目》IntelliJIDEA作为Java开发者的‌首选IDE‌,深度集成SpringBoot支持,可一键生成项目骨架、智能配置依赖,这篇文... 目录前言1、创建项目名称2、勾选需要的依赖3、在setting中检查maven4、编写数据源5、开启热

一文全面详解Python变量作用域

《一文全面详解Python变量作用域》变量作用域是Python中非常重要的概念,它决定了在哪里可以访问变量,下面我将用通俗易懂的方式,结合代码示例和图表,带你全面了解Python变量作用域,需要的朋友... 目录一、什么是变量作用域?二、python的四种作用域作用域查找顺序图示三、各作用域详解1. 局部作

SpringBoot读取ZooKeeper(ZK)属性的方法实现

《SpringBoot读取ZooKeeper(ZK)属性的方法实现》本文主要介绍了SpringBoot读取ZooKeeper(ZK)属性的方法实现,强调使用@ConfigurationProperti... 目录1. 在配置文件中定义 ZK 属性application.propertiesapplicati

一文彻底搞懂Java 中的 SPI 是什么

《一文彻底搞懂Java中的SPI是什么》:本文主要介绍Java中的SPI是什么,本篇文章将通过经典题目、实战解析和面试官视角,帮助你从容应对“SPI”相关问题,赢得技术面试的加分项,需要的朋... 目录一、面试主题概述二、高频面试题汇总三、重点题目详解✅ 面试题1:Java 的 SPI 是什么?如何实现一个