0

0

c# 如何用 c# 实现分布式事务 Saga 模式和 TCC 模式

煙雲

煙雲

发布时间:2026-01-13 05:15:18

|

956人浏览过

|

来源于php中文网

原创

Saga模式在C#中落地需以状态机管理流程、异步幂等补偿;TCC则要求Try预留资源、Confirm/Cancel严格幂等且隔离;推荐MassTransit+EF Core组合,辅以结构化日志与死信兜底。

c# 如何用 c# 实现分布式事务 saga 模式和 tcc 模式

Saga 模式在 C# 中怎么落地:核心是状态机 + 补偿动作

Saga 不是 .NET 内置特性,得靠自己建模或借助框架。关键不是“怎么写一个 Saga”,而是“怎么保证每步失败后能可靠回退”。Saga 本质是一系列本地事务组成的长活事务,每步成功就推进状态,失败就按反向顺序调用 Compensate() 方法。

常见错误是把补偿逻辑写成同步 HTTP 调用,结果补偿服务不可用导致整个 Saga 卡死。正确做法是:所有补偿操作必须幂等、异步触发、带重试和死信兜底。

  • StateMachine(如 Stateless 或 Automatonymous)管理状态流转,避免 if-else 堆砌
  • 每个步骤的业务逻辑封装进 IHandler,补偿逻辑单独实现 ICompensable
  • 持久化 Saga 实例必须用支持事务的存储(如 SQL Server),否则状态更新和消息发送不一致会丢补偿
  • 推荐用 MassTransit:它内置 SagaRepository 和基于消息的补偿调度,RequestClient 发起请求时自动关联 CorrelationId,避免状态错乱
public class OrderSaga : SagaStateMachineInstance
{
    public Guid CorrelationId { get; set; }
    public OrderState CurrentState { get; set; }
    public string OrderId { get; set; }
    public DateTime? PaymentCompletedAt { get; set; }
}

// 在状态机定义里显式声明 Compensate() During(OrderState.Created, When(OrderSubmitted) .Then(ctx => ctx.Instance.OrderId = ctx.Data.OrderId) .TransitionTo(OrderState.Paid) .Publish(ctx => new PaymentRequested { OrderId = ctx.Instance.OrderId }), When(PaymentFailed) .Compensate(x => x.Send(new CancelOrder { OrderId = x.Instance.OrderId })) .TransitionTo(OrderState.Failed));

TCC 模式在 C# 中怎么写:Try/Confirm/Cancel 必须拆成三个独立可重入方法

TCC 的难点不在接口定义,而在 ConfirmCancel 的幂等性与隔离性控制。很多团队误以为只要加个 [TransactionScope] 就行,但 TCC 是应用层事务,数据库事务范围只到本地 Try 阶段。

典型陷阱是:Try 阶段扣减库存用了 UPDATE stock SET quantity = quantity - @n WHERE id = @id AND quantity >= @n,但 Confirm 时没校验“是否已被其他订单占用”,导致超卖。

  • Try 必须预留资源并冻结(比如冻结账户额度、标记库存为“预占”),不能直接扣减
  • Confirm 只做最终提交:把“预占”转为“已占”,且要检查原始 Try 是否成功、是否被重复 Confirm
  • Cancel 必须释放预留资源,且允许被多次调用(例如网络重发导致 Cancel 到达两次)
  • 建议用分布式锁(如 Redis 的 SET key value EX 30 NX)保护 Confirm/Cancel 入口,防止并发冲突
public interface IInventoryService
{
    Task TryReserveAsync(string sku, int quantity);
    Task ConfirmReserveAsync(string sku, int quantity); // 检查 reserve_id 是否存在且未 confirm
    Task CancelReserveAsync(string sku, int quantity); // 删除 reserve 记录即可,幂等
}

MassTransit + Entity Framework 是目前最稳的 C# Saga/TCC 组合

别自己手撸事务协调器。MassTransit 提供了开箱即用的 Saga 持久化、消息去重、重试策略和可观测性钩子;EF Core 则能保证本地事务与 Saga 状态更新原子提交。

FastGPT
FastGPT

FastGPT 是一个基于 LLM 大语言模型的知识库问答系统

下载

