三、分布式事务
一、分布式事务简述
原因：分布式条件下，多个节点操作的整体事务一致性。
实现方式：
- 强一致：XA。
- 弱一致：使用一套事务框架，保证最终一致的事务，柔性事务。
二、XA分布式事务
1、XA模块描述
- 应用程序（AP）：定义事务边界（开始于结束，并且在事务边界内对资源进行操作）。
- 资源管理器（RM）：如数据库、文件系统。并提供访问资源的方式。
- 事务管理器（TM）：负责分配事务唯一标识，监控事务的执行速度，并负责事务的提交、回滚。
2、XA接口（两阶段事务）
- xa_start：负责开启或恢复一个事务分支。
- xa_end：负责取消当前线程与事务分支的关联。
- xa_prepare：询问RM是否准备好提交事务。
- xa_commit：通知RM提交事务分支。
- xa_rollback：通知RM回滚事务分支。
- xa_recover：需要回复的xa事务。
3、主流支持XA的框架
- Atomikos
- Narayana
- Seata
注意：XA默认不会改变隔离级别
三、Base柔性事务
事务发展：本地事务 -> XA(两阶段) -> Base
柔性事务(Base)三个要素：
- 基本可用：保证事务参与方不一定同时在线。
- 柔性状态：允许系统状态更新有一定延时，客户不一定能够察觉。
- 最终一致性：通过消息传递的方式保证系统的最终一致性。
| 本地事务 | XA两阶段事务 | 柔性事务 | |
| 业务改造 | 无 | 无 | 实现相关接口 |
| 一致性 | 不支持 | 支持 | 最终一致 |
| 隔离性 | 不支持 | 支持 | 业务方保证 |
| 并发性能 | 无影响 | 严重衰退 | 略有影响 |
| 适合场景 | 业务方处理不一致 | 短事务&低并发 | 长事务&高并发 |
四、TCC/AT以及相关框架（柔性事务）
1、TCC要求必须实现三段逻辑
- Try：完成业务检查，预留必须的业务资源。
- Confim：真正执行业务逻辑，不能业务检查，需满足幂等性。
- Cancel：释放Try阶段预留的业务资源，需满足幂等性。
提示：与XA区别就是把XA事务管理（TM）模块移到代码中。
TCC注意问题：允许空回滚、房悬挂控制、幂等设计。
2、Saga
与TCC区别：没有Try阶段，直接提交事务。
3、AT（对TCC、Saga模式进行优化）
AT模式是两阶段提交，自动生成反向SQL。
方式：通过中间件或框架拦住第一阶段SQL，然后生成反向SQL，如果有异常，进入第二阶段，取到反向SQL执行。
注：柔性事务隔离级别为读已提交、读未提交。
