ZooKeeper是⼀个典型的发布/订阅模式的分布式数据管理与协调框架,我们可以使用它来进行分布式数据的发布与订阅。另⼀方面,通过对ZooKeeper中丰富的数据节点类型进行交叉使用,配合Watcher 事件通知机制,可以非常方便地构建⼀系列分布式应用中都会涉及的核心功能,如数据发布/订阅、命名服务、集群管理、Master选举、分布式锁和分布式队列等。那接下来就针对这些典型的分布式应用场景来做下介绍。
1. 数据发布/订阅
数据发布/订阅(Publish/Subscribe)系统,即所谓的配置中心,顾名思义就是发布者将数据发布到 ZooKeeper的⼀个或⼀系列节点上,供订阅者进行数据订阅,进而达到动态获取数据的⽬的,实现配置信息的集中式管理和数据的动态更新。
发布/订阅系统⼀般有两种设计模式,分别是推(Push)模式和拉(Pull)模式。在推模式中,服务端 主动将数据更新发送给所有订阅的客户端;而拉模式则是由客户端主动发起请求来获取最新数据,通常 客户端都采用定时进行轮询拉取的方式。
如果将配置信息存放到ZooKeeper上进行集中管理,那么通常情况下,应用在启动的时候都会主动到 ZooKeeper服务端上进行⼀次配置信息的获取,同时,在指定节点上注册⼀个Watcher监听,这样⼀来,但凡配置信息发⽣变更,服务端都会实时通知到所有订阅的客户端,从而达到实时获取最新配置信 息的⽬的。
下面我们通过⼀个“配置管理”的实际案例来展示ZooKeeper在“数据发布/订阅”场景下的使用方式。
在我们平常的应用系统开发中,经常会碰到这样的需求:系统中需要使用⼀些通用的配置信息,例如机 器列表信息、运行时的开关配置、数据库配置信息等。这些全局配置信息通常具备以下3个特性。
- 数据量通常比较小。
- 数据内容在运行时会发⽣动态变化。
- 集群中各机器共享,配置⼀致。
对于这类配置信息,⼀般的做法通常可以选择将其存储在本地配置⽂件或是内存变量中。无论采用哪种方式,其实都可以简单地实现配置管理,在集群机器规模不大、配置变更不是特别频繁的情况下,无论刚刚提到的哪种方式,都能够非常方便地解决配置管理的问题。但是,⼀旦机器规模变大,且配置信息 变更越来越频繁后,我们发现依靠现有的这两种方式解决配置管理就变得越来越困难了。我们既希望能够快速地做到全局配置信息的变更,同时希望变更成本足够小,因此我们必须寻求⼀种更为分布式化的 解决方案接下来我们就以⼀个“数据库切换”的应用场景展开,看看如何使用ZooKeeper来实现配置管理:
- 配置存储
在进行配置管理之前,⾸先我们需要将初始化配置信息存储到Zookeeper上去,⼀般情况下,我们可以在Zookeeper上选取⼀个数据节点用于配置信息的存储,例如:
/app1/database_config
配置管理的zookeeper节点示意图 我们将需要管理的配置信息写入到该数据节点中去,例如:
#数据库配置信息
#DBCP
dbcp.driverClassName=com.mysql.jdbc.Driver
dbcp.dbJDBCUrl=jdbc:mysql://127.0.0.1:3306/lagou-test
dbcp.username=zm
dbcp.password=1234
dbcp.maxActive=30
dbcp.maxIdle=10
配置获取
集群中每台机器在启动初始化阶段,⾸先会从上面提到的ZooKeeper配置节点上读取数据库信息,同时,客户端还需要在该配置节点上注册⼀个数据变更的 Watcher监听,⼀旦发⽣节点数据变更,所有订阅的客户端都能够获取到数据变更通知。
配置变更
在系统运行过程中,可能会出现需要进行数据库切换的情况,这个时候就需要进行配置变更。借助 ZooKeeper,我们只需要对ZooKeeper上配置节点的内容进行更新,ZooKeeper就能够帮我们将数据变更的通知发送到各个客户端,每个客户端在接收到这个变更通知后,就可以重新进行最新数据的获取。
2. 命名服务
命名服务(Name Service)也是分布式系统中比较常见的⼀类场景,是分布式系统最基本的公共服务之 ⼀。在分布式系统中,被命名的实体通常可以是集群中的机器、提供的服务地址或远程对象等——这些我们都可以统称它们为名字(Name),其中较为常见的就是⼀些分布式服务框架(如RPC、RMI)中的服务地址列表,通过使用命名服务,客户端应用能够根据指定名字来获取资源的实体、服务地址和提供者的信息等。
ZooKeeper 提供的命名服务功能能够帮助应用系统通过⼀个资源引用的方式来实现对资源的定位与使用。另外,广义上命名服务的资源定位都不是真正意义的实体资源——在分布式环境中,上层应用仅仅需要⼀个全局唯⼀的名字,类似于数据库中的唯⼀主键。
所以接下来。我们来看看如何使用ZooKeeper来实现⼀套分布式全局唯⼀ID的分配机制
所谓ID,就是⼀个能够唯⼀标识某个对象的标识符。在我们熟悉的关系型数据库中,各个表都需要⼀个主键来唯⼀标识每条数据库记录,这个主键就是这样的唯⼀ID。在过去的单库单表型系统中,通常可以使用数据库字段自带的auto_increment属性来自动为每条数据库记录⽣成⼀个唯⼀的ID,数据库会保证⽣成的这个ID在全局唯⼀。但是随着数据库数据规模的不断增大,分库分表随之出现,而 auto_increment属性仅能针对单⼀表中的记录自动⽣成ID,因此在这种情况下,就无法再依靠数据库的 auto_increment属性来唯⼀标识⼀条记录了。于是,我们必须寻求⼀种能够在分布式环境下⽣成全局唯⼀ID的方法。
⼀说起全局唯⼀ ID,相信大家都会联想到 UUID。没错,UUID 是通用唯⼀识别码(Universally Unique Identifier)的简称,是⼀种在分布式系统中广泛使用的用于唯⼀标识元素的标准 确实,UUID 是⼀个非常不错的全局唯⼀ID⽣成方式,能够非常简便地保证分布式环境中的唯⼀性。⼀个标准的 UUID 是⼀个包含 32 位字符和 4 个短线的字符串,例如
e70f1357-f260-46ff-a32d-53a086c57ade
。 UUID的优势自然不必多说,我们重点来看看它的缺陷。
长度过长
UUID 最大的问题就在于⽣成的字符串过长。显然,和数据库中的 INT 类型相比,存储⼀个UUID需要花 费更多的空间。
含义不明
上面我们已经看到⼀个典型的 UUID 是类似于“e70f1357-f260-46ff-a32d-53a086c57ade”的⼀个字符 串。根据这个字符串,开发人员从字面上基本看不出任何其表达的含义,这将会大大影响问题排查和开 发调试的效率。
所以接下来,我们结合⼀个分布式任务调度系统来看看如何使用ZooKeepe来实现这类全局唯⼀ID的⽣ 成。 之前我们已经提到,通过调用ZooKeeper节点创建的API接⼝可以创建⼀个顺序节点,并且在API返 回值中会返回这个节点的完整名字。利用这个特性,我们就可以借助ZooKeeper来⽣成全局唯⼀的ID了,如下图:
全局唯⼀ID⽣成的ZooKeeper节点示意图
说明,对于⼀个任务列表的主键,使用ZooKeeper⽣成唯⼀ID的基本步骤:
- 所有客户端都会根据自己的任务类型,在指定类型的任务下面通过调用create()接⼝来创建⼀个顺序节点,例如创建“job-”节点。
- 节点创建完毕后,create()接⼝会返回⼀个完整的节点名,例如“job-0000000003”。
- 客户端拿到这个返回值后,拼接上 type 类型,例如“type2-job-0000000003”,这就可以作为⼀个 全局唯⼀的ID了。
在ZooKeeper中,每⼀个数据节点都能够维护⼀份子节点的顺序顺列,当客户端对其创建⼀个顺序子节 点的时候 ZooKeeper 会自动以后缀的形式在其子节点上添加⼀个序号,在这个场景中就是利用了 ZooKeeper的这个特性
3. 集群管理
随着分布式系统规模的日益扩大,集群中的机器规模也随之变大,那如何更好地进行集群管理也显得越来越重要了。所谓集群管理,包括集群监控与集群控制两大块,前者侧重对集群运行时状态的收集,后者则是对集群进行操作与控制。
在日常开发和运维过程中,我们经常会有类似于如下的需求:
- 如何快速的统计出当前⽣产环境下⼀共有多少台机器
- 如何快速的获取到机器上下线的情况
- 如何实时监控集群中每台主机的运行时状态
在传统的基于Agent的分布式集群管理体系中,都是通过在集群中的每台机器上部署⼀个Agent,由这 个 Agent 负责主动向指定的⼀个监控中心系统(监控中心系统负责将所有数据进行集中处理,形成⼀系列报表,并负责实时报警,以下简称“监控中心”)汇报自己所在机器的状态。在集群规模适中的场景 下,这确实是⼀种在⽣产实践中广泛使用的解决方案,能够快速有效地实现分布式环境集群监控,但是⼀旦系统的业务场景增多,集群规模变大之后,该解决方案的弊端也就显现出来了。
大规模升级困难
以客户端形式存在的 Agent,在大规模使用后,⼀旦遇上需要大规模升级的情况,就非常麻烦,在升级成本和升级进度的控制上面临巨大的挑战。
统⼀的Agent无法满足多样的需求
对于机器的CPU使用率、负载(Load)、内存使用率、网络吞吐以及磁盘容量等机器基本的物理状态, 使用统⼀的Agent来进行监控或许都可以满足。但是,如果需要深入应用内部,对⼀些业务状态进行监控,例如,在⼀个分布式消息中间件中,希望监控到每个消费者对消息的消费状态;或者在⼀个分布式任务调度系统中,需要对每个机器上任务的执行情况进行监控。很显然,对于这些业务耦合紧密的监控需求,不适合由⼀个统⼀的Agent来提供。
编程语⾔多样性
随着越来越多编程语⾔的出现,各种异构系统层出不穷。如果使用传统的Agent方式,那么需要提供各种语⾔的 Agent 客户端。另⼀方面,“监控中心”在对异构系统的数据进行整合上面临巨大挑战。
Zookeeper的两大特性:
- 客户端如果对Zookeeper的数据节点注册Watcher监听,那么当该数据节点的内容或是其子节点列表发⽣变更时,Zookeeper服务器就会向订阅的客户端发送变更通知。
- 对在Zookeeper上创建的临时节点,⼀旦客户端与服务器之间的会话失效,那么临时节点也会被自动删除利用其两大特性,可以实现集群机器存活监控系统,若监控系统在/clusterServers节点上注册⼀个 Watcher监听,那么但凡进行动态添加机器的操作,就会在/clusterServers节点下创建⼀个临时节 点:/clusterServers/[Hostname],这样,监控系统就能够实时监测机器的变动情况。 下面通过分布式日志收集系统这个典型应用来学习Zookeeper如何实现集群管理。
分布式日志收集系统
分布式日志收集系统的核心工作就是收集分布在不同机器上的系统日志,在这⾥我们重点来看分布式日志系统(以下简称“日志系统”)的收集器模块。 在⼀个典型的日志系统的架构设计中,整个日志系统会把所有需要收集的日志机器(我们以“日志源机 器”代表此类机器)分为多个组别,每个组别对应⼀个收集器,这个收集器其实就是⼀个后台机器(我们 以“收集器机器”代表此类机器),用于收集日志对于大规模的分布式日志收集系统场景,通常需要解决两个问题:
- 变化的日志源机器在⽣产环境中,伴随着机器的变动,每个应用的机器⼏乎每天都是在变化的(机器硬件问题、扩容、机房 迁移或是网络问题等都会导致⼀个应用的机器变化),也就是说每个组别中的日志源机器通常是在不断变化的
- 变化的收集器机器日志收集系统自身也会有机器的变更或扩容,于是会出现新的收集器机器加入或是⽼的收集器机器退出的情况。
无论是日志源机器还是收集器机器的变更,最终都可以归结为如何快速、合理、动态地为每个收集器分配对应的日志源机器。这也成为了整个日志系统正确稳定运转的前提,也是日志收集过程中最大的技术挑战之⼀,在这种情况下,我们就可以引入zookeeper了,下面我们就来看ZooKeeper在这个场景中的使用。
使用Zookeeper的场景步骤如下
- 注册收集器机器
使用ZooKeeper来进行日志系统收集器的注册,典型做法是在ZooKeeper上创建⼀个节点作为收集器的根节点,例如/logs/collector(下⽂我们以“收集器节点”代表该数据节点),每个收集器机器在启动的时候,都会在收集器节点下创建自己的节点,例如/logs/collector/[Hostname]
- 任务分发待所有收集器机器都创建好自己对应的节点后,系统根据收集器节点下子节点的个数,将所有日志源机器分成对应的若干组,然后将分组后的机器列表分别写到这些收集器机器创建的子节点(例 如/logs/collector/host1)上去。这样⼀来,每个收集器机器都能够从自己对应的收集器节点上获取日志源机器列表,进而开始进行日志收集工作。
- 状态汇报完成收集器机器的注册以及任务分发后,我们还要考虑到这些机器随时都有挂掉的可能。因此,针对这个问题,我们需要有⼀个收集器的状态汇报机制:每个收集器机器在创建完自己的专属节点后,还需要在对应的子节点上创建⼀个状态子节点,例如/logs/collector/host1/status,每个收集器机器都需要定期向该节点写入自己的状态信息。我们可以把这种策略看作是⼀种心跳检测机制,通常收集器机器都会在这个节点中写入日志收集进度信息。日志系统根据该状态子节点的最后更新时间来判断对应的收集器机器是否存活。
- 动态分配如果收集器机器挂掉或是扩容了,就需要动态地进行收集任务的分配。在运行过程中,日志系统始终关注着/logs/collector这个节点下所有子节点的变更,⼀旦检测到有收集器机器停⽌汇报或是有新的收集器机器加入,就要开始进行任务的重新分配。无论是针对收集器机器停⽌汇报还是新机器加入的情况, 日志系统都需要将之前分配给该收集器的所有任务进行转移。为了解决这个问题,通常有两种做法:- 全局动态分配这是⼀种简单粗暴的做法,在出现收集器机器挂掉或是新机器加入的时候,日志系统需要根据新的收集器机器列表,立即对所有的日志源机器重新进行⼀次分组,然后将其分配给剩下的收集器机器。- 局部动态分配全局动态分配方式虽然策略简单,但是存在⼀个问题:⼀个或部分收集器机器的变更,就会导致全局动态任务的分配,影响面比较大,因此⻛险也就比较大。所谓局部动态分配,顾名思义就是在小范围内进 行任务的动态分配。在这种策略中,每个收集器机器在汇报自己日志收集状态的同时,也会把自己的负载汇报上去。请注意,这⾥提到的负载并不仅仅只是简单地指机器CPU负载(Load),而是⼀个对当前收集器任务执行的综合评估,这个评估算法和ZooKeeper本身并没有太大的关系,这⾥不再赘述。 在这种策略中,如果⼀个收集器机器挂了,那么日志系统就会把之前分配给这个机器的任务重新分配到 那些负载较低的机器上去。同样,如果有新的收集器机器加入,会从那些负载⾼的机器上转移部分任务 给这个新加入的机器。上述步骤已经完整的说明了整个日志收集系统的⼯作流程,其中有两点注意事项:① 节点类型在/logs/collector节点下创建临时节点可以很好的判断机器是否存活,但是,若机器挂了,其节点会被 删除,记录在节点上的日志源机器列表也被清除,所以需要选择持久节点来标识每⼀台机器,同时在节 点下分别创建/logs/collector/[Hostname]/status节点来表征每⼀个收集器机器的状态,这样,既能实 现对所有机器的监控,同时机器挂掉后,依然能够将分配任务还原。② 日志系统节点监听若采用Watcher机制,那么通知的消息量的网络开销非常大,需要采用日志系统主动轮询收集器节点的 策略,这样可以节省网络流量,但是存在⼀定的延时。
4. Master选举
Master选举是⼀个在分布式系统中非常常见的应用场景。分布式最核心的特性就是能够将具有独立计算能力的系统单元部署在不同的机器上,构成⼀个完整的分布式系统。而与此同时,实际场景中往往也需要在这些分布在不同机器上的独立系统单元中选出⼀个所谓的“⽼大”,在计算机中,我们称之为 Master。
在分布式系统中,Master往往用来协调集群中其他系统单元,具有对分布式系统状态变更的决定权。例如,在⼀些读写分离的应用场景中,客户端的写请求往往是由 Master来处理的;而在另⼀些场景中, Master则常常负责处理⼀些复杂的逻辑,并将处理结果同步给集群中其他系统单元。Master选举可以说是ZooKeeper最典型的应用场景了,接下来,我们就结合“⼀种海量数据处理与共享模型”这个具体例子来看看 ZooKeeper在集群Master选举中的应用场景。
在分布式环境中,经常会碰到这样的应用场景:集群中的所有系统单元需要对前端业务提供数据,比如 ⼀个商品 ID,或者是⼀个网站轮播广告的广告 ID(通常出现在⼀些广告投放系统中)等,而这些商品 ID或是广告ID往往需要从⼀系列的海量数据处理中计算得到——这通常是⼀个非常耗费 I/O 和 CPU资源 的过程。鉴于该计算过程的复杂性,如果让集群中的所有机器都执行这个计算逻辑的话,那么将耗费非常多的资源。⼀种比较好的方法就是只让集群中的部分,甚⾄只让其中的⼀台机器去处理数据计算,⼀ 旦计算出数据结果,就可以共享给整个集群中的其他所有客户端机器,这样可以大大减少重复劳动,提 升性能。 这⾥我们以⼀个简单的广告投放系统后台场景为例来讲解这个模型。
整个系统大体上可以分成客户端集群、分布式缓存系统、海量数据处理总线和 ZooKeeper四个部分
⾸先我们来看整个系统的运行机制。图中的Client集群每天定时会通过ZooKeeper来实现Master选举。 选举产⽣Master客户端之后,这个Master就会负责进行⼀系列的海量数据处理,最终计算得到⼀个数据结果,并将其放置在⼀个内存/数据库中。同时,Master还需要通知集群中其他所有的客户端从这个内存/数据库中共享计算结果。
接下去,我们将重点来看 Master 选举的过程,⾸先来明确下 Master 选举的需求:在集群的所有机器中选举出⼀台机器作为Master。针对这个需求,通常情况下,我们可以选择常见的关系型数据库中的主键特性来实现:集群中的所有机器都向数据库中插入⼀条相同主键 ID 的记录,数据库会帮助我们⾃动 进行主键冲突检查,也就是说,所有进行插入操作的客户端机器中,只有⼀台机器能够成功——那么, 我们就认为向数据库中成功插入数据的客户端机器成为Master。 借助数据库的这种方案确实可行,依靠关系型数据库的主键特性能够很好地保证在集群中选举出唯⼀的 ⼀个Master。但是我们需要考虑的另⼀个问题是,如果当前选举出的Master挂了,那么该如何处理? 谁来告诉我Master挂了呢?显然,关系型数据库没法通知我们这个事件。那么,如果使用ZooKeeper是否可以做到这⼀点呢? 那在之前,我们介绍了ZooKeeper创建节点的API接⼝,其中⼀个重要特性便 是:利用ZooKeeper的强⼀致性,能够很好保证在分布式⾼并发情况下节点的创建⼀定能够保证全局唯⼀性,即ZooKeeper将会保证客户端无法重复创建⼀个已经存在的数据节点。也就是说,如果同时有多个客户端请求创建同⼀个节点,那么最终⼀定只有⼀个客户端请求能够创建成功。利用这个特性,就能很容易地在分布式环境中进行Master选举了。
在这个系统中,⾸先会在 ZooKeeper 上创建⼀个日期节点,例如“2020-11-11
客户端集群每天都会定时往ZooKeeper 上创建⼀个临时节点,例如/master_election/2020-11- 11/binding。在这个过程中,只有⼀个客户端能够成功创建这个节点,那么这个客户端所在的机器就成为了Master。同时,其他没有在ZooKeeper上成功创建节点的客户端,都会在节 点/master_election/2020-11-11 上注册⼀个子节点变更的 Watcher,用于监控当前的 Master 机器是否存活,⼀旦发现当前的 Master 挂了,那么其余的客户端将会重新进行Master选举。 从上面的讲解中,我们可以看到,如果仅仅只是想实现Master选举的话,那么其实只需要有⼀个能够保证数据唯⼀性的组件即可,例如关系型数据库的主键模型就是非常不错的选择。但是,如果希望能够快速地进行集群 Master 动态选举,那么就可以基于 ZooKeeper来实现。
5.分布式锁
分布式锁是控制分布式系统之间同步访问共享资源的⼀种方式。如果不同的系统或是同⼀个系统的不同主机之间共享了⼀个或⼀组资源,那么访问这些资源的时候,往往需要通过⼀些互斥⼿段来防⽌彼此之间的干扰,以保证⼀致性,在这种情况下,就需要使用分布式锁了。 在平时的实际项⽬开发中,我们往往很少会去在意分布式锁,而是依赖于关系型数据库固有的排他性来实现不同进程之间的互斥。这确实是⼀种非常简便且被⼴泛使用的分布式锁实现方式。然而有⼀个不争 的事实是,⽬前绝大多数大型分布式系统的性能瓶颈都集中在数据库操作上。因此,如果上层业务再给数据库添加⼀些额外的锁,例如行锁、表锁甚⾄是繁重的事务处理,那么就会让数据库更加不堪重负 下面我们来看看使用ZooKeeper如何实现分布式锁,这⾥主要讲解排他锁和共享锁两类分布式锁。
5.1 排他锁
排他锁(Exclusive Locks,简称 X 锁),⼜称为写锁或独占锁,是⼀种基本的锁类型。如果事务 T1对数据对象 O1加上了排他锁,那么在整个加锁期间,只允许事务 T1对 O1进行读取和更新操作,其他任何事务都不能再对这个数据对象进行任何类型的操作——直到T1释放了排他锁
从上面讲解的排他锁的基本概念中,我们可以看到,排他锁的核心是如何保证当前有且仅有⼀个事务获得锁,并且锁被释放后,所有正在等待获取锁的事务都能够被通知到。 下面我们就来看看如何借助ZooKeeper实现排他锁:
5.1.1 定义锁
在通常的Java开发编程中,有两种常⻅的⽅式可以用来定义锁,分别是synchronized机制和JDK5提供的 ReentrantLock。然而,在ZooKeeper中,没有类似于这样的API可以直接使用,而是通过 ZooKeeper 上的数据节点来表示⼀个锁,例如/exclusive_lock/lock节点就可以被定义为⼀个锁,如图:
5.1.2 获取锁
在需要获取排他锁时,所有的客户端都会试图通过调用 create()接⼝,在/exclusive_lock节点下创建临时子节点/exclusive_lock/lock。在前面,我们也介绍了,ZooKeeper 会保证在所有的客户端中,最终只有⼀个客户端能够创建成功,那么就可以认为该客户端获取了锁。同时,所有没有获取到锁的客户端就需要到/exclusive_lock 节点上注册⼀个子节点变更的Watcher监听,以便实时监听到lock节点的变更情况
5.1.3 释放锁
在“定义锁”部分,我们已经提到,/exclusive_lock/lock 是⼀个临时节点,因此在以下两种情况下,都有可能释放锁。 · 当前获取锁的客户端机器发⽣宕机,那么ZooKeeper上的这个临时节点就会被移除。正常执行完业务逻辑后,客户端就会主动将自己创建的临时节点删除。无论在什么情况下移除了lock节 点,ZooKeeper都会通知所有在/exclusive_lock节点上注册了子节点变更Watcher监听的客户端。这些 客户端在接收到通知后,再次重新发起分布式锁获取,即重复“获取锁”过程。整个排他锁的获取和释放 流程,如下图:
5.2 共享锁
共享锁(Shared Locks,简称S锁),⼜称为读锁,同样是⼀种基本的锁类型。
如果事务T1对数据对象O1加上了共享锁,那么当前事务只能对O1进行读取操作,其他事务也只能对这个数据对象加共享锁——直到该数据对象上的所有共享锁都被释放。 共享锁和排他锁最根本的区别在于,加上排他锁后,数据对象只对⼀个事务可⻅,而加上共享锁后,数据对所有事务都可⻅。 下面我们就来看看如何借助ZooKeeper来实现共享锁。
5.2.1 定义锁
和排他锁⼀样,同样是通过 ZooKeeper 上的数据节点来表示⼀个锁,是⼀个类似于 “/shared_lock/[Hostname]-请求类型-序号”的临时顺序节点,例如
/shared_lock/host1-R-0000000001
,那么,这个节点就代表了⼀个共享锁,如图所示:
5.2.1 获取锁
在需要获取共享锁时,所有客户端都会到/shared_lock 这个节点下面创建⼀个临时顺序节点,如果当前 是读请求,那么就创建例如
/shared_lock/host1-R-0000000001
的节点;如果是写请求,那么就创建例 如
/shared_lock/host2-W-0000000002
的节点。
判断读写顺序
通过Zookeeper来确定分布式读写顺序,大致分为四步
- 创建完节点后,获取/shared_lock节点下所有子节点,并对该节点变更注册监听。
- 确定自己的节点序号在所有子节点中的顺序。
- 对于读请求:若没有比自己序号小的子节点或所有比自己序号小的子节点都是读请求,那么表 明自己已经成功获取到共享锁,同时开始执行读取逻辑,若有写请求,则需要等待。对于写请求:若自己不 是序号最小的子节点,那么需要等待。
- 接收到Watcher通知后,重复步骤1
5.2.2 释放锁
其释放锁的流程与独占锁⼀致。
5.3 羊群效应
上面讲解的这个共享锁实现,大体上能够满足⼀般的分布式集群竞争锁的需求,并且性能都还可以—— 这⾥说的⼀般场景是指集群规模不是特别大,⼀般是在10台机器以内。但是如果机器规模扩大之后,会有什么问题呢?我们着重来看上面“判断读写顺序”过程的步骤3,结合下面的图,看看实际运行中的情况
针对如上图所示的情况进行分析
- host1⾸先进行读操作,完成后将节点/shared_lock/host1-R-00000001删除
- 余下4台机器均收到这个节点移除的通知,然后重新从/shared_lock节点上获取⼀份新的子节点列表。
- 每台机器判断自己的读写顺序,其中host2检测到自己序号最小,于是进行写操作,余 下的机器则继续等待
- 继续…
可以看到,host1客户端在移除自己的共享锁后,Zookeeper发送了子节点更变Watcher通知给所有机器,然而除了给host2产⽣影响外,对其他机器没有任何作用。大量的Watcher通知和子节点列表获取两个操作会重复运行,这样不仅会对zookeeper服务器造成巨大的性能影响影响和网络开销,更为严重的是,如果同⼀时间有多个节点对应的客户端完成事务或是事务中断引起节点消失,ZooKeeper服务器就会在短时间内向其余客户端发送大量的事件通知,这就是所谓的羊群效应。 上面这个ZooKeeper分布式共享锁实现中出现羊群效应的根源在于,没有找准客户端真正的关注点。我 们再来回顾⼀下上面的分布式锁竞争过程,它的核心逻辑在于:判断自己是否是所有子节点中序号最小的。于是,很容易可以联想到,每个节点对应的客户端只需要关注⽐自己序号小的那个相关节点的变更情况就可以了——而不需要关注全局的子列表变更情况。 可以有如下改动来避免羊群效应。
改进后的分布式锁实现:
⾸先,我们需要肯定的⼀点是,上⾯提到的共享锁实现,从整体思路上来说完全正确。这⾥主要的改动在于:每个锁竞争者,只需要关注/shared_lock节点下序号⽐自己小的那个节点是否存在即可,具体实现如下。
- 客户端调用create接⼝常⻅类似于/shared_lock/[Hostname]-请求类型-序号的临时顺序节点。
- 客户端调用getChildren接⼝获取所有已经创建的子节点列表(不注册任何Watcher)。
- 如果⽆法获取共享锁,就调用exist接⼝来对⽐自己小的节点注册Watcher。对于读请求:向⽐自己序号小的最后⼀个写请求节点注册Watcher监听。对于写请求:向⽐自己序号小的最后⼀个节点注册Watcher监听。
- 等待Watcher通知,继续进入步骤2。
此⽅案改动主要在于:每个锁竞争者,只需要关注/shared_lock节点下序号⽐自己小的那个节点是否存在即可。
注意 相信很多同学都会觉得改进后的分布式锁实现相对来说⽐较麻烦。确实如此,如同在多线程并发编程实践中,我们会去尽量缩小锁的范围——对于分布式锁实现的改进其实也是同样的思路。那么对于开发人员来说,是否必须按照改进后的思路来设计实现⾃⼰的分布式锁呢?答案是否定的。在具体的实际开发过程中,我们提倡根据具体的业务场景和集群规模来选择适合⾃⼰的分布式锁实现:在集群规模不大、网络资源丰富的情况下,第⼀种分布式锁实现⽅式是简单实用的选择;而如果集群规模达到⼀定程度,并且希望能够精细化地控制分布式锁机制,那么就可以试试改进版的分布式锁实现。
6. 布式队列
分布式队列可以简单分为两大类:⼀种是常规的FIFO先入先出队列模型,还有⼀种是等待队列元素聚 集后统⼀安排处理执行的Barrier模型。
6.1 FIFO先入先出
FIFO(First Input First Output,先⼊先出), FIFO 队列是⼀种⾮常典型且应用⼴泛的按序执行的队列 模型:先进⼊队列的请求操作先完成后,才会开始处理后⾯的请求。
使用ZooKeeper实现FIFO队列,和之前提到的共享锁的实现⾮常类似。FIFO队列就类似于⼀个全写的共 享锁模型,大体的设计思路其实⾮常简单:所有客户端都会到/queue_fifo 这个节点下⾯创建⼀个临时 顺序节点,例如如/queue_fifo/host1-00000001
创建完节点后,根据如下4个步骤来确定执行顺序。
- 通过调用getChildren接⼝来获取/queue_fifo节点的所有子节点,即获取队列中所有的元素。
- 确定⾃⼰的节点序号在所有子节点中的顺序。
- 如果⾃⼰的序号不是最小,那么需要等待,同时向⽐⾃⼰序号小的最后⼀个节点注册Watcher监听。
- 接收到Watcher通知后,重复步骤1。
6.2 Barrier:分布式屏障
Barrier原意是指障碍物、屏障,而在分布式系统中,特指系统之间的⼀个协调条件,规定了⼀个队列的元素必须都集聚后才能统⼀进行安排,否则⼀直等待。这往往出现在那些大规模分布式并行计算的应用场景上:最终的合并计算需要基于很多并行计算的子结果来进行。这些队列其实是在 FIFO 队列的基础上进行了增强,大致的设计思想如下:开始时,/queue_barrier 节点是⼀个已经存在的默认节点,并且将其节点的数据内容赋值为⼀个数字n来代表Barrier值,例如n=10表示只有当/queue_barrier节点下的子节点个数达到10后,才会打开Barrier。之后,所有的客户端都会到/queue_barrie节点下创建⼀个临时节点,例如/queue_barrier/host1,如图所示。
创建完节点后,按照如下步骤执⾏。
1. 通过调⽤getData接⼝获取/queue_barrier节点的数据内容:10
2. 通过调⽤getChildren接⼝获取/queue_barrier节点下的所有子节点,同时注册对子节点变更的Watcher监听。
3. 统计子节点的个数。
4. 如果子节点个数还不足10个,那么需要等待。
5. 接受到Wacher通知后,重复步骤2
版权归原作者 Young丶 所有, 如有侵权,请联系我们删除。