分布式理论(四) - 3PC协议

「爱情、让人受尽委屈。」 2022-05-21 20:38 134阅读 0赞

# 前言 #

由于二阶段提交存在着诸如同步阻塞、单点问题、脑裂等缺陷。所以，研究者们在二阶段提交的基础上做了改进，提出了三阶段提交。

![3PC.png][]

与两阶段提交不同的是，三阶段提交有两个改动点。

1.  引入超时机制 - 同时在协调者和参与者中都引入超时机制。
2.  在第一阶段和第二阶段中插入一个准备阶段，保证了在最后提交阶段之前各参与节点的状态是一致的。

# 正文 #

## 1. 三阶段提交的定义 ##

三阶段提交（Three-phase commit），也叫三阶段提交协议（Three-phase commit protocol），是二阶段提交（2PC）的改进版本。

所谓的三个阶段分别是：询问，然后再锁资源，最后真正提交。

*  第一阶段：CanCommit
 *  第二阶段：PreCommit
 *  第三阶段：Do Commit

## 2. 三阶段提交的过程 ##

### 2.1. 阶段一：CanCommit ###

3PC的CanCommit阶段其实和2PC的准备阶段很像。协调者向参与者发送commit请求，参与者如果可以提交就返回Yes响应，否则返回No响应。

a. 事务询问

> 协调者向参与者发送CanCommit请求。询问是否可以执行事务提交操作。然后开始等待参与者的响应。

b. 响应反馈

> 参与者接到CanCommit请求之后，正常情况下，如果其自身认为可以顺利执行事务，则返回Yes响应，并进入预备状态；否则反馈No。

### 2.2. 阶段二：PreCommit ###

协调者在得到所有参与者的响应之后，会根据结果执行2种操作：执行事务预提交，或者中断事务。

#### 2.2.1. 执行事务预提交 ####

a. 发送预提交请求

> 协调者向所有参与者节点发出 preCommit 的请求，并进入 prepared 状态。

b. 事务预提交

> 参与者受到 preCommit 请求后，会执行事务操作，对应 2PC 准备阶段中的 “执行事务”，也会 Undo 和 Redo 信息记录到事务日志中。

c. 各参与者响应反馈

> 如果参与者成功执行了事务，就反馈 ACK 响应，同时等待指令：提交（commit） 或终止（abort）。

#### 2.2.2. 中断事务 ####

a. 发送中断请求

> 协调者向所有参与者节点发出 abort 请求 。

b. 中断事务

> 参与者如果收到 abort 请求或者超时了，都会中断事务。

### 2.3. 阶段三：Do Commit ###

该阶段进行真正的事务提交，也可以分为以下两种情况。

#### 2.3.1. 执行提交 ####

a. 发送提交请求

> 协调者接收到各参与者发送的ACK响应，那么他将从预提交状态进入到提交状态。并向所有参与者发送 doCommit 请求。

b. 事务提交

> 参与者接收到 doCommit 请求之后，执行正式的事务提交。并在完成事务提交之后释放所有事务资源。

c. 响应反馈

> 事务提交完之后，向协调者发送 ACK 响应。

d. 完成事务

> 协调者接收到所有参与者的 ACK 响应之后，完成事务。

#### 2.3.2. 中断事务 ####

协调者没有接收到参与者发送的 ACK 响应（可能是接受者发送的不是ACK响应，也可能响应超时），那么就会执行中断事务。

a. 发送中断请求

> 协调者向所有参与者发送 abort 请求。

b. 事务回滚

> 参与者接收到 abort 请求之后，利用其在阶段二记录的 undo 信息来执行事务的回滚操作，并在完成回滚之后释放所有的事务资源。

c. 反馈结果

> 参与者完成事务回滚之后，向协调者发送 ACK 消息。

d. 中断事务

> 协调者接收到参与者反馈的 ACK 消息之后，完成事务的中断。

# 3. 小结 #

## 3.1. 三阶段提交的优点 ##

相对于二阶段提交，三阶段提交主要解决的单点故障问题，并减少了阻塞的时间。

因为一旦参与者无法及时收到来自协调者的信息之后，他会默认执行 commit。而不会一直持有事务资源并处于阻塞状态。

