用户工具
zookeeper 主要依赖ZAB协议来实现分布式数据的一致性。
基本特性（proposal流程）
- 所有事物必须由一个全局唯一的服务器来协调处理，这个服务器就是leader，剩下的服务器叫follower。leader负责将一个客户的请求转换成一个事物proposal（提议），并将该proposal分发给所有的follower服务器，并等待所有follower服务器的反馈，一旦有超过半数的follower给出了正确反馈，那leader会再次向所有的follower分发commit消息，要求将这个proposal提交。
- 如果client的请求发送到follower上，follower会转发给lead
- 正常情况下zab处于广播模式，当leader挂了之后，zab会进入恢复模式并选举出新leader，新leader必须获得超过半数的follower的支持。当新leader被选取出来之后，且超过半数的follower和leader同步之后，zab协议就开始进入广播模式了。
- 每个follower都有一个顺序队列用来存放leader的通知消息。保证follower顺序处理所有leader的消息。
基本原则
- 已经在leader上提交的事务，最终会被所有follower提交
- 如果leader在发出commit命令之后挂了，所有的follower也会commit这个事务
- 在leader提出但因为故障没有提交的事务，最终都不会在follower提交
- 当该leader，以follower的角色恢复时，会被新leader通知回退那个只有它提交了的那个事务。