性能影响集中在两点:一是 Saga 状态表频繁读写,需对 CorrelationId 加唯一索引;二是 Confirm/Cancel 失败后进入死信队列,若没配置告警会悄无声息丢失事务一致性。

  • EntityFrameworkSagaRepository 替代内存版,避免进程重启后 Saga 状态丢失
  • 所有 Compensate 消息必须设置 TimeToLive(如 15 分钟),防止陈旧补偿污染业务
  • TCC 的 Confirm 接口建议加 [HttpPost("/inventory/confirm")] 并走 API 网关,便于限流和熔断
  • 不要在 Saga 中调用外部 HTTP API 做核心判断(比如调用户中心查余额),应通过事件驱动解耦

最容易被忽略的点:Saga/TCC 日志必须包含完整上下文和时间戳

出问题时,你不会看到 “TCC Confirm 失败”,只会看到一条孤立的 InvalidOperationException。没有 CorrelationId、没有 StepName、没有 OriginalRequest 的日志,等于没日志。

调试时发现补偿失败,90% 情况是因为日志里没记清楚当时 Try 预留了什么值、Confirm 时查到了什么状态、Cancel 调用传入的参数是否和 Try 匹配。

  • 所有 Saga 状态变更必须写入结构化日志(如 Serilog),字段包括:CorrelationIdStepInputOutputTimestamp
  • TCC 的每个方法入口第一行打日志:Log.Information("TryReserve {@Request} at {Timestamp}", request, DateTime.UtcNow)
  • 禁止在补偿逻辑里吞异常,catch 后必须重新抛出或记录明确错误码(如 COMPENSATE_FAILED_LOCK_TIMEOUT

相关专题

更多
数据分析工具有哪些
数据分析工具有哪些

数据分析工具有Excel、SQL、Python、R、Tableau、Power BI、SAS、SPSS和MATLAB等。详细介绍:1、Excel,具有强大的计算和数据处理功能;2、SQL,可以进行数据查询、过滤、排序、聚合等操作;3、Python,拥有丰富的数据分析库;4、R,拥有丰富的统计分析库和图形库;5、Tableau,提供了直观易用的用户界面等等。

676

2023.10.12

SQL中distinct的用法
SQL中distinct的用法

SQL中distinct的语法是“SELECT DISTINCT column1, column2,...,FROM table_name;”。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

320

2023.10.27

SQL中months_between使用方法
SQL中months_between使用方法

在SQL中,MONTHS_BETWEEN 是一个常见的函数,用于计算两个日期之间的月份差。想了解更多SQL的相关内容,可以阅读本专题下面的文章。

346

2024.02.23

SQL出现5120错误解决方法
SQL出现5120错误解决方法

SQL Server错误5120是由于没有足够的权限来访问或操作指定的数据库或文件引起的。想了解更多sql错误的相关内容,可以阅读本专题下面的文章。

1094

2024.03.06

sql procedure语法错误解决方法
sql procedure语法错误解决方法

sql procedure语法错误解决办法:1、仔细检查错误消息;2、检查语法规则;3、检查括号和引号;4、检查变量和参数;5、检查关键字和函数;6、逐步调试;7、参考文档和示例。想了解更多语法错误的相关内容,可以阅读本专题下面的文章。

357

2024.03.06

oracle数据库运行sql方法
oracle数据库运行sql方法

运行sql步骤包括:打开sql plus工具并连接到数据库。在提示符下输入sql语句。按enter键运行该语句。查看结果,错误消息或退出sql plus。想了解更多oracle数据库的相关内容,可以阅读本专题下面的文章。

675

2024.04.07

sql中where的含义
sql中where的含义

sql中where子句用于从表中过滤数据,它基于指定条件选择特定的行。想了解更多where的相关内容,可以阅读本专题下面的文章。

571

2024.04.29

sql中删除表的语句是什么
sql中删除表的语句是什么

sql中用于删除表的语句是drop table。语法为drop table table_name;该语句将永久删除指定表的表和数据。想了解更多sql的相关内容,可以阅读本专题下面的文章。

414

2024.04.29

Java 项目构建与依赖管理(Maven / Gradle)
Java 项目构建与依赖管理(Maven / Gradle)

本专题系统讲解 Java 项目构建与依赖管理的完整体系,重点覆盖 Maven 与 Gradle 的核心概念、项目生命周期、依赖冲突解决、多模块项目管理、构建加速与版本发布规范。通过真实项目结构示例,帮助学习者掌握 从零搭建、维护到发布 Java 工程的标准化流程,提升在实际团队开发中的工程能力与协作效率。

10

2026.01.12

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
进程与SOCKET
进程与SOCKET

共6课时 | 0.3万人学习

Redis+MySQL数据库面试教程
Redis+MySQL数据库面试教程

共72课时 | 6.3万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号