ZooKeeper实战(二):ZooKeeper原理知识,Paxos协议、zab、角色功能、API开发基础

本文主要是介绍ZooKeeper实战(二):ZooKeeper原理知识,Paxos协议、zab、角色功能、API开发基础,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

上节回顾

ZooKeeper是提供分布式“协调”的,而不是提供分布式服务的。

  • 在以往的分布式系统中,最典型的集群模式是 master/slave 模式(主备模式),我们把所有能够处理写操作的机器成为Master机器,把所有通过异步复制方式获取最新数据,并提供度服务的机器称为Slave机器
  • 而在 ZooKeeper中,这些概念被颠覆了。它没有引入 master/slave 的概念 ,而是引入了 leader、follower、observer三种角色。
  • leader服务器为客户端提供读和写服务
  • follower、observer 都能提供读服务,区别在于 observer 不参与 leader 的选举过程,也不参与写操作的“过半写成功”策略。
  • 因此,observer 可以在不影响写性能的情况下,提升集群的读性能。

在这里插入图片描述

在最终一致性过程中,ZooKeeper各节点是否对外提供服务?
根据 ZAB 协议,各个节点的数据达成一致后,zookeeper集群才恢复正常服务。

Zookeeper全解析——Paxos作为灵魂

摘自:https://www.douban.com/note/208430424/

原计划在介绍完ZK Client之后就着手ZK Server的介绍,但是发现ZK Server所包含的内容实在太多,并不是简简单单一篇Blog就能搞定的。于是决定从基础搞起比较好。

那么ZK Server最基础的东西是什么呢?我想应该是Paxos了。所以本文会介绍Paxos以及它在ZK Server中对应的实现。

先说Paxos,它是一个基于消息传递的一致性算法,Leslie Lamport在1990年提出,近几年被广泛应用于分布式计算中,Google的Chubby,Apache的Zookeeper都是基于它的理论来实现的,Paxos还被认为是到目前为止唯一的分布式一致性算法,其它的算法都是Paxos的改进或简化。有个问题要提一下,Paxos有一个前提:没有拜占庭将军问题。就是说Paxos只有在一个可信的计算环境中才能成立,这个环境是不会被入侵所破坏的。

关于Paxos的具体描述可以在Wiki中找到:http://zh.wikipedia.org/zh-cn/Paxos算法。网上关于Paxos分析的文章也很多。这里希望用最简单的方式加以描述并建立起Paxos和ZK Server的对应关系。

Paxos描述了这样一个场景,有一个叫做Paxos的小岛(Island)上面住了一批居民,岛上面所有的事情由一些特殊的人决定,他们叫做议员(Senator)。议员的总数(Senator Count)是确定的,不能更改。岛上每次环境事务的变更都需要通过一个提议(Proposal),每个提议都有一个编号(PID),这个编号是一直增长的,不能倒退。每个提议都需要超过半数((Senator Count)/2 +1)的议员同意才能生效。每个议员只会同意大于当前编号的提议,包括已生效的和未生效的。如果议员收到小于等于当前编号的提议,他会拒绝,并告知对方:你的提议已经有人提过了。这里的当前编号是每个议员在自己记事本上面记录的编号,他不断更新这个编号。整个议会不能保证所有议员记事本上的编号总是相同的。现在议会有一个目标:保证所有的议员对于提议都能达成一致的看法。

好,现在议会开始运作,所有议员一开始记事本上面记录的编号都是0。有一个议员发了一个提议:将电费设定为1元/度。他首先看了一下记事本,嗯,当前提议编号是0,那么我的这个提议的编号就是1,于是他给所有议员发消息:1号提议,设定电费1元/度。其他议员收到消息以后查了一下记事本,哦,当前提议编号是0,这个提议可接受,于是他记录下这个提议并回复:我接受你的1号提议,同时他在记事本上记录:当前提议编号为1。发起提议的议员收到了超过半数的回复,立即给所有人发通知:1号提议生效!收到的议员会修改他的记事本,将1好提议由记录改成正式的法令,当有人问他电费为多少时,他会查看法令并告诉对方:1元/度。

现在看冲突的解决:假设总共有三个议员S1-S3,S1和S2同时发起了一个提议:1号提议,设定电费。S1想设为1元/度, S2想设为2元/度。结果S3先收到了S1的提议,于是他做了和前面同样的操作。紧接着他又收到了S2的提议,结果他一查记事本,咦,这个提议的编号小于等于我的当前编号1,于是他拒绝了这个提议:对不起,这个提议先前提过了。于是S2的提议被拒绝,S1正式发布了提议: 1号提议生效。S2向S1或者S3打听并更新了1号法令的内容,然后他可以选择继续发起2号提议。

