zookeeper:算法
ZooKeeper是一种为分布式应用所设计的高可用、高性能且一致的开源协调服务,基于ZAB协议,实现一种主备模式和架构来保持集群数据的一致性。服务器
zookeeper使得分布式应用能够经过一个共享的树形结构命名空间实现协调。zookeeper将全部的数据存储在内存中,zookeeper集群中任何一台机器均可以响应客户端的读操做,但只有一台机器响应客户端的写操做,所以更适合以读操做为主的应用场景。架构
zookeeper中有三种角色:leader、follower、observer分布式
zookeeper节点分为临时节点、持久节点、顺序节点,每个节点都有stat结构,重要的功能就是watcher功能,开源客户端:zkclient、curator性能
ZAB协议:设计
ZAB是为zookeeper设计的原子广播协议,借鉴Paxos算法,是一种分布式一致性算法,保证zookeeper集群中数据最终一致性。日志
zab协议只容许leader处理来自客户端的事务请求。当leader收到请求后,将事务请求转化成事务proposal,因为leader为每个follower建立一个队列,并把该事务放入响应队列中,保证事务的顺序性。以后在队列中顺序地向follower广播该提案。follower接收到提案后,以事务的形式写入本地日志中,并向leader发送ack。当超过半数的follower向leader发送恢复,leader会向其余节点发送commit消息,同时leader提交该事务。server
zab协议有故障恢复和消息广播组成队列
当系统启动或leader服务器出现故障时候,进入故障恢复模式。将会开始新的选举,选举产生的leader与过半的follower进行数据同步。同步结束后,将进入消息广播模式。若是检测到有leader在广播消息,会自动进入恢复模式。当完成与leader同步以后,进入消息广播模式。事务