📚 课程目录第3章分布式事务核心概念

3. 分布式事务核心概念：CAP理论、BASE理论、TCC、Saga模式

在构建分布式压测场景库之前，必须深刻理解分布式事务的理论基石与实现模式。这些概念直接决定了压测场景的构造方式、故障注入点以及断言策略。本节将系统梳理从理论到实践的完整知识链。

3.1 CAP理论：分布式系统的“不可能三角”

CAP理论由Eric Brewer于2000年提出，是分布式系统的根本性约束。它指出一个分布式系统最多只能同时满足以下三个特性中的两个：

特性	全称	核心含义	压测关注点
C	Consistency（一致性）	所有节点在同一时刻看到相同的数据	强一致性场景下，压测需验证数据最终是否完全对齐
A	Availability（可用性）	每个请求都能获得非错误的响应	压测需模拟节点故障，验证服务降级或熔断行为
P	Partition Tolerance（分区容错性）	系统在网络分区时仍能正常运行	压测需注入网络延迟、丢包、分区等故障

    压测启示： 在gRPC契约测试中，CAP选择决定了接口的响应模式。例如，选择CP的系统在分区时可能返回错误或超时，而AP系统则可能返回旧数据。压测场景库必须覆盖这两种路径。

3.2 BASE理论：最终一致性的实践指南

BASE理论是对CAP中AP路线的延伸，由eBay架构师Dan Pritchett提出。它强调系统在可用性和分区容错的前提下，通过“最终一致性”来达到业务目标。

BA（Basically Available）基本可用： 允许部分功能降级，但核心服务保持响应。压测中需验证降级策略是否按预期触发。
S（Soft State）软状态： 允许系统中间状态存在，数据副本不必实时一致。压测需关注中间状态下的接口行为。
E（Eventually Consistent）最终一致： 经过一定时间窗口后，所有副本数据达成一致。压测需测量“不一致窗口”的时长。

gRPC契约测试要点： 对于BASE系统，契约测试应包含“读取可能返回旧数据”的响应模式。建议在proto中增加 stale_timestamp 或 version 字段，让客户端感知数据版本。

3.3 TCC模式：补偿型事务的经典实现

TCC（Try-Confirm/Cancel）是一种补偿型分布式事务模式，通过业务逻辑的拆解来实现最终一致性。它适用于需要强隔离性的场景，如订单、支付、库存。

阶段	操作	成功条件	失败处理
Try	预留资源（冻结库存、锁定账户）	所有参与者Try成功	执行Cancel释放预留
Confirm	确认执行（扣减库存、完成转账）	所有参与者Confirm成功	重试或人工介入
Cancel	回滚补偿（释放预留、退回金额）	幂等执行，保证最终释放	持续重试直到成功

压测陷阱： TCC的Cancel操作必须幂等。压测场景库中应构造“重复Cancel”和“Cancel超时后重试”的用例，验证服务端幂等性实现是否正确。

3.4 Saga模式：长事务的编排与协同

Saga模式是一种将长事务拆分为多个本地事务，并通过补偿操作来回滚的模式。它适用于跨多个微服务的业务流程，如订单创建、物流配送、积分发放。

3.4.1 两种实现方式

方式	控制流	优点	缺点	压测场景
Choreography（编排）	事件驱动，各服务监听事件并执行	去中心化，耦合低	事务边界模糊，调试困难	验证事件顺序、消息丢失恢复
Orchestration（协调）	中央协调器（如Saga Manager）控制流程	事务边界清晰，易于监控	协调器成为单点瓶颈	验证协调器高可用、超时重试

    gRPC契约测试建议： 对于Orchestration模式，建议在proto中定义 SagaState 枚举（PENDING/COMPENSATING/COMPLETED/FAILED），并在每个gRPC响应中携带当前Saga状态，便于压测断言。

3.4.2 Saga补偿示例（订单流程）

// 订单创建Saga流程（Orchestration模式）
1. 订单服务：创建订单（状态：待支付）
   → 失败：结束（无补偿）
2. 支付服务：扣款
   → 失败：补偿 → 订单服务取消订单
3. 库存服务：扣减库存
   → 失败：补偿 → 支付服务退款 + 订单服务取消订单
4. 物流服务：创建配送单
   → 失败：补偿 → 库存服务恢复库存 + 支付服务退款 + 订单服务取消订单
5. 积分服务：发放积分
   → 失败：补偿 → 物流服务取消配送 + 库存服务恢复库存 + 支付服务退款 + 订单服务取消订单

压测场景库设计： 针对Saga模式，建议构造以下压测场景：
• 正常流程：所有步骤成功，验证最终状态一致
• 单步失败：在步骤3注入失败，验证补偿链是否完整执行
• 补偿失败：模拟补偿操作超时，验证重试机制和最终状态
• 并发冲突：多个Saga同时操作同一资源，验证隔离性

3.5 四种模式对比总结

维度	CAP理论	BASE理论	TCC模式	Saga模式
定位	理论约束	设计哲学	实现模式	实现模式
一致性	强/弱/最终	最终一致	最终一致	最终一致
隔离性	—	—	强（资源预留）	弱（无隔离）
适用场景	架构决策	系统设计	短事务、高冲突	长事务、低冲突
压测重点	分区故障、超时	不一致窗口测量	幂等性、Cancel重试	补偿链完整性、并发

关键提醒： 在gRPC契约测试中，TCC和Saga的补偿操作必须通过契约显式定义。建议在proto中为每个补偿操作定义独立的RPC方法，并标注 idempotent 语义，压测时通过重复调用验证幂等性。