一文搞懂分布式事务

什么是事务

事务可以看做是一次大的活动，它由不同的小活动组成，这些活动要么全部成功，要么全部失败。

本地事务

在计算机系统中，更多的是通过关系型数据库来控制事务，这是利用数据库本身的事务特性来实现的，因此叫数据库事务，由于应用主要靠关系数据库来控制事务，而数据库通常和应用在同一个服务器，所以基于关系型数据库的事务又被称为本地事务。

数据库事务的四大特性：ACID

A（Atomic）：原子性，构成事务的所有操作，要么都执行完成，要么全部不执行，不可能出现部分成功部分失败的情况。

C（Consistency）：一致性，在事务执行前后，数据库的一致性约束没有被破坏。比如：张三向李四转 100 元，转账前和转账后的数据是正确状态这叫一致性，如果出现张三转出 100 元，李四账户没有增加 100 元这就出现了数 据错误，就没有达到一致性。

I（Isolation）：隔离性，数据库中的事务一般都是并发的，隔离性是指并发的两个事务的执行互不干扰，一个事务不能看到其他事务的运行过程的中间状态。通过配置事务隔离级别可以比避免脏读、重复读问题。

D（Durability）：持久性，事务完成之后，该事务对数据的更改会持久到数据库，且不会被回滚。

数据库事务在实现时会将一次事务的所有操作全部纳入到一个不可分割的执行单元，该执行单元的所有操作要么都成功，要么都失败，只要其中任一操作执行失败，都将导致整个事务的回滚。

分布式事务

分布式事务，顾名思义就是包含对分布式系统中不同节点的操作的事务，可以理解为将对同一库事务的概念扩大到了对多个库的事务，目的是为了保证分布式系统中的数据一致性。

通俗来讲，就是一次大的操作由不同的小操作组成，这些小的操作分布在不同的服务器上，且属于不同的应用，分布式事务需要保证这些小操作要么全部成功，要么全部失败。本质上来说，分布式事务就是为了保证不同数据库的数据一致性。

分布式事务处理的关键是：必须有一种方法可以知道事务在任何地方所做的所有动作，提交或回滚事务的决定必须产生统一的结果：全部提交或全部回滚 。

演变过程

随着互联网的快速发展，软件系统由原来的单体应用转变为分布式应用，下图描述来单体应用向微服务的演变：

分布式系统会把一个应用系统拆分为可独立部署的多个服务，因此需要服务与服务之间远程协作才能完成事务操作，这种分布式系统环境下由不同的服务之间通过网络远程协作完成事务称之为分布式事务，例如用户注册送积分事务、创建订单减库存事务，银行转账事务等都是分布式事务。
我们知道本地事务依赖数据库本身提供的事务特性来实现，因此以下逻辑可以控制本地事务 ：

begin transaction; // 1. 本地数据库操作 ：张三减少金额 // 2. 本地数据库操作 ：李四增加金额 commit transation;

但是在分布式环境下，会变成下边这样：

begin transaction； // 1. 本地数据库操作 ：张三减少金额 // 2. 远程调用 ：让李四增加金额 commit transation;

可以设想，当远程调用让李四增加金额成功来，由于网络问题远程调用并没有返回，此时本地事务提交失败的回滚来张三减少金额的操作，此时张三和李四的数据就不一致了。
因此在分布式架构的基础上，传统数据库事务就无法使用了，张三和李四的账户不在一个数据库中甚至不在一个应用系统里，实现转账事务需要通过远程调用，由于网络问题就会导致分布式事务问题。

分布式事务产生的场景

1、典型的场景就是微服务架构，微服务之间通过远程调用完成事务操作。比如 ：订单微服务和库存微服务，下单的同时订单微服务请求库存微服务减库存。简言之 ：跨JVM进程产生分布式事务。

2、单体系统访问多个数据库实例，当单体系统需要访问多个数据库（实例）时就会产生分布式事务。比如：用户信息和订单信息分别在两个MySQL实例存储，用户管理系统删除用户信息，需要分别删除用户信息及用户的订单信息，由于数据分布在不同的数据实例，需要通过不同的数据库链接去操作数据，此时产生分布式事务。简言之 ：跨数据库实例产生分布式事务。

3、多服务访问同一个数据库实例，比如 ：订单微服务和库存微服务即使访问同一个数据库也会产生分布式事务，原因就是跨JVM进程，两个微服务持有了不同的数据库链接进行数据库操作，此时产生分布式事务。

分布式事务理论及解决方案：

1.CAP和BASE理论

2.两/三阶段提交

3.tcc分布式事务

4.基于本地消息表的最终一致性

5.基于可靠消息的最终一致性- 最常用
6.最大努力通知