### 3.2. 三阶段提交的缺点 ###

三阶段提交也会导致数据一致性问题。由于网络原因，协调者发送的 abort 响应没有及时被参与者接收到，那么参与者在等待超时之后执行了 commit 操作。

这样就和其他接到 abort 命令并执行回滚的参与者之间存在数据不一致的情况。

--------------------

欢迎关注技术公众号：零壹技术栈

![零壹技术栈][1240]

本帐号将持续分享后端技术干货，包括虚拟机基础，多线程编程，高性能框架，异步、缓存和消息中间件，分布式和微服务，架构学习和进阶等学习资料和文章。

[3PC.png]: http://ols3fdyll.bkt.clouddn.com/3PC.png
[1240]: /images/20220522/ae23604a4faf48aeac3585c26ecb56d3.png

发表评论取消回复

表情：

评论列表（有 0 条评论，134人围观）

还没有评论，来说两句吧...

相关阅读

相关分布式系统理论基础 - 一致性、2PC和3PC

引言狭义的分布式系统指由网络连接的计算机系统，每个节点独立地承担计算或存储任务，节点间通过网络协同工作。广义的分布式系统是一个相对的概念，正如Leslie Lamport所

桃扇骨/ 2023年07月24日 05:49/ 0 赞/ 59 阅读

相关 2PC和3PC协议

2PC和3PC协议 -------------------- 目录 1. 2PC 2. 3PC -------------------- 在分布式系统中，

分手后的思念是犯贱/ 2023年06月06日 04:53/ 0 赞/ 18 阅读

相关分布式理论(三) - 2PC协议

前言由于BASE理论需要在一致性和可用性方面做出权衡，因此涌现了很多关于一致性的算法和协议。其中比较著名的有二阶提交协议（2 Phase Commitment Prot

以你之姓@/ 2022年05月22日 06:24/ 0 赞/ 177 阅读

相关分布式理论(四) - 3PC协议

前言由于二阶段提交存在着诸如同步阻塞、单点问题、脑裂等缺陷。所以，研究者们在二阶段提交的基础上做了改进，提出了三阶段提交。 ![3PC.png][] 与两阶段提交不

「爱情、让人受尽委屈。」/ 2022年05月21日 20:38/ 0 赞/ 135 阅读

相关分布式系统理论基础 - 一致性、2PC和3PC

转载自https://www.cnblogs.com/bangerlee/p/5268485.html 2016-03-14 19:39 by bangerlee, 2094

布满荆棘的人生/ 2022年05月21日 02:54/ 0 赞/ 195 阅读

相关分布式系统那些事-2PC和3PC协议

前言在分布式系统中，每个节点虽然都能明确知道自己事务操作结果是成功还是失败，但是无法直接获取到其他分布式节点的操作结果。因此，当一个事务操作需要跨越多个分布式节点的时候

我就是我/ 2022年05月21日 01:55/ 0 赞/ 273 阅读

相关分布式理论(四) - 3PC协议

前言由于二阶段提交存在着诸如同步阻塞、单点问题、脑裂等缺陷。所以，研究者们在二阶段提交的基础上做了改进，提出了三阶段提交。 ![12738336-978744fa28

叁歲伎倆/ 2022年04月11日 14:55/ 0 赞/ 194 阅读

相关分布式理论(三) - 2PC协议

前言由于BASE理论需要在一致性和可用性方面做出权衡，因此涌现了很多关于一致性的算法和协议。其中比较著名的有二阶提交协议（2 Phase Commitment Prot

叁歲伎倆/ 2022年04月11日 14:55/ 0 赞/ 174 阅读

相关分布式协议及Zookeeper实现(Paxos、2PC、3PC)(一)

CAP 理论，即对于一个分布式系统而言，它是无法同时满足 Consistency(一致性)、Availability(可用性) 和 Partition toleranc

约定不等于承诺〃/ 2022年02月15日 18:43/ 0 赞/ 314 阅读

相关 2pc，3pc协议

参考倪超所著书籍《从poaxs到zookeeper 分布性一致协议》 2pc ![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGV

妖狐艹你老母/ 2021年11月09日 01:28/ 0 赞/ 338 阅读