月度归档：2026年6月 (53)
Seata AT 原理：undo_log 与全局锁
业务零改造还能自动回滚，靠的是代理数据源偷偷记前后镜像：一阶段本地事务带着 undo_log 提前提交，二阶段回滚就按镜像生成反向 SQL。全局锁从数据库行锁挪到 TC 内存——这就是 AT 快的原因，也是它怕热点行的原因。
Seata 全景：四模式一张图选型
TC 协调、TM 发起、RM 参与——Seata 把前九篇的方案装进了一个框架：AT 零侵入、TCC 高性能、Saga 管长流程、XA 保强一致。四模式不是四选一的玄学，是按侵入度和一致性需求的四张门票。
幂等设计：分布式事务的压舱石
MQ 会重投、框架会重试、用户会手抖、网络会重发——重复是常态，幂等是活路。五大武器：唯一键防重插、去重表防重消、状态机防乱序、Token 防手抖、乐观锁防并发。先查后写有竞态，唯一索引才是最后的墙。
最大努力通知：通知到为止的艺术
给外部商户推支付结果，对方系统宕机三小时——总不能拿 MQ 无限重试陪它耗。最大努力通知：按阶梯间隔尽力喊 N 遍，喊不到就停，再给对方留一个主动查询的口子。内部靠可靠消息，对外靠尽力而为，边界要分清。
事务消息：RocketMQ 半消息与回查
本地消息表的活，RocketMQ 把它下沉到了服务器内部：先发半消息锁住事实，再执行本地事务，提交或删除；进程挂了还有回查兜底。省掉消息表和扫描任务，代价是被绑死在会做事务消息的 MQ 上。
本地消息表：最朴素的最终一致
先发消息后提交事务，回滚收不回消息；先提交再发消息，进程挂了消息蒸发。本地消息表用最笨的办法破局：业务数据和消息记录同库同事务，后台任务扫描投递——不依赖任何框架，两张表加一个定时任务就是全部。
Saga：长事务的状态机与补偿
五环节的退货流程横跨五天，TCC 要写十五个接口，Saga 只要每步配一个补偿：把长事务拆成一串本地事务，失败就逆序回滚。没有预留阶段，换来的是轻；没有隔离性，换来的是必须设计语义锁。
TCC 三大坑：空回滚、幂等、悬挂
网络一抖，Cancel 比 Try 先到（空回滚）、Confirm 被重试调了三遍（幂等）、回滚完迟到的 Try 又把资源冻上了（悬挂）。三大坑一个根源：远程调用的时序不可控。一张事务控制表管住三个接口的状态，全防住。
TCC：把事务搬进业务代码
XA 的性能债还不起，就用业务改造来换：Try 预留、Confirm 确认、Cancel 释放。把数据库的锁换成业务字段里的冻结标记，吞吐回来了，代价是每个参与者多写两个接口、多背一套幂等纪律。