ZK是微服务解决方案中拥有服务注册发现最为核心的环境，是微服务的基石。作为服务注册发现模块，并不是只有ZK一种产品，目前得到行业认可的还有：Eureka、Consul。
ZK介绍
- ZK=zookeeper
ZK是微服务处理计划中具有服务注册发现最为中心的环境，是微服务的柱石。作为服务注册发现模块，并不是只要ZK一种产品，现在得到职业认可的还有：Eureka、Consul。
这儿咱们只聊ZK，这个东西本身很小zip包就几兆，装置十分傻瓜，能够支撑集群布置。
布景
在集群环境下ZK的leader&follower的概念，现已节点反常ZK面对的问题以及怎么处理。ZK本身是java言语开发，也开源到Github上但官方文档对内部介绍的很少，零星的博客许多，有些写的很不错。
发问：
- Zookeeper推举算法中的过半票数才供给正常服务，这是什么逻辑?
ZK集群单节点状况(每个节点有且只要一个状况)，ZK的定位必定需求一个leader节点处于lading状况。
- looking：寻觅leader状况，当时集群没有leader，进入leader推举流程。
- following：跟随者状况，承受leading节点同步和指挥。
- leading：领导者状况。
- observing：观察者状况，表名当时服务器是observer。
ZK投票处理战略
投票信息包括 ：所推举leader的Serverid，Zxid，SelectionEpoch
- Epoch判别，本身logicEpoch与SelectionEpoch判别：大于、小于、等于。
- 优先查看ZXID。ZXID比较大的服务器优先作为Leader。
- 假如ZXID相同，那么就比较myid。myid较大的服务器作为Leader服务器。
过半推举算法
ZK中有三种推举算法，别离是LeaderElection,FastLeaderElection,AuthLeaderElection，FastLeaderElection和AuthLeaderElection是相似的推举算法，仅有区别是后者加入了认证信息， FastLeaderElection比LeaderElection更高效，后续的版别只保存FastLeaderElection。
了解：
在集群环境下多个节点发动，ZK首要需求在多个节点中选出一个节点作为leader并处于Leading状况，这样就面对一个推举问题，一起推举规矩是什么样的。“过半推举算法”：投票推举中取得票数过半的节点胜出，即状况从looking变为leading，功率更高。
以5台服务器解说思路：
服务器1发动,此刻只要它一台服务器发动了,它发出去的Vote没有任何呼应,所以它的推举状况一直是LOOKING状况;
服务器2发动,它与最开端发动的服务器1进行通讯,相互交流自己的推举成果,由于两者都没有历史数据,所以id值较大的服务器2胜出,可是由于没有到达超越半数以上的服务器都赞同推举它(这个比如中的半数以上是3),所以服务器1,2仍是持续坚持LOOKING状况.
服务器3发动,依据前面的理论，剖析有三台服务器推举了它,服务器3成为服务器1,2,3中的老迈,所以它成为了这次推举的leader.
服务器4发动,依据前面的剖析，理论上服务器4应该是服务器1,2,3,4中最大的,可是由于前面现已有半数以上的服务器推举了服务器3,所以它只能接纳当小弟的命了.
服务器5发动,同4相同,当小弟.
假定5台中挂了2台(3、4)，其间leader也挂掉：
leader和follower间有查看心跳，需求同步数据 Leader节点挂了，整个Zookeeper集群将暂停对外服务，进入新一轮Leader推举
1)服务器1、2、5发现与leader失联，状况转为looking，开端新的投票 2)服务器1、2、5别离开端投票并播送投票信息，本身Epoch自增; 3) 服务器1、2、5别离处理投票，判别出leader别离播送 4)依据投票处理逻辑会选出一台(2票过半) 5)各自服务器从头变更为leader、follower状况 6)从头供给服务
脑裂问题
脑裂问题呈现在集群中leader死掉，follower选出了新leader而原leader又复活了的状况下，由于ZK的过半机制是答应丢失必定数量的机器而扔能正常供给给服务，当leader逝世判别不共同时就会呈现多个leader。
计划：
ZK的过半机制必定程度上也减少了脑裂状况的呈现，最少不会呈现三个leader一起。ZK中的Epoch机制(时钟)每次推举都是递加+1，当通讯时需求判别epoch是否共同，小于自己的则扔掉，大于自己则重置自己，等于则推举;
概括
在日常的ZK运维时需求留意以上场景在极点状况下呈现问题，特别是脑裂的呈现，能够选用：
过半推举战略下布置准则：
- 服务器群布置要奇数，如：3、5、7、...，奇数是最简单选出leader的装备量。
- ZK答应节点最大丢失数，准则便是“确保过半推举正常”，多了便是糟蹋。
具体的算法逻辑是很杂乱要考虑许多状况，其间有个Epoch的概念(自增加)，分为：LogicEpoch和ElectionEpoch，每次投票都有判别每个投票周期是否共同等等。
