Zookeeper请求处理原理分析
数据库的原理
我们知道,数据库是用来存储数据的,只是数据可以存储在内存中或磁盘中。而Zookeeper实际是结合了这两种的,Zookeeper中的数据即会存储在磁盘中以达到持久化的目的,也会同步到内存中以到达快速访问的目的。
事实上,用过Zookeeper的同学应该知道,Zookeeper中有两种类型的节点:持久化节点和临时节点。
-
持久化节点:会持久化在磁盘中,除非主动删除,将一直存在。
-
临时节点:不会持久化在磁盘中,只会存储在内存中,创建这个临时节点的Session一旦过期,此临时节点也将自动被删除。
数据库处理数据的原理
作为一个数据库,肯定是要接收客户端创建、修改、删除、查询节点等请求的。
在Zookeeper中对于请求分为两类:
-
事务性请求
-
非事务性请求
事务性请求
Zookeeper通常都是以集群模式运行的,也就是Zookeeper集群中各个节点的数据需要保持一致的。但是和Mysql集群不一样的是:
-
Mysql集群中,从服务器是异步从主服务器同步数据的,这中间的间隔时间可以比较长。
-
Zookeeper集群中,当某一个集群节点接收到一个写请求操作时,该节点需要将这个写请求操作发送给其他节点,以使其他节点同步执行这个写请求操作,从而达到各个节点上的数据保持一致,也就是数据一致性。我们通常说Zookeeper保证CAP理论中的CP就只这个意思。
Zookeeper集群底层是怎么保证数据一致性的,其实是用的两阶段提交+过半机制来保证的
事务性请求包括:更新操作、新增操作、删除操作,结合上面的分析,因为这些操作是会影响数据的,所以要保证这些操作在整个集群内的事务性,所以这些操作就是事务性请求。
非事务性请求
那么非事务性请求就好理解的,像查询操作、exist操作这些不影响数据的操场,就不需要集群来保持事务性,所以这些操场就是非事务性请求。
Zookeeper在处理事务性请求时,比处理非事务性请求要复杂很多
数据在磁盘中的表示
假设我们现在在Zookeeper中有一个数据节点,节点名为/datanode
,内容为125
,该节点是持久化节点,所以该节点信息会保存在文件中。
可能大家都会认为是类似下面这样方式保存在磁盘文件中的,方法一:
节点名 | 节点内容 |
---|---|
/datanode | 125 |
但是除开这种表示方法,还有另外一种表示方法,快照+事务日志,比如方法二:
当前快照:
节点名 | 节点内容 |
---|---|
/datanode | 120 |
当前事务日志:
事务ID | 操作 | 节点名 | 节点内容修改前 | 节点内容修改后 |
---|---|---|---|---|
1000010 | update | /datanode | 120 | 121 |
1000011 | update | /datanode | 121 | 125 |
乍一看方法二比方法一要更复杂,并且占用的磁盘更多。但是我们上文提到过,Zookeeper集群中的节点在处理事务性请求时,需要将事务操作同步给其他节点,所以这里的事务操作是一定要进行持久化的,以便在同步给其他节点时出现异常进行补偿。所以就出现了事务日志。实际上事务日志还运行数据进行回滚,这个在两阶段提交中也是非常重要的。
那么快照又有什么用呢?事务日志一定要有,但是随着时间的推移,日志肯定会越来越多,所以肯定不能持久化历史上所有的日志,所以Zookeeper会定时的进行快照,并删除之前的日志。
那么如果按方法二这么存储数据,在对数据进行查询时就不太方便了。上文说到,Zookeeper为了提高数据的查询速度,会在内存中也存储一份数据,那么内存中的这份数据又该怎么存呢?
数据在内存中的表示
Zookeeper中的数据在内存中的表示其实和上文的方法一很类似,只是Zookeeper中的数据是具有文件目录特点的,说白了就是Zookeeper中的数据节点的名字一定要以“/”
开头,这样就导致Zookeeper中的数据类似一颗树:
一颗具有父子层级的多叉树,在Zookeeper源码中叫DataTree。
请求处理逻辑
时序图:
用例图:
请注意,对于上图,Zookeeper真正的底层实现,zk1是Leader,zk2和zk3是Learner,是根据领导者选举
非事务性请求直接读取DataTree上的内容,DataTree是在内存中的,所以会非常快。
总结
这篇文章介绍了Zookeeper在处理请求时的几个核心概念:
-
事务性请求
-
事务日志
-
快照
-
DataTree
-
两阶段提交
参考:
http://ningg.top/zookeeper-lesson-9-zookeeper-data-and-storage/