分布式事务,原来可以这么玩?

简介: 多个数据要同时操作,如何保证数据的完整性,以及一致性?

多个数据要同时操作,如何保证数据的完整性,以及一致性?
答:事务,是常见的做法。

举个栗子:

用户下了一个订单,需要修改余额表,订单表,流水表,于是会有类似的伪代码:

start transaction;

 CURD table t_account;  any Exception rollback;

 CURD table t_order;      any Exception rollback;

 CURD table t_flow;        any Exception rollback;

commit;

如果对余额表,订单表,流水表的SQL操作全部成功,则全部提交

如果任何一个出现问题,则全部回滚

事务,以保证数据的完整性以及一致性。

事务的方案会有什么潜在问题?

答:互联网的业务特点,数据量较大,并发量较大,经常使用拆库的方式提升系统的性能。如果进行了拆库,余额、订单、流水可能分布在不同的数据库上,甚至不同的数据库实例上,此时就不能用数据库原生事务来保证数据的一致性了。

高并发易落地的分布式事务,是行业没有很好解决的难题,那怎么办呢?
答:补偿事务是一种常见的实践。

什么是补偿事务?

答:补偿事务,是一种在业务端实施业务逆向操作事务。

举个栗子:

修改余额,事务为:

int Do_AccountT(uid, money){

    start transaction;

         //余额改变money这么多

         CURD table t_account with money for uid;

         anyException rollback return NO;

    commit;

    return YES;

}

那么,修改余额,补偿事务可以是:

