跨服务事务边界从本地数据库扩展到调用链
每个服务先完成本地事务，再通过消息、补偿和对账维持整体一致性
订单服务
本地事务
创建订单 / 写状态
事务事件
订单已创建
状态机
待支付 / 已取消
库存服务
本地事务
预占库存 / 释放库存
补偿动作
支付失败后回滚占用
幂等键
订单号 + 商品行
支付服务
本地事务
记录支付请求
外部回执
成功 / 失败 / 未知
对账任务
修复不一致状态
事件驱动
异步确认
补偿、重试与对账形成恢复闭环
一致性目标
强一致用于关键约束，最终一致用于可补偿流程；状态机、幂等和对账决定系统能否恢复。