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提交。

原文地址:https://www.cnblogs.com/Tony100/p/14099642.html