1,先看看官方的定义吧：
ZooKeeper is a distributed, open-source coordination service for distributed applications. It exposes a simple set of primitives that distributed applications can build upon to implement higher
level services for synchronization, configuration maintenance, and groups and naming. It is designed to be easy to program to, and uses a data model styled after the familiar directory tree structure of file systems.
zookeeper 是一个分布式应用程序提供的分布式的开源的协调服务。
他提供了一个简单的原语集，通过这些原语集能够实现更高层次的同步服务，配置管理，集群管理和命名服务。他被设计为易于编程和以一种和文件系统很类似的数据模型来实现编程。
通过定义能够了解到zookeeper都有哪些作用，无非就是一句话：能够为分布式应用程序提供同步服务，命名服务等功能。可是了解到这里马上就会产生疑问----还有好多开源项目都能够为分布式应用程序提供这些服务啊，为什么要用zookeeper呢？
举两个样例：
能够用redis实现分布式锁啊，或是不用redis随便用个什么其它的什么东西都能够作为分布式应用程序的锁啊；
配置管理好像就更扯了。我随便能够把配置放到什么地方仅仅要让分布式应用去读就能够了。
事实上。zookeeper不过只能提供这些功能也确实就没什么存在的必要了，关键是他可以提高可用的高一致性的这些服务。
提到高可用的这几个字，这时或许我们就会想到採用集群的方式（如今server部署的主流方式）。那么不过由于这个redis相同也能够达到这个标准。可是zookeeper还有高一致性的特性。
整体上来讲。zookeeper作为分布式应用的协调服务拥有一下特性：
高可用性。高一致性，高性能 （是不是对于分布式理论中的cap呢 Consistency Availability Partition Tolerance 事实上cap理论也是受到争议的）
以下主要说一说zookeeper的高一致性
Server端很多其它的是存储一些数据的状态，而非数据内容本身，因此Zookeeper能够作为一个小文件系统使用。数据状态的存储量相对不大。全然能够所有载入到内存中，从而极大地消除了通信延迟。
对于分布式系统的一致性问题，事实上也就是在分布式环境下更新操作的顺序问题。相应于学术术语也就是全序（她是集合其中的一个概念）
例如以下：
这个差点儿是不可能的, 由于全部的物理时钟同步。古代关于时钟另一个故事（參见罗辑思维-击溃牛顿的钟表匠）。只是现代google公布的spanner的核心技术中包括用卫星进行全球的datacenter之间的时钟同步
仅仅有当两个进程间产生通信后, 产生因果关系, 从而来确定顺序
如p1为发消息给Q事件, 而q2为从P收到消息事件, 则p1和q2间有明白的因果关系, 故能够说p1 "happen before" q2, 即p1 –> q2
所以在存在leader正常工作的情况下。由leader作为唯一的參照物就可以。可是当leader down掉选举发生的过程中。或者出现多个leader的情况下就没有办法了。
而zookeeper正是运用fastpaxos和zab来保证这中一致性。总之，zookeeper利用在全序列的思想下利用以ZAB为协议的fastpaxos算法实现了强一致性。
參考：
http://breezes.lofter.com/post/d325_1aa98b
http://michael8335.iteye.com/blog/1723183
http://www.searchtb.com/2011/01/zookeeper-research.html
http://blog.csdn.net/chen77716/article/details/7309915
版权声明：本文博主原创文章，博客，未经同意不得转载。