好,我觉得Paxos的精华就这么多内容。现在让我们来对号入座,看看在ZK Server里面Paxos是如何得以贯彻实施的。

小岛(Island)——ZK Server Cluster

议员(Senator)——ZK Server

提议(Proposal)——ZNode Change(Create/Delete/SetData…)

提议编号(PID)——Zxid(ZooKeeper Transaction Id)

正式法令——所有ZNode及其数据

貌似关键的概念都能一一对应上,但是等一下,Paxos岛上的议员应该是人人平等的吧,而ZK Server好像有一个Leader的概念。没错,其实Leader的概念也应该属于Paxos范畴的。如果议员人人平等,在某种情况下会由于提议的冲突而产生一个“活锁”(所谓活锁我的理解是大家都没有死,都在动,但是一直解决不了冲突问题)。Paxos的作者Lamport在他的文章”The Part-Time Parliament“中阐述了这个问题并给出了解决方案——在所有议员中设立一个总统,只有总统有权发出提议,如果议员有自己的提议,必须发给总统并由总统来提出。好,我们又多了一个角色:总统。

总统——ZK Server Leader

又一个问题产生了,总统怎么选出来的?oh, my god! It’s a long story. 在淘宝核心系统团队的Blog上面有一篇文章是介绍如何选出总统的,有兴趣的可以去看看:http://rdc.taobao.com/blog/cs/?p=162

现在我们假设总统已经选好了,下面看看ZK Server是怎么实施的。

情况一:
屁民甲(Client)到某个议员(ZK Server)那里询问(Get)某条法令的情况(ZNode的数据),议员毫不犹豫的拿出他的记事本(local storage),查阅法令并告诉他结果,同时声明:我的数据不一定是最新的。你想要最新的数据?没问题,等着,等我找总统Sync一下再告诉你。

情况二:
屁民乙(Client)到某个议员(ZK Server)那里要求政府归还欠他的一万元钱,议员让他在办公室等着,自己将问题反映给了总统,总统询问所有议员的意见,多数议员表示欠屁民的钱一定要还,于是总统发表声明,从国库中拿出一万元还债,国库总资产由100万变成99万。屁民乙拿到钱回去了(Client函数返回)。

情况三:
总统突然挂了,议员接二连三的发现联系不上总统,于是各自发表声明,推选新的总统,总统大选期间政府停业,拒绝屁民的请求。

呵呵,到此为止吧,当然还有很多其他的情况,但这些情况总是能在Paxos的算法中找到原型并加以解决。这也正是我们认为Paxos是Zookeeper的灵魂的原因。当然ZK Server还有很多属于自己特性的东西:Session, Watcher,Version等等等等,需要我们花更多的时间去研究和学习。

ZAB协议:对Paxos的简化

  • 两阶段提交,先写磁盘日志,再写到内存。
  • zk的数据保存在内存
  • zk的日志保存在磁盘
二阶段提交

通常,二阶段提交协议被认为是一种一致性协议,用来保证分布式系统数据的一致性。目前,绝大多数关系型数据库都是采用二阶段提交协议来完成分布式事务处理的。

顾名思义,二阶段提交协议是将事物的提交过程分成了两个阶段来处理。

以下是二阶段提交的过程中前后两个阶段分别进行的处理逻辑。简单的讲,二阶段提交将一个事物的处理过程分为了投票和执行两个阶段,其核心是对每个事物都采用先尝试后提交的处理方式。因此也可以将二阶段提交看做一个强一致性的算法。

阶段一:提交事务请求

阶段一

阶段二:执行事务提交

在这里插入图片描述在这里插入图片描述
事务提交过程的示意图:
在这里插入图片描述

中断事务的情况

在这里插入图片描述
事务中断过程的示意图:
在这里插入图片描述

ZooKeeper 的 ZAB 协议

在这里插入图片描述
在这里插入图片描述

在这里插入图片描述

Watcher 机制

我们假设有两个客户端,它们想要通过ZooKeeper相互知道对方挂没挂。有多种方式。区别在于方向性、时效性。

  • 相互发送心跳,由开发人员自己实现
  • Watcher ,基于ZooKeeper。/foo/bar 节点消失会产生事件event,事件产生之后,会回调之前定义的回调方法。
    后面我们在API中演示。

在 ZooKeeper 中,引入了 Watcher 机制来实现分布式通知的功能。

