分布式事务

#博学谷IT学习技术支持#

个人笔记后续会进行内容改进

本地事务，也就是传统的**单机事务**。在传统数据库事务中，必须要满足四个原则：

* 原子性（Atomicity）: 事务是不可分割的最小操作单位，要么同时成功，要么同时失败

* 一致性（Consistency） :事务完成时，必须使所有的数据都保持一致状态

* 隔离性（Isolation） :多个事务之间，操作的可见性

* 持久性（Durability） :事务一旦提交或回滚，它对数据库中的数据的改变就是永久的

分布式事务**，就是指不是在单个服务或单个数据库架构下，产生的事务，例如：

- 跨数据源的分布式事务

- 跨服务的分布式事务

- 综合情况

 CAP定理

1998年，加州大学的计算机科学家 Eric Brewer 提出，分布式系统有三个指标。

> - Consistency（一致性）

Consistency（一致性）：用户访问分布式系统中的任意节点，得到的数据必须一致。

> - Availability（可用性）

Availability （可用性）：用户访问集群中的任意健康节点，必须能得到响应，而不是超时或拒绝。

> - Partition tolerance （分区容错性）

Partition（分区）：因为网络故障或其它原因导致分布式系统中的部分节点与其它节点失去连接，形成独立分区。

矛盾：

在P一定会出现的情况下，A和C之间只能实现一个。

分布式事务最大的问题是各个子事务的一致性问题，因此可以借鉴CAP定理和BASE理论，有两种解决思路：

- AP模式：各子事务分别执行和提交，允许出现结果不一致，然后采用弥补措施恢复数据即可，实现最终一致。

- CP模式：各个子事务执行后互相等待，同时提交，同时回滚，达成强一致。但事务等待过程中，处于弱可用状态。

Seata的架构

Seata事务管理中有三个重要的角色：

- **TC (Transaction Coordinator) -** **事务协调者：**维护全局和分支事务的状态，协调全局事务提交或回滚。

- **TM (Transaction Manager) -** **事务管理器：**定义全局事务的范围、开始全局事务、提交或回滚全局事务。

- **RM (Resource Manager) -** **资源管理器：**管理分支事务处理的资源，与TC交谈以注册分支事务和报告分支事务的状态，并驱动分支事务提交或回滚。

Seata四种事务：

Xa模式

At模式

Ttc模式

Saga模式

Xa模式历程：

一阶段：

- 事务协调者通知每个事物参与者执行本地事务

- 本地事务执行完成后报告事务执行状态给事务协调者，此时事务不提交，继续持有数据库锁

二阶段：

- 事务协调者基于一阶段的报告来判断下一步操作

  - 如果一阶段都成功，则通知所有事务参与者，提交事务

  - 如果一阶段任意一个参与者失败，则通知所有事务参与者回滚事务

优点：

- 事务的强一致性，满足ACID原则。

- 常用数据库都支持，实现简单，并且没有代码侵入

缺点：

- 因为一阶段需要锁定数据库资源，等待二阶段结束才释放，性能较差

- 依赖关系型数据库实现事务

At模式历程：

阶段一RM的工作：

- 注册分支事务

- 记录undo-log（数据快照）

- 执行业务sql并提交

- 报告事务状态

阶段二提交时RM的工作：

- 删除undo-log即可

阶段二回滚时RM的工作：

- 根据undo-log恢复数据到更新前

优点：

- 一阶段完成直接提交事务，释放数据库资源，性能比较好

- 利用全局锁实现读写隔离

- 没有代码侵入，框架自动完成回滚和提交

缺点：

- 两阶段之间属于软状态，属于最终一致

- 框架的快照功能会影响性能，但比XA模式要好很多

Ttc模式历程：

- Try：资源检查和预留

- Confirm：业务执行和提交

- Cancel：预留资源的释放

优点：

- 一阶段完成直接提交事务，释放数据库资源，性能好

- 相比AT模型，无需生成快照，无需使用全局锁，性能最强

- 不依赖数据库事务，而是依赖补偿操作，可以用于非事务型数据库

缺点：

- 有代码侵入，需要人为编写try、Confirm和Cancel接口，太麻烦

- 软状态，事务是最终一致

- 需要考虑Confirm和Cancel的失败情况，做好幂等处理

Saga模式：

- 一阶段：直接提交本地事务

- 二阶段：成功则什么都不做；失败则通过编写补偿业务来回滚

优点：

- 事务参与者可以基于事件驱动实现异步调用，吞吐高

- 一阶段直接提交事务，无锁，性能好

- 不用编写TCC中的三个阶段，实现简单

缺点：

- 软状态持续时间不确定，时效性差

- 没有锁，没有事务隔离，会有脏写