Paxos算法以及ZAB协议

Paxos算法以及ZAB协议

---

一、Paxos算法

Paxos算法：是基于消息传递而且具有高度容错性的一致性算法
解决的问题：解决如何快速准确的在分布式系统中对某个数据达成一致性，而且保证不管发生什么异常，都不破坏系统一致性
算法流程：
Proposer（提议者）、Acceptor（接收者）、Learner（学习者）
（每个节点可以由多个身份）

• Prepare阶段：只发送Proposer ID，没有发送提议内容
  • Proposer向Acceptor发起提议请求promise（承诺）
  • Acceptor对提议请求进行Promise（承诺）
• Accept阶段:做出两个承诺，一个应答
  • Proposer收到多数的acceptor的承诺之后，向acceptor发送Propose提议请求
  • acceptor对收到的提议请求进行Accept处理

两个承诺：
	1）不再接受 Proposer ID小于等于当前请求的Propose请求
	2）不再接受 Proposer ID小于当前请求的 Accept请求
一个应答：
	1）不违背以前做出的承诺下，回复已经Accept过的提议中Propose ID 最大的哪个提议的Value和Proposer ID，没有则返空

• Learn阶段
  • Proposer将形成的决议发送给所有的Learner

问题：

• 提议可能出现覆盖，**解决方法：**选举一个leader，leader才可以发送提议
• 可能陷入活锁:系统存在一个以上的Proposesr，他们相互争夺Acceptor，造成迟迟不能达到一致的情况,**解决方法：**选举一个leader，只有leader可以发送提议

二、ZAB协议

ZAB协议：支持奔溃回复的原子广播协议。两种模式：奔溃恢复（选主）、消息广播（同步）
消息广播：写操作

崩溃恢复：

三、CAP

一个分布式的系统不可能同时具备如下三个特性：

• Consistency（一致性）
• Available（可用性）
• Partition tolerance（分区容错性）:在分布式系统遇到任何网络分区故障时，都能够保证对外提供可用、一致性的服务，除非整个网络环境都发送故障
  一般都是CP、AP
  zookeeper保证的是CP：在极端情况下不能保证可用性，需要用户再次请求；Leader选举过程不可用性