likaiwalkman@csdn - Code Study Area

ZooKeeper之ZAB协议 时间 2015-09-15 17:06:02  Solinx 原文  http://www.solinx.co/archives/435 主题 ZooKeeper ZooKeeper为高可用的一致性协调框架，自然的ZooKeeper也有着一致性算法的实现，ZooKeeper使用的是ZAB协议作为数据一致性的算法， ZAB（ZooKee

Paxos分析 最近研究paxos算法，看了许多相关的文章，概念还是很模糊，觉得还是没有掌握paxos算法的精髓，所以花了3天时间分析了libpaxos3的所有代码，此代码可以从https://bitbucket.org/sciascid/libpaxos 下载。对paxos算法有初步了解之后，再看此文的效果会更好；如果你也想分析libpaxos3的话，此文应该会对你有不小帮助；关于paxo

版权声明：本文为博主原创文章，未经博主允许不得转载。 目录(?)[-] 拜占庭将军问题不同视角的可理解性Raft 协议的易理解性描述 Leader 选举过程Leader 节点对一致性的影响 数据到达 Leader 节点前数据到达 Leader 节点但未复制到 Follower 节点数据到达 Leader 节点成功复制到 Follower 所有节点但还未向 Lea

1 Paxos算法 1.1 基本定义 算法中的参与者主要分为三个角色，同时每个参与者又可兼领多个角色: ⑴proposer 提出提案，提案信息包括提案编号和提议的value; ⑵acceptor 收到提案后可以接受(accept)提案; ⑶learner 只能"学习"被批准的提案; 算法保重一致性的基本语义: ⑴决议(value)只有在被proposers