分布式
2026/8/14大约 4 分钟
分布式
本专栏聚焦分布式系统中的一致性与事务协作,以 分布式事务学习总纲(西蒙学习法 · 六大阶段 · 14 周)为主线,系列文章按大纲逐步展开。
学习路线
系列文章(按学习顺序,占位待学)
阶段 0 · 事务地基(5 篇)
- ACID 与并发异常:亲手复现脏读、不可重复读、幻读
- 隔离级别与 MVCC:ReadView 与版本链
- InnoDB 日志体系:redo、undo 与内部两阶段提交
- Spring 事务:传播行为与失效场景
- 本地事务的天花板:跨库跨服务为什么失灵
阶段 1~2 · 理论与协议(7 篇)
- 分布式的物理现实:分区、部分失败与时钟
- CAP 定理:为什么是三选二
- BASE 定理与一致性谱系
- X/Open DTP 模型与 2PC 协议:原型机与三大缺陷
- 3PC:缓解了什么,又引入了什么
- MySQL XA 实操:亲手跑一遍两阶段
- XA 的工程代价:为什么互联网公司不用它
阶段 3 · Seata 三部曲(18 篇)
AT 实战 + 源码(10 篇)
- 三角色与全局事务生命周期
- 部署 seata-server:db 存储、Nacos 注册与 console
- 应用接入:starter、@GlobalTransactional 与 undo_log 表
- AT 两阶段拆解:一阶段四件事与异步二阶段
- AT 隔离性:全局锁防脏写与读隔离
- 源码·TM 侧:从注解拦截到全局事务开启
- 源码·XID 传播:跨 RPC 的事务上下文
- 源码·RM 一阶段:数据源代理、镜像生成与全局锁
- 源码·TC 侧:会话管理与四种存储
- 源码·二阶段:异步提交、反向补偿与超时检测
TCC 实战 + 源码(4 篇)
Saga(4 篇)
阶段 4 · 消息一致性(6 篇)
- 两种不一致:问题定义与风险地图
- 本地消息表:同库同事务是灵魂
- RocketMQ 事务消息:half、回查与全时序
- 消费端幂等:至少一次 + 去重 = 恰好一次
- 最大努力通知:衰减重试与查证兜底
- 可靠消息 vs 最大努力通知:一张表定分野
阶段 5 · 共识算法(10 篇)
- 复制与 Quorum:NWR 基础
- Basic Paxos:两阶段与多数派
- Multi-Paxos:从单值到日志(附 ZAB 对照)
- Raft 分解思想与 Leader 选举
- Raft 日志复制与提交规则
- Raft 安全性与成员变更
- 工程锚点 etcd:亲眼看一次选主
- 工程锚点 Seata TC:Raft 存储模式实操
- Gossip:反熵与谣言传播
- SWIM 故障检测与 Redis Cluster 实操
阶段 6 · 毕业实战(3 篇)
Seata 早期系列(8 篇)
按旧大纲整理的 Seata 入门与实战,与上面按总纲展开的新系列内容有重叠,作为补充读物: