分布式事务思维导图
分布式理论
CAP理论作为分布式系统的基础理论,它描述的是一个分布式系统在以下三个特性:
一致性(Consistency)
可用性(Availability)
分区容错性(Partition tolerance)
刚性事务
遵循ACID原则,强一致性
ACID 是什么?
A : 原子性(Atomicity)
C : 一致性(Consistency)
I : 隔离性(Isolation)
D : 持久性(Durability)
柔性事务
分布式事务的方案是使用柔性事务
理论基础
BASE是Basically Available(基本可用)、Soft state(软状态)和Eventually consistent(最终一致性)三个短语的简写,BASE是对CAP中一致性和可用性权衡的结果
基本可用(Basically Available)
软状态(Soft State)
最终一致性(Eventually Consistent)## 异步确保型
补偿型
TCC操作
TCC 即 Try-Confirm-Cancel。
Try: 尝试执行业务
完成所有业务检查(一致性) 预留必须业务资源(准隔离性)
Confirm:确认执行业务
真正执行业务 不作任何业务检查 只使用Try阶段预留的业务资源 Confirm操作要满足幂等性
Cancel: 取消执行业务
释放Try阶段预留的业务资源
Cancel操作要满足幂等性
2阶段
XA 协议最早的分布式事务模型是由 X/Open 国际联盟提出的 X/Open Distributed Transaction Processing(DTP)模型,简称 XA 协议。
3阶段
3pc
最大努力通知型
sharding-jdbc
异步确保型(最终一致性)
将一些同步阻塞的事务操作变为异步的操作,避免对数据库事务的争用,典型例子是热点账户异步记账、批量记账的处理。