seata分布式事物模型

Seata 是一款开源的分布式事务解决方案，致力于提供高性能和简单易用的分布式事务服务。Seata 将为用户提供了 AT、TCC、SAGA 和 XA 事务模式，为用户打造一站式的分布式解决方案。

1. AT 模式
两阶段提交协议的演变：
一阶段：业务数据和回滚日志记录在同一个本地事务中提交，释放本地锁和连接资源。
二阶段：提交异步化，非常快速地完成。
回滚通过一阶段的回滚日志进行反向补偿。
以一个示例来说明：
两个全局事务 tx1 和 tx2，分别对 a 表的 m 字段进行更新操作，m 的初始值 1000。
tx1 先开始，开启本地事务，拿到本地锁，更新操作 m = 1000 - 100 = 900。本地事务提交前，先拿到该记录的 全局锁 ，本地提交释放本地锁。 tx2 后开始，开启本地事务，拿到本地锁，更新操作 m = 900 - 100 = 800。本地事务提交前，尝试拿该记录的 全局锁 ，tx1 全局提交前，该记录的全局锁被 tx1 持有，tx2 需要重试等待 全局锁


如果 tx1 的二阶段全局回滚，则 tx1 需要重新获取该数据的本地锁，进行反向补偿的更新操作，实现分支的回滚。

此时，如果 tx2 仍在等待该数据的 全局锁，同时持有本地锁，则 tx1 的分支回滚会失败。分支的回滚会一直重试，直到 tx2 的 全局锁 等锁超时，放弃 全局锁 并回滚本地事务释放本地锁，tx1 的分支回滚最终成功。

因为整个过程 全局锁 在 tx1 结束前一直是被 tx1 持有的，所以不会发生 脏写 的问题

工作流程:
1. 第一阶段， 应用系统会把一个业务数据的事务操作和回滚日志记录在同
一个本地事务中提交，在提交之前，会向TC（seata server）注册事务
分支，并申请针对本次事务操作的表的全局锁。
接着提交本地事务，本地事务会提交业务数据的事务操作以及UNDO
LOG，放在一个事务中提交。
2. 第二个阶段，这一个阶段会根据参与到同一个XID下所有事务分支在第
一个阶段的执行结果来决定事务的提交或者回滚，这个回滚或者提交是
TC来决定的，它会告诉当前XID下的所有事务分支，提交或者回滚。
如果是提交， 则把提交请求放入到一个异步任务队列，并且马上返
回提交成功给到TC，这样可以避免阻塞问题。而这个异步任务，只
需要删除UNDO LOG就行，因为原本的事务已经提交了。
如果是回滚，则开启一个本地事务，执行以下操作
通过XID和Branch ID查找到响应的UNDO LOG记录
数据校验，拿到UNDO LOG中after image（修改之后的数
据）和当前数据进行比较，如果有不同，说明数据被当前全局
事务之外的动作做了修改，这种情况需要根据配置策略来做处
理。
根据UNDO LOG中的before image和业务SQL的相关信息生成
并执行回滚语句
提交本地事务，并把本地事务的执行结果上报给TC

2. TCC模式
回顾总览中的描述：一个分布式的全局事务，整体是 两阶段提交 的模型。全局事务是由若干分支事务组成的，分支事务要满足 两阶段提交 的模型要求，即需要每个分支事务都具备自己的：
一阶段 prepare 行为
二阶段 commit 或 rollback 行为

AT 模式（参考链接 TBD）基于 支持本地 ACID 事务 的 关系型数据库：

一阶段 prepare 行为：在本地事务中，一并提交业务数据更新和相应回滚日志记录。
二阶段 commit 行为：马上成功结束，自动 异步批量清理回滚日志。
二阶段 rollback 行为：通过回滚日志，自动 生成补偿操作，完成数据回滚。

3. Saga 模式
Saga模式是SEATA提供的长事务解决方案，在Saga模式中，业务流程中每个参与者都提交本地事务，当出现某一个参与者失败则补偿前面已经成功的参与者，一阶段正向服务和二阶段补偿服务都由业务开发实现。

优势：
一阶段提交本地事务，无锁，高性能
事件驱动架构，参与者可异步执行，高吞吐
补偿服务易于实现
代码：