2018-06-14 20:21:32 +08:00
<!-- GFM - TOC -->
* [一、CAP ](#一cap )
* [一致性 ](#一致性 )
* [可用性 ](#可用性 )
* [分区容忍性 ](#分区容忍性 )
* [权衡 ](#权衡 )
* [二、BASE ](#二base )
* [基本可用 ](#基本可用 )
* [软状态 ](#软状态 )
* [最终一致性 ](#最终一致性 )
* [三、2PC ](#三2pc )
* [运行过程 ](#运行过程 )
* [存在的问题 ](#存在的问题 )
* [四、Paxos ](#四paxos )
* [执行过程 ](#执行过程 )
* [约束条件 ](#约束条件 )
* [五、Raft ](#五raft )
* [单个 Candidate 的竞选 ](#单个-candidate-的竞选 )
* [多个 Candidate 竞选 ](#多个-candidate-竞选 )
* [日志复制 ](#日志复制 )
* [参考资料 ](#参考资料 )
<!-- GFM - TOC -->
# 一、CAP
分布式系统不可能同时满足一致性（ ： ） （ ： ） （ ： ） ，
< div align = "center" > < img src = "../pics//f1109d04-3c67-48a3-9963-2c475f94e175.jpg" width = "500" / > < / div > < br >
## 一致性
一致性指的是多个数据副本是否能保持一致的特性。
在一致性的条件下，系统在执行数据更新操作之后能够从一致性状态转移到另一个一致性状态。
对系统的一个数据更新成功之后，如果所有用户都能够读取到最新的值，该系统就被认为具有强一致性。
## 可用性
可用性指分布式系统在面对各种异常时可以提供正常服务的能力， ，
在可用性条件下，系统提供的服务一直处于可用的状态，对于用户的每一个操作请求总是能够在有限的时间内返回结果。
## 分区容忍性
网络分区指分布式系统中的节点被划分为多个区域，每个区域内部可以通信，但是区域之间无法通信。
在分区容忍性条件下，分布式系统在遇到任何网络分区故障的时候，仍然需要能对外提供一致性和可用性的服务，除非是整个网络环境都发生了故障。
## 权衡
在分布式系统中， ， ，
可用性和一致性往往是冲突的，很难都使它们同时满足。在多个节点之间进行数据同步时，
- 为了保证一致性（ ） ， ， ；
- 为了保证可用性（ ） ， ，
< div align = "center" > < img src = "../pics//0b587744-c0a8-46f2-8d72-e8f070d67b4b.jpg" width = "500" / > < / div > < br >
# 二、BASE
BASE 是基本可用（ ） （ ） （ ）
BASE 理论是对 CAP 中一致性和可用性权衡的结果，它的理论的核心思想是：即使无法做到强一致性，但每个应用都可以根据自身业务特点，采用适当的方式来使系统达到最终一致性。
< div align = "center" > < img src = "../pics//bc603930-d74d-4499-a3e7-2d740fc07f33.png" width = "250" / > < / div > < br >
## 基本可用
指分布式系统在出现故障的时候，保证核心可用，允许损失部分可用性。
例如，电商在做促销时，为了保证购物系统的稳定性，部分消费者可能会被引导到一个降级的页面。
## 软状态
指允许系统中的数据存在中间状态，并认为该中间状态不会影响系统整体可用性，即允许系统不同节点的数据副本之间进行同步的过程存在延时。
## 最终一致性
最终一致性强调的是系统中所有的数据副本，在经过一段时间的同步后，最终能达到一致的状态。
ACID 要求强一致性，通常运用在传统的数据库系统上。而 BASE 要求最终一致性，通过牺牲强一致性来达到可用性，通常运用在大型分布式系统中。
在实际的分布式场景中，不同业务单元和组件对一致性的要求是不同的，因此 ACID 和 BASE 往往会结合在一起使用。
# 三、2PC
两阶段提交（ ， ）
主要用于实现分布式事务，分布式事务指的是事务操作跨越多个节点，并且要求满足事务的 ACID 特性。
2018-07-26 23:12:25 +08:00
通过引入协调者（ ） ，
2018-06-14 20:21:32 +08:00
## 运行过程
### 1. 准备阶段
协调者询问参与者事务是否执行成功，参与者发回事务执行结果。
< div align = "center" > < img src = "../pics//04f41228-375d-4b7d-bfef-738c5a7c8f07.jpg" width = "" / > < / div > < br >
### 2. 提交阶段
如果事务在每个参与者上都执行成功，事务协调者发送通知让参与者提交事务；否则，协调者发送通知让参与者回滚事务。
< div align = "center" > < img src = "../pics//2991c772-fb1c-4051-a9c7-932b68e76bd7.jpg" width = "" / > < / div > < br >
需要注意的是，在准备阶段，参与者执行了事务，但是还未提交。只有在提交阶段接收到协调者发来的通知后，才进行提交或者回滚。
## 存在的问题
### 1. 同步阻塞
所有事务参与者在等待其它参与者响应的时候都处于同步阻塞状态，无法进行其它操作。
### 2. 单点问题
协调者在 2PC 中起到非常大的作用，发生故障将会造成很大影响，特别是在阶段二发生故障，所有参与者会一直等待状态，无法完成其它操作。
### 3. 数据不一致
在阶段二，如果协调者只发送了部分 Commit 消息，此时网络发生异常，那么只有部分参与者接收到 Commit 消息，也就是说只有部分参与者提交了事务，使得系统数据不一致。
### 4. 太过保守
任意一个节点失败就会导致整个事务失败，没有完善的容错机制。
# 四、Paxos
用于达成共识性问题，即对多个节点产生的值，该算法能保证只选出唯一一个值。
主要有三类节点：
- 提议者（ ） ： ；
- 接受者（ ） ： ；
- 告知者（ ） ： ，
< div align = "center" > < img src = "../pics//b988877c-0f0a-4593-916d-de2081320628.jpg" width = "" / > < / div > < br >
## 执行过程
规定一个提议包含两个字段：[n, v]，其中 n 为序号（ ） ，
下图演示了两个 Proposer 和三个 Acceptor 的系统中运行该算法的初始过程，每个 Proposer 都会向所有 Acceptor 发送提议请求。
< div align = "center" > < img src = "../pics//1a9977e4-2f5c-49a6-aec9-f3027c9f46a7.png" width = "" / > < / div > < br >
当 Acceptor 接收到一个提议请求，包含的提议为 [n1, v1]，并且之前还未接收过提议请求，那么发送一个提议响应，设置当前接收到的提议为 [n1, v1]，并且保证以后不会再接受序号小于 n1 的提议。
如下图，
< div align = "center" > < img src = "../pics//fb44307f-8e98-4ff7-a918-31dacfa564b4.jpg" width = "" / > < / div > < br >
如果 Acceptor 接收到一个提议请求，包含的提议为 [n2, v2]，并且之前已经接收过提议 [n1, v1]。如果 n1 > n2， ； ， ，
如下图， ， ； < = 4，
< div align = "center" > < img src = "../pics//2bcc58ad-bf7f-485c-89b5-e7cafc211ce2.jpg" width = "" / > < / div > < br >
当一个 Proposer 接收到超过一半 Acceptor 的提议响应时，就可以发送接受请求。
Proposer A 接收到两个提议响应之后，就发送 [n=2, v=8] 接受请求。该接受请求会被所有 Acceptor 丢弃，因为此时所有 Acceptor 都保证不接受序号小于 4 的提议。
Proposer B 过后也收到了两个提议响应，因此也开始发送接受请求。需要注意的是，接受请求的 v 需要取它收到的最大 v 值，也就是 8。因此它发送 [n=4, v=8] 的接受请求。
< div align = "center" > < img src = "../pics//9b838aee-0996-44a5-9b0f-3d1e3e2f5100.png" width = "" / > < / div > < br >
Acceptor 接收到接受请求时，如果序号大于等于该 Acceptor 承诺的最小序号，那么就发送通知给所有的 Learner。当 Learner 发现有大多数的 Acceptor 接收了某个提议，那么该提议的提议值就被 Paxos 选择出来。
< div align = "center" > < img src = "../pics//bf667594-bb4b-4634-bf9b-0596a45415ba.jpg" width = "" / > < / div > < br >
## 约束条件
### 1. 正确性
指只有一个提议值会生效。
因为 Paxos 协议要求每个生效的提议被多数 Acceptor 接收，并且 Acceptor 不会接受两个不同的提议，因此可以保证正确性。
### 2. 可终止性
指最后总会有一个提议生效。
Paxos 协议能够让 Proposer 发送的提议朝着能被大多数 Acceptor 接受的那个提议靠拢，因此能够保证可终止性。
# 五、Raft
Raft 和 Paxos 类似，但是更容易理解，也更容易实现。
Raft 主要是用来竞选主节点。
## 单个 Candidate 的竞选
有三种节点： ， ，
- 下图表示一个分布式系统的最初阶段，此时只有 Follower，
< div align = "center" > < img src = "../pics//111521118015898.gif" width = "" / > < / div > < br >
- 此时 A 发送投票请求给其它所有节点。
< div align = "center" > < img src = "../pics//111521118445538.gif" width = "" / > < / div > < br >
- 其它节点会对请求进行回复，如果超过一半的节点回复了，那么该 Candidate 就会变成 Leader。
< div align = "center" > < img src = "../pics//111521118483039.gif" width = "" / > < / div > < br >
- 之后 Leader 会周期性地发送心跳包给 Follower，
< div align = "center" > < img src = "../pics//111521118640738.gif" width = "" / > < / div > < br >
## 多个 Candidate 竞选
* 如果有多个 Follower 成为 Candidate， ， ，
< div align = "center" > < img src = "../pics//111521119203347.gif" width = "" / > < / div > < br >
* 当重新开始投票时，由于每个节点设置的随机竞选超时时间不同，因此能下一次再次出现多个 Candidate 并获得同样票数的概率很低。
< div align = "center" > < img src = "../pics//111521119368714.gif" width = "" / > < / div > < br >
## 日志复制
- 来自客户端的修改都会被传入 Leader。注意该修改还未被提交，
< div align = "center" > < img src = "../pics//7.gif" width = "" / > < / div > < br >
- Leader 会把修改复制到所有 Follower。
< div align = "center" > < img src = "../pics//9.gif" width = "" / > < / div > < br >
- Leader 会等待大多数的 Follower 也进行了修改，然后才将修改提交。
< div align = "center" > < img src = "../pics//10.gif" width = "" / > < / div > < br >
- 此时 Leader 会通知的所有 Follower 让它们也提交修改，此时所有节点的值达成一致。
< div align = "center" > < img src = "../pics//11.gif" width = "" / > < / div > < br >
# 参考资料
- 倪超. 从 Paxos 到 ZooKeeper : 分布式一致性原理与实践 [M]. 电子工业出版社, 2015.
- [What is CAP theorem in distributed database system? ](http://www.colooshiki.com/index.php/2017/04/20/what-is-cap-theorem-in-distributed-database-system/ )
- [NEAT ALGORITHMS - PAXOS ](http://harry.me/blog/2014/12/27/neat-algorithms-paxos/ )
- [Raft: Understandable Distributed Consensus ](http://thesecretlivesofdata.com/raft )
- [Paxos By Example ](https://angus.nyc/2012/paxos-by-example/ )
