28.ZooKeeper面试题

（1）ZooKeeper是什么
ZooKeeper是一个分布式的，开放源码的分布式应用程序协调服务，是集群的管理者，监视着集群中各个节点的状态根据节点提交的反馈进行下一步合理操作。有序性是zookeeper中非常重要的一个特性，所有的更新都是全局有序的，每个更新都有一个唯一的时间戳。
（2）ZooKeeper提供什么
1.文件系统
2.通知机制
（3）ZooKeeper文件系统
ZooKeeper提供了一个多层级的节点命名空间（节点称为znode）,这些节点可以设置关联的数据。ZooKeeper为了保证高吞吐和低延迟，在内存中维护了这个树状的目录结构，使得ZooKeeper不能用于存放大量的数据，每个节点的存放数据上限为1M。
（4）四种类型的znode
1.PERSISTENT-持久化目录节点
客户端与zookeeper断开连接后，该节点依旧存在
2.PERSISTENT_SEQUENTIAL-持久化顺序编号目录节点
客户端与zookeeper断开连接后，该节点依旧存在，只是Zookeeper给该节点名称进行顺序编号
3.EPHEMERAL-临时目录节点
客户端与zookeeper断开连接后，该节点被删除
4.EPHEMERAL_SEQUENTIAL-临时顺序编号目录节点
客户端与zookeeper断开连接后，该节点被删除，只是Zookeeper给该节点名称进行顺序编号
（5）ZooKeeper通知机制
客户端会对某个znode建立一个watcher事件，当该znode发生变化时，客户端会收到ZooKeeper的通知，客户端可以根据znode的变化做出业务上的改变。
（6）ZooKeeper的功能
1.命名服务
2.配置管理
3.集群管理
4.分布式锁
5.队列管理
（7）ZooKeeper的命名服务
命名服务是指通过指定的名字来获取资源或者服务的地址，利用zk创建一个全局的路径，即是唯一的路径，这个路径就可以作为一个名字，指向集群中的集群，提供的服务的地址，或者一个远程的对象等等。
（8）ZooKeeper的配置管理
程序分布式的部署在不同的机器上，将程序的配置信息放在zk的znode下，当有配置发生改变时，也就是znode发生变化时，可以通过改变zk中某个目录节点的内容，利用watcher通知给各个客户端，从而更改配置。
（9）ZooKeeper集群管理
是否有机器退出和加入、选举master
（10）获取分布式锁
在获取分布式锁的时候在locker节点下创建临时顺序节点，释放锁的时候删除该临时节点。如果发现自己创建的节点在所有创建的子节点序号最小，那么就认为该客户端获取到了锁。如果发现自己创建的节点并非locker所有子节点中最小的，说明自己还没有获取到锁，此时客户端需要找到比自己小的那个节点，然后对其调用exist()方法，同时对其注册事件监听器。
（11）ZooKeeper数据复制
数据复制的好处：
1.容错：一个节点出错，不致于让整个系统停止工作，别的节点可以接管他的工作。
2.提高系统扩展能力：把负载分布到多个节点上，或者增加节点来提高系统的负载能力。
3.提高性能：让客户端本地访问就近的节点，提高用户访问速度。
从客户端读写访问的透明度来看，数据复制集群系统分下面两种：
写主(WriteMaster) ：对数据的修改提交给指定的节点。读无此限制，可以读取任何一个节点。这种情况下客户端需要对读与写进行区别，俗称读写分离；
写任意(Write Any)：对数据的修改可提交给任意的节点，跟读一样。这种情况下，客户端对集群节点的角色与变化透明。
对zookeeper来说，它采用的方式是写任意。通过增加机器，它的读吞吐能力和响应能力扩展性非常好。
（12）ZooKeeper工作原理
Zookeeper 的核心是原子广播，这个机制保证了各个Server之间的同步。实现这个机制的协议叫做Zab协议。Zab协议有两种模式，它们分别是恢复模式（选主）和广播模式（同步）。当服务启动或者在领导者崩溃后，Zab就进入了恢复模式，当领导者被选举出来，且大多数Server完成了和 leader的状态同步以后，恢复模式就结束了。状态同步保证了leader和Server具有相同的系统状态。
（13）zookeeper如何保证事务的顺序一致性
zookeeper采用了递增的事务Id来标识，所有的proposal（提议）都在被提出的时候加上了zxid，zxid实际上是一个64位的数字，高32位是epoch（时期; 纪元; 世; 新时代）用来标识leader是否发生改变，如果有新的leader产生出来，epoch会自增，低32位用来递增计数。当新产生proposal的时候，会依据数据库的两阶段过程，首先会向其他的server发出事务执行请求，如果超过半数的机器都能执行并且能够成功，那么就会开始执行。
（14）Zookeeper 下 Server工作状态
每个Server在工作过程中有三种状态：
LOOKING：当前Server不知道leader是谁，正在搜寻
LEADING：当前Server即为选举出来的leader
FOLLOWING：leader已经选举出来，当前Server与之同步
（15）zookeeper是如何选取主leader的？
Zk的选举算法有两种：一种是基于basic paxos实现的，另外一种是基于fast paxos算法实现的。系统默认的选举算法为fast paxos。
fast paxos:某Server首先向所有Server提议自己要成为leader，当其它Server收到提议以后，解决epoch和 zxid的冲突，并接受对方的提议，然后向对方发送接受提议完成的消息，重复这个流程，最后一定能选举出Leader。
(16)Zookeeper同步流程
选完Leader以后，zk就进入状态同步过程。

1.Leader等待server连接；
2.Follower连接leader，将最大的zxid发送给leader；
3.Leader根据follower的zxid确定同步点；
4.完成同步后通知follower 已经成为uptodate状态；
5.Follower收到uptodate消息后，又可以重新接受client的请求进行服务了。