zk 源码

Zkserver:

zkClient

zookeeper怎么保证主从节点的状态同步

Zookeeper的核心是原子广播，这个机制保证了各个Server之间的同步。实现这个机制的协议叫做Zab协议。Zab协议有两种模式，它们分别是恢复模式（选主）和广播模式（同步）。

恢复模式：当服务启动或者在领导者崩溃后，Zab就进入了恢复模式，当领导者被选举出来，且大多数Server完成了和leader的状态同步以后，恢复模式就结束了。

因此，选主得到的leader保证了同步状态的进行，状态同步又保证了leader和Server具有相同的系统状态，当leader失去主权后可以在其他follower中选主新的leader。

分布式事务

ACID|2pc 3pc 二阶段 三阶段

分布式cap 理论

CAP原则又称CAP定理，指的是在一个分布式系统中，一致性（Consistency）、可用性（Availability）、分区容错性（Partition tolerance）。CAP 原则指的是，这三个要素最多只能同时实现两点，不可能三者兼顾。

Paxos算法：共识算法，选举
分布式一致性算法：
最终一致性：DNS GOSSIP cassandra
强一致性：
Paxos(实现非常复杂)
Raft(redis cluster 选举)
ZAB (zk 选举)
Raft，ZAB两种算法 基本一致