https://en.wikipedia.org/wiki/Paxos_(computer_science)
http://thesecretlivesofdata.com/raft/
ZAB 协议: leader ID + 事务 ID,理解算法以后比较简单
虚拟机搭建集群 >>
通过 hostname 节省写IP
增加一个节点
zkCli 查看节点已经存在
把主节点进程杀掉