6.5 系统案例
分布式事务
1. 知识点论述
「6.5 系统案例」是《分布式计算系统》分布式事务部分的核心知识点。把跨节点操作组织成可提交或可回滚的事务。本知识点首先把握：Spanner：跨地域、跨分片，用 TrueTime 给出提交顺序。学习时请把它放回整门课主线——把独立计算机组织成对用户像一台机器的系统，并用通信、数据放置、复制、容错与调度把这件事做可靠。
2. 视频教程
解读 Spanner：跨地域分布式事务
3. 知识点详解
下面围绕本知识点展开要点说明，建议结合上方视频边看边对照。
- Spanner：跨地域、跨分片，用 TrueTime 给出提交顺序。
- Calvin：先对一个批次的事务确定性排序，再执行，减少运行时协调。
- Anna：无中心协调，换取高可用。
- GeoGauss：多主、乐观处理跨地域并发更新。
学习建议：先抓住定义与问题，再理解机制步骤，最后对照应用场景思考“何时用、何时不用、代价是什么”。
4. 应用场景
- 对照 Spanner/Calvin 等论文系统理解不同权衡。
- 多地域事务与时钟、排序、乐观并发的关系。
- 为云数据库选型提供参照。