paxos raft zab

三者都是强一致性算法(cp)的理论基础。如何体现出CP?因为leader存在单点，当leader挂了之后，再重新选举出leader这个时间段内是不可用的。

paxos 有多个版本，basic paxos和multi paxos。

basic paxos

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 multi paxos

 

 

 

Basic Paxos的问题：难实现、效率低（每次选举都有prepare的过程）、活锁，每次提交事务 都要有议案 议案通过之后在进行2pc提交

Multi Paxos: 只有在第一次事务提交 没有leader的时候 会找选举leader的过程 在leader选举的时候会有议案过程 以后得事务提交 因为leader已经存在了 所以就没有议案的过程了 直接进行2pc提交；

Raft zab

这个两种一致性算法是从Multi Paxos衍生而来。

Raft

划分出了三个问题
　　leader选举
　　日志记录
　　安全（数据恢复）
1 每个节点有三个角色
　　leader 主节点
　　follow 从节点
　　candidate 当节点要竞选为leader时候的角色 是个瞬间角色
2 两个阶段
　　2.1 选择leader阶段
　　2.2 提交数据
只能提交给leader 然后由leader向follow节点同步 过半节点接受即可
3 leader和follow节点心跳监控
　　由leader节点固定时间给follow发心跳包 follow自身会维护一个定时器 在定时的时间内如果没有收到leader的心跳包 就认为leader挂了 然后发送选举自己为leader

zab

基本同raft一直 不同点
1 节点的角色类型不一样 没有candidate这个角色 多了一个observe的角色
　　leader
　　follow
　　looking. 和raft的candidate差不多
　　observe 用来做读 不参与选举leader
2 提交数据不一样
　　leader和follow数据可以提交给follow 但是follow会将请求转给leader 由leader写 然后向follow同步 过半即可
3 节点心跳监控原理不一样
　　由follow定时给leader发送心跳 如果心跳失败 follow就认为leader挂掉 选举自己为leader

raft和zab相对于Multi Paxos来说，在选举leader的过程中 阉割吊了 议案的过程，只有一个2pc提交。