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

相关文章

Android实现两台手机屏幕共享和远程控制功能

《Android实现两台手机屏幕共享和远程控制功能》在远程协助、在线教学、技术支持等多种场景下,实时获得另一部移动设备的屏幕画面,并对其进行操作,具有极高的应用价值,本项目旨在实现两台Android手... 目录一、项目概述二、相关知识2.1 MediaProjection API2.2 Socket 网络

Redis消息队列实现异步秒杀功能

《Redis消息队列实现异步秒杀功能》在高并发场景下,为了提高秒杀业务的性能,可将部分工作交给Redis处理,并通过异步方式执行,Redis提供了多种数据结构来实现消息队列,总结三种,本文详细介绍Re... 目录1 Redis消息队列1.1 List 结构1.2 Pub/Sub 模式1.3 Stream 结

MySQL索引的优化之LIKE模糊查询功能实现

《MySQL索引的优化之LIKE模糊查询功能实现》:本文主要介绍MySQL索引的优化之LIKE模糊查询功能实现,本文通过示例代码给大家介绍的非常详细,感兴趣的朋友一起看看吧... 目录一、前缀匹配优化二、后缀匹配优化三、中间匹配优化四、覆盖索引优化五、减少查询范围六、避免通配符开头七、使用外部搜索引擎八、分

Android实现悬浮按钮功能

《Android实现悬浮按钮功能》在很多场景中,我们希望在应用或系统任意界面上都能看到一个小的“悬浮按钮”(FloatingButton),用来快速启动工具、展示未读信息或快捷操作,所以本文给大家介绍... 目录一、项目概述二、相关技术知识三、实现思路四、整合代码4.1 Java 代码(MainActivi

Android Mainline基础简介

《AndroidMainline基础简介》AndroidMainline是通过模块化更新Android核心组件的框架,可能提高安全性,本文给大家介绍AndroidMainline基础简介,感兴趣的朋... 目录关键要点什么是 android Mainline?Android Mainline 的工作原理关键

Python列表去重的4种核心方法与实战指南详解

《Python列表去重的4种核心方法与实战指南详解》在Python开发中,处理列表数据时经常需要去除重复元素,本文将详细介绍4种最实用的列表去重方法,有需要的小伙伴可以根据自己的需要进行选择... 目录方法1:集合(set)去重法(最快速)方法2:顺序遍历法(保持顺序)方法3:副本删除法(原地修改)方法4:

Spring Boot循环依赖原理、解决方案与最佳实践(全解析)

《SpringBoot循环依赖原理、解决方案与最佳实践(全解析)》循环依赖指两个或多个Bean相互直接或间接引用,形成闭环依赖关系,:本文主要介绍SpringBoot循环依赖原理、解决方案与最... 目录一、循环依赖的本质与危害1.1 什么是循环依赖?1.2 核心危害二、Spring的三级缓存机制2.1 三

C#中async await异步关键字用法和异步的底层原理全解析

《C#中asyncawait异步关键字用法和异步的底层原理全解析》:本文主要介绍C#中asyncawait异步关键字用法和异步的底层原理全解析,本文给大家介绍的非常详细,对大家的学习或工作具有一... 目录C#异步编程一、异步编程基础二、异步方法的工作原理三、代码示例四、编译后的底层实现五、总结C#异步编程

在Spring Boot中浅尝内存泄漏的实战记录

《在SpringBoot中浅尝内存泄漏的实战记录》本文给大家分享在SpringBoot中浅尝内存泄漏的实战记录,结合实例代码给大家介绍的非常详细,感兴趣的朋友一起看看吧... 目录使用静态集合持有对象引用,阻止GC回收关键点:可执行代码:验证:1,运行程序(启动时添加JVM参数限制堆大小):2,访问 htt

SpringBoot集成Milvus实现数据增删改查功能

《SpringBoot集成Milvus实现数据增删改查功能》milvus支持的语言比较多,支持python,Java,Go,node等开发语言,本文主要介绍如何使用Java语言,采用springboo... 目录1、Milvus基本概念2、添加maven依赖3、配置yml文件4、创建MilvusClient