ZooKeeper 允许客户端向服务端注册一个 Watcher 监听,当服务端的一些指定事件触发了这个Watcher,那么就会向指定客户端发送一个事件通知,来实现分布式通知功能。

在这里插入图片描述

Java API 实战

可以把 zookeeper 安装目录里的 conf 目录下的 log4j.properties 文件放进 项目根目录的 resources 目录下,方便观察日志

在这里插入图片描述

1、new一个maven项目,选择quickstart

在这里插入图片描述

2、去maven仓库找到和你安装版本对应的zookeeper的依赖,放进pom.xml,刷一下import依赖
<!-- https://mvnrepository.com/artifact/org.apache.zookeeper/zookeeper -->
<dependency><groupId>org.apache.zookeeper</groupId><artifactId>zookeeper</artifactId><version>3.6.1</version>
</dependency>
3、示例代码
package org.example;import org.apache.zookeeper.*;
import org.apache.zookeeper.data.Stat;import java.io.IOException;
import java.util.concurrent.CountDownLatch;public class App {public static void main(String[] args) throws IOException, InterruptedException, KeeperException {// zk 是有 session 概念的,没有连接池的概念。// 每一个连接,使用的是一个独立的 session。// watch:观察,回调。watch 的注册只发生在读类型调用,如 get,exists方法等。// Watcher分为两类:// 第一类:new 的时候传入的 Watcher,是session级别的,与path,node没有关系// 第二类:在调用 getData 的时候传入 WatcherCountDownLatch countDownLatch = new CountDownLatch(1);// 设置临时节点,断开后数据保留3000msZooKeeper zk = new ZooKeeper("10.0.0.131:2181,10.0.0.132:2181,10.0.0.133:2181,10.0.0.134:2181", 3000, new Watcher() {@Overridepublic void process(WatchedEvent watchedEvent) {//回调方法Event.KeeperState state = watchedEvent.getState();Event.EventType type = watchedEvent.getType();String path = watchedEvent.getPath();System.out.println(watchedEvent.toString());switch (state) {//alt+enter自动生成 switch内容case Unknown:break;case Disconnected:break;case NoSyncConnected:break;case SyncConnected:System.out.println("success connected!!");countDownLatch.countDown();break;case AuthFailed:break;case ConnectedReadOnly:break;case SaslAuthenticated:break;case Expired:break;case Closed:break;}switch (type) {case None:break;case NodeCreated:break;case NodeDeleted:break;case NodeDataChanged:break;case NodeChildrenChanged:break;case DataWatchRemoved:break;case ChildWatchRemoved:break;case PersistentWatchRemoved:break;}}});countDownLatch.await();ZooKeeper.States state = zk.getState();switch (state) {case CONNECTING:System.out.println("CONNECTING");// new对象之后,还没有真正准备好,是异步进行连接的。需要添加countDownLatch。break;case ASSOCIATING:break;case CONNECTED:System.out.println("CONNECTED");break;case CONNECTEDREADONLY:break;case CLOSED:break;case AUTH_FAILED:break;case NOT_CONNECTED:break;}// 增删改查// 1、创建目录String pathName = zk.create("/foo", "old data".getBytes(), ZooDefs.Ids.OPEN_ACL_UNSAFE, CreateMode.EPHEMERAL);// 2、取节点数据Stat stat = new Stat();byte[] data = zk.getData("/foo", new Watcher() {@Overridepublic void process(WatchedEvent watchedEvent) {System.out.println("[In getData, watchedEvent is ]" + watchedEvent.toString());//这个回调是一次性的try {zk.getData("/foo", this, stat);//继续把watch放进来,后面还能回调。如果将这里的this改为true的话,使用的是默认watch,也就是new对象时的watch} catch (Exception e) {e.printStackTrace();}}}, stat);System.out.println("The old data is: " + new String(data));// 3、修改数据Stat stat1 = zk.setData("/foo", "new data1".getBytes(), 0);Stat stat2 = zk.setData("/foo", "new data2".getBytes(), stat1.getVersion());// 异步回调方法,这里不会在等待数据的时候阻塞System.out.println("----- 异步回调方法-之前 -----");zk.getData("/foo", false, new AsyncCallback.DataCallback() {@Overridepublic void processResult(int i, String s, Object o, byte[] bytes, Stat stat) {System.out.println("执行异步回调,取到数据:" + new String(bytes));System.out.println(o.toString());}}, "abc");System.out.println("----- 异步回调方法-之后-----");Thread.sleep(1000000);}
}
4、输出
WatchedEvent state:SyncConnected type:None path:null
success connected!!
CONNECTED
The old data is: olddata
[In getData, watchedEvent is ]WatchedEvent state:SyncConnected type:NodeDataChanged path:/foo
[In getData, watchedEvent is ]WatchedEvent state:SyncConnected type:NodeDataChanged path:/foo
----- 异步回调方法-之前 -----
----- 异步回调方法-之后-----
执行异步回调,取到数据:new data2
abc

这篇关于ZooKeeper实战(二):ZooKeeper原理知识,Paxos协议、zab、角色功能、API开发基础的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

基于 Cursor 开发 Spring Boot 项目详细攻略

《基于Cursor开发SpringBoot项目详细攻略》Cursor是集成GPT4、Claude3.5等LLM的VSCode类AI编程工具,支持SpringBoot项目开发全流程,涵盖环境配... 目录cursor是什么?基于 Cursor 开发 Spring Boot 项目完整指南1. 环境准备2. 创建

Python使用FastAPI实现大文件分片上传与断点续传功能

《Python使用FastAPI实现大文件分片上传与断点续传功能》大文件直传常遇到超时、网络抖动失败、失败后只能重传的问题,分片上传+断点续传可以把大文件拆成若干小块逐个上传,并在中断后从已完成分片继... 目录一、接口设计二、服务端实现(FastAPI)2.1 运行环境2.2 目录结构建议2.3 serv

MyBatis分页查询实战案例完整流程

《MyBatis分页查询实战案例完整流程》MyBatis是一个强大的Java持久层框架,支持自定义SQL和高级映射,本案例以员工工资信息管理为例,详细讲解如何在IDEA中使用MyBatis结合Page... 目录1. MyBATis框架简介2. 分页查询原理与应用场景2.1 分页查询的基本原理2.1.1 分

使用Python批量将.ncm格式的音频文件转换为.mp3格式的实战详解

《使用Python批量将.ncm格式的音频文件转换为.mp3格式的实战详解》本文详细介绍了如何使用Python通过ncmdump工具批量将.ncm音频转换为.mp3的步骤,包括安装、配置ffmpeg环... 目录1. 前言2. 安装 ncmdump3. 实现 .ncm 转 .mp34. 执行过程5. 执行结

PHP应用中处理限流和API节流的最佳实践

《PHP应用中处理限流和API节流的最佳实践》限流和API节流对于确保Web应用程序的可靠性、安全性和可扩展性至关重要,本文将详细介绍PHP应用中处理限流和API节流的最佳实践,下面就来和小编一起学习... 目录限流的重要性在 php 中实施限流的最佳实践使用集中式存储进行状态管理(如 Redis)采用滑动

SpringBoot 多环境开发实战(从配置、管理与控制)

《SpringBoot多环境开发实战(从配置、管理与控制)》本文详解SpringBoot多环境配置,涵盖单文件YAML、多文件模式、MavenProfile分组及激活策略,通过优先级控制灵活切换环境... 目录一、多环境开发基础(单文件 YAML 版)(一)配置原理与优势(二)实操示例二、多环境开发多文件版

使用docker搭建嵌入式Linux开发环境

《使用docker搭建嵌入式Linux开发环境》本文主要介绍了使用docker搭建嵌入式Linux开发环境,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面... 目录1、前言2、安装docker3、编写容器管理脚本4、创建容器1、前言在日常开发全志、rk等不同

ShardingProxy读写分离之原理、配置与实践过程

《ShardingProxy读写分离之原理、配置与实践过程》ShardingProxy是ApacheShardingSphere的数据库中间件,通过三层架构实现读写分离,解决高并发场景下数据库性能瓶... 目录一、ShardingProxy技术定位与读写分离核心价值1.1 技术定位1.2 读写分离核心价值二

深度解析Python中递归下降解析器的原理与实现

《深度解析Python中递归下降解析器的原理与实现》在编译器设计、配置文件处理和数据转换领域,递归下降解析器是最常用且最直观的解析技术,本文将详细介绍递归下降解析器的原理与实现,感兴趣的小伙伴可以跟随... 目录引言:解析器的核心价值一、递归下降解析器基础1.1 核心概念解析1.2 基本架构二、简单算术表达

Three.js构建一个 3D 商品展示空间完整实战项目

《Three.js构建一个3D商品展示空间完整实战项目》Three.js是一个强大的JavaScript库,专用于在Web浏览器中创建3D图形,:本文主要介绍Three.js构建一个3D商品展... 目录引言项目核心技术1. 项目架构与资源组织2. 多模型切换、交互热点绑定3. 移动端适配与帧率优化4. 可