Zookeeper已经分布式环境中的假死脑裂

Zookeeper简介

---

在上班之前都不知道有这样一个东西，在开始说假死脑裂之前先说说Zookeeper吧。

Zookeeper
zookeeper是一个分布式应用程序的协调服务。它是一个为分布式应用提供一致性服务的软件，提供的性能包括：配置维护、名字服务、分布式同步、组服务等。
zookeeper是以Fast Paxos算法为基础，paxos算法存在活锁的问题，即当有多个proposer交错提交时，有可能互相排斥导致没有一个proposer能提交成功，而Fase Paxos作了一些优化，通过选举产生一个leader，只有leader才能提交proposer，具体的可以看一下Fast Paxos算法。

Zookeeper的基本运转流程：

1. 选举leader；
2. 同步数据；
3. 选举leader过程中算法有很多，但要达到的选举标准是一致的；
4. leader要有更高的zxid；
5. 集群中大多数的机器得到响应并follow选出的leader。

小说了一下Zookeeper，接下来讨论一下脑裂，假死等等问题以及解决方法吧。

---

假死脑裂
在一个大的集群中往往会有一个master的存在，在长期运行过程中不可避免会出现宕机等等的问题导致master不可用，在出现这样的情况以后往往会对系统产生很大的影响，所以一般的分布式集群中的master都采用了高可用的解决方案来避免这样的情况发生。
master-slaver方式，存在一个master的节点，平时对外服务，同时有一个slaver节点来监控m