int Compensate_AccountT(uid, money){

         //做一个money的反向操作

         return Do_AccountT(uid, -1*money){

}

同理,订单操作,事务是:Do_OrderT,新增一个订单;

订单操作,补偿事务是:Compensate_OrderT,删除一个订单。

要保证余额与订单的一致性,伪代码:

// 执行第一个事务

int flag = Do_AccountT();

if(flag=YES){

    //第一个事务成功,则执行第二个事务

    flag= Do_OrderT();

    if(flag=YES){

        // 第二个事务成功,则成功

        return YES;

    }

    else{

        // 第二个事务失败,执行第一个事务的补偿事务

        Compensate_AccountT();

    }

}

补偿事务有什么缺点?

不同的业务要写不同的补偿事务,不具备通用性;

没有考虑补偿事务的失败;

如果业务流程很复杂,if/else会嵌套非常多层;

画外音:上面的例子还只考虑了余额+订单的一致性,就有22=4个分支,如果要考虑余额+订单+流水的一致性,则会有22*2=8个if/else分支,复杂性呈指数级增长。

还有其它简易一致性实践么?
答:多个数据库实例上的多个事务,要保证一致性,可以进行“后置提交优化”。

单库是用这样一个大事务保证一致性:

start transaction;

 CURD table t_account;  any Exception rollback;

 CURD table t_order;      any Exception rollback;

 CURD table t_flow;        any Exception rollback;

commit;

拆分成了多个库后,大事务会变成三个小事务:

start transaction1;

         //第一个库事务执行

         CURD table t_account; any Exception rollback;

         …

// 第一个库事务提交

commit1;



start transaction2;

         //第二个库事务执行

         CURD table t_order; any Exception rollback;

         …

// 第二个库事务提交

commit2;



start transaction3;

         //第三个库事务执行

         CURD table t_flow; any Exception rollback;

         …

// 第三个库事务提交

commit3;

画外音:再次提醒,这三个事务发生在三个库,甚至3个不同实例的数据库上。

一个事务,分成执行与提交两个阶段:

执行(CURD)的时间很长

提交(commit)的执行很快

于是整个执行过程的时间轴如下:
image.png

第一个事务执行200ms,提交1ms;

第二个事务执行120ms,提交1ms;

第三个事务执行80ms,提交1ms;

在什么时候,会出现不一致?

答:第一个事务成功提交之后,最后一个事务成功提交之前,如果出现问题(例如服务器重启,数据库异常等),都可能导致数据不一致。
image.png

画外音:如上图,最后202ms内出现异常,会出现不一致。

什么是后置提交优化?

答:如果改变事务执行与提交的时序,变成事务先执行,最后一起提交。

image.png

第一个事务执行200ms,第二个事务执行120ms,第三个事务执行80ms;

第一个事务提交1ms,第二个事务提交1ms,第三个事务提交1ms;

后置提交优化后,在什么时候,会出现不一致?

答:问题的答案与之前相同,第一个事务成功提交之后,最后一个事务成功提交之前,如果出现问题(例如服务器重启,数据库异常等),都可能导致数据不一致。

image.png

画外音:如上图,最后2ms内出现异常,会出现不一致。

有什么区别和差异?

答:

串行事务方案,总执行时间是303ms,最后202ms内出现异常都可能导致不一致;

后置提交优化方案,总执行时间也是303ms,但最后2ms内出现异常才会导致不一致;

虽然没有彻底解决数据的一致性问题,但不一致出现的概率大大降低了。

画外音:上面这个例子,概率降低了100倍。

后置提交优化,有什么不足?

答:对事务吞吐量会有影响:

  • 串行事务方案,第一个库事务提交,数据库连接就释放了;
  • 后置提交优化方案,所有库的连接,要等到所有事务执行完才释放;

这就意味着,数据库连接占用的时间增长了,系统整体的吞吐量降低了。

总结
分布式事务,两种常见的实践:

  • 补偿事务
  • 后置提交优化

trx1.exec(); trx1.commit();

trx2.exec(); trx2.commit();

trx3.exec(); trx3.commit();

优化为:

trx1.exec(); trx2.exec(); trx3.exec();

trx1.commit(); trx2.commit(); trx3.commit();

这个小小的改动(改动成本极低),不能彻底解决多库分布式事务数据一致性问题,但能大大降低数据不一致的概率,牺牲的是吞吐量。

对于一致性与吞吐量的折衷,还需要业务架构师谨慎权衡折衷。

画外音:还是那句话,一切脱离业务常见的架构设计,都是耍流氓。

思路比结论重要,希望大家有收获。

image.png
架构师之路-分享可落地的技术文章

目录
相关文章
|
3天前
|
云安全 人工智能 运维
阿里云SecOps Agent,全新安全跨产品执行体验
自然语言驱动 云安全中心/WAF/CFW/ 等多款安全产品联动
1593 2
|
3天前
|
机器学习/深度学习 人工智能 调度
🐴 HappyHorse 1.1 现已上线阿里云百炼!快来查收模型使用指南,现在调用享 6 折~
HappyHorse 1.1 是新一代视频生成大模型,全面升级动态表现力、角色一致性、指令遵循、视觉质感与音画协同能力。支持I2V/T2V/R2V三类生成,适配短剧、电商广告、品牌营销等场景,提供高质、流畅、可控的AI视频生产力。
557 3
🐴 HappyHorse 1.1 现已上线阿里云百炼!快来查收模型使用指南,现在调用享 6 折~
|
14天前
|
缓存 测试技术 API
Qwen 3.7 Plus 与 Max 实测:性价比与多模态能力差异解析(2026)
2026 年 6 月 1 日,阿里悄无声息地发布了 Qwen 3.7 Plus,距 Qwen 3.7 Max 上线刚好 11 天。同样的 1M 上下文,同样的 35 小时自治上限。但价格才是头条:Plus 是 0.40/M输入,Max是 2.50/M——便宜约 6 倍——并且还能看图、看视频。Vision Arena 上 Plus 已经排到 #16。所以这周真正值得讨论的问题不是”要不要为视觉能力买单”,而是”Max 凭什么用 6 倍价格换来 2 个百分点的 benchmark 领先”。
|
15天前
|
JavaScript 定位技术 API
CodeGraph 爆火:编程 Agent 需要的不是更多上下文,而是一张提前画好的代码地图
CodeGraph 是一款爆火的本地代码智能工具,通过 tree-sitter 解析 AST 构建结构化知识图谱(存于 SQLite),为编程 Agent 提前生成“代码地图”。它显著降低 Agent 在中大型项目中的探索成本——实测工具调用减少71%、Token 降57%、速度提升46%,支持19+语言及主流框架路由识别,完全离线、无需 API Key。
899 11
CodeGraph 爆火:编程 Agent 需要的不是更多上下文,而是一张提前画好的代码地图
|
2天前
|
人工智能 监控 前端开发
Electron 监控:让桌面 Agent 监控触手可及
一行代码实现Electron桌面端全景监控,自动还原崩溃现场、预警内存泄漏、全链路追踪、 SSE流式响应与交互埋点,让 AI 助手运行状态清晰可见,助力快速恢复稳定与流畅。
177 125
|
2天前
|
消息中间件 人工智能 Kafka
AI 时代,实时入湖正在告别 ETL:从 Kafka 到 Iceberg 的架构减法
本文围绕“零 ETL”这一趋势,讨论流数据入湖为什么需要做架构减法,并结合 Kafka × Table Bucket 的实践,分析一种将通用入湖能力前移到消息与表存储链路中的方案,如何在降低复杂度的同时,兼顾实时性、一致性、Schema 演进、CDC 语义与开放生态兼容。
182 121
|
7天前
|
缓存 人工智能 运维
GLM 5.2自托管全流程实战:硬件选型、vLLM/SGLang部署与成本盈亏测算
2026年智谱发布GLM 5.2超大混合专家模型,区别于以往仅开放API的闭源大模型,该模型权重以MIT开源协议对外发布,企业与开发者可完整下载、本地审计、私有化部署,实现数据不出环境、自定义微调、自主调度推理资源。GLM 5.2拥有753B总参数,原生支持百万级上下文窗口,在代码生成、长文档推理、数学逻辑等多项基准测试中对标国际顶尖商用模型,是首款可完整自托管的前沿代码向大模型。
613 0
|
15天前
|
人工智能 运维 JavaScript
阿里云Qoder CN(原通义灵码)全解析 产品形态、版本划分与技术适配说明
在AI辅助开发与智能办公工具持续普及的当下,阿里云旗下原通义灵码正式更名为Qoder CN,同时延伸出QoderWork CN、Qoder CN CLI、Qoder CN Mobile等多款配套产品,形成覆盖代码开发、日常办公、终端交互、移动端使用的完整工具矩阵。Qoder CN核心定位为AI智能编码助手,深度适配主流代码编辑器、集成开发环境以及终端场景;QoderWork CN则偏向桌面端综合办公辅助,二者面向不同使用场景,划分了多个版本档位,搭配差异化资源配额、功能权限与计费规则,同时兼容多款主流大模型。
975 8