Saga 补偿事务如何设计？

简化版

Saga 把长事务拆成已提交的本地事务及语义补偿；补偿不是数据库回滚，必须处理不可逆副作用、幂等和补偿失败。

详细版

为每一步定义 forward、compensate、业务键和状态；编排器持久化步骤结果，失败后按已成功步骤的逆序补偿，或选择向前恢复。

回答“Saga 补偿事务如何设计？”时，应说明语义边界、正常流程、异常恢复和验证指标。一个具体例子是：T1、T2、T3 中 T3 失败，只补偿已成功的 T2、T1；每个补偿最多 3 次，仍失败则转人工，不能把 Saga 直接标为已回滚。

关键判断：不能把一次成功响应当作系统已经收敛，还要解释重复、超时、乱序和节点故障。

完整版教学

一、概念与业务边界

Saga 把长事务拆成已提交的本地事务及语义补偿；补偿不是数据库回滚，必须处理不可逆副作用、幂等和补偿失败。

为每一步定义 forward、compensate、业务键和状态；编排器持久化步骤结果，失败后按已成功步骤的逆序补偿，或选择向前恢复。

易错点：分析“Saga 补偿事务如何设计？”时，先确认权威状态和允许的不一致窗口，再选择组件；技术名词不能替代业务语义。

二、关键状态与身份

分析“Saga 补偿事务如何设计？”需要为动作建立稳定业务身份，并让状态带版本、阶段和时间边界。该题中的重试要复用业务身份，新的业务动作才生成新身份；否则无法区分重试与重复业务。

“Saga 补偿事务如何设计？”涉及的关键状态必须能在进程重启后恢复。跨越两个系统时，应把未完成意图持久化并允许后台继续推进，不能依赖进程内标志。

三、主流程

业务请求与稳定身份
  -> 校验当前状态和版本
  -> 原子执行本地变更 / 记录待办意图
  -> 推进远端动作或缓存状态
  -> 查询、重试、补偿与对账

对“Saga 补偿事务如何设计？”而言，主流程的每一步都要有明确成功证明；结果未知时进入可查询状态，不能直接假定成功或失败。

四、数字与容量推演

T1、T2、T3 中 T3 失败，只补偿已成功的 T2、T1；每个补偿最多 3 次，仍失败则转人工，不能把 Saga 直接标为已回滚。

上述数字用于验证“Saga 补偿事务如何设计？”的量级。生产参数还要结合 P99、峰值流量、故障持续时间和业务截止时间校准，并预留恢复期间的额外容量。

五、方案对比

方案	优点	主要边界
编排式 Saga	流程清晰易审计	编排器复杂
事件编舞	服务解耦	全局状态难理解
强事务	中间态不可见	锁和可用性代价高

“Saga 补偿事务如何设计？”没有脱离场景的最佳方案。正确做法是先满足正确性和恢复要求，再针对已经测出的延迟或吞吐瓶颈优化。

六、故障边界与恢复

需要演练以下故障：

• 补偿动作本身失败。
• 外部通知无法撤回。
• 补偿与迟到正向请求并发。
• 业务规则变化后旧补偿失效。

“Saga 补偿事务如何设计？”的恢复动作必须幂等、有次数与截止时间；无法自动判定的记录转入人工队列。人工处理也要经过状态机并保留审计，不能直接改终态字段。

七、观测与上线验收

验收“Saga 补偿事务如何设计？”至少监控请求量、成功率、P95/P99、重试量、积压最老年龄、异常终态和资源水位。上线先只观测再灰度执行，同时比较业务正确性与系统负载。

对“Saga 补偿事务如何设计？”的验收应包含故障注入：在关键提交窗口制造超时、宕机、重复和乱序，确认系统最终状态、业务副作用与审计记录一致。

八、常见误区与追问

• 误区：补偿就是执行反向 SQL。 退款、撤销库存是新业务动作。
• 误区：Saga 能恢复任意副作用。 邮件、已消费权益等可能不可逆。
• 追问：补偿顺序为何逆序？ 后一步通常依赖前一步资源，逆序更易解除依赖。
• 追问：如何做幂等？ 以 saga_id、step_id、action 建唯一键。
• 追问：何时向前恢复？ 补偿代价更高且目标仍可达时继续完成后续步骤。

九、加强记忆

回答“Saga 补偿事务如何设计？”可以按“语义—身份—原子边界—异常—验收”展开。先说清什么必须一致，再给稳定身份和主流程，随后覆盖超时、重复、乱序与恢复，最后用数字、指标和对账证明方案能收敛。