BASE 定理与一致性谱系
2026/8/22大约 2 分钟
分布式事务系列 · 阶段 1 · 理论与协议 · 第 8/49 篇 · 🚧 占位待学
上一篇：《CAP 定理：为什么是三选二》
下一篇：《X/Open DTP 模型与 2PC 协议：原型机与三大缺陷》
学习大纲：《分布式事务学习总纲》
状态：待学习。 本文为占位文档：知识点清单、实验与验收标准已就绪，正文待按「先学习、先实验、再撰写」补全。
对应总纲单元：阶段 1 · 单元 1.3 + 1.4
一、本文要解决的问题
放弃强一致之后靠什么吃饭？「一致性」这个词到底有多少档位？把 BASE 和一致性谱系搞清楚，才能精确说出「AT 是什么强度的一致性」「可靠消息是什么强度」这种话。
二、知识点清单
- BASE 三要素：基本可用、软状态、最终一致
- BASE 与 CAP 的关系：AP + 补偿机制落地
- 一致性谱系：线性一致 → 顺序一致 → 因果一致 → 读己之写 → 最终一致
- 每个档位的代表系统（etcd / ZooKeeper / 主从复制 / CDN 等）
三、动手实验（学习时必须真跑）
- 用 BASE 解释「12306 显示有票、下单却说无票」的完整链路
- 把谱系按强弱排序并标注每个方案将来会落在哪里
四、验收标准（全部通过才进入下一篇）
五、阶段验收（本篇是阶段 1收尾篇）
六、写作提示（补正文时遵守）
- 开篇问题驱动；结构走「是什么 → 为什么 → 怎么做 → 背景知识」
- 所有代码、命令、输出必须先在本机跑通再写入，不得杜撰
- 版本口径以总纲环境清单为准（Apache Seata 2.6.0 / MySQL 8.0 / RocketMQ 5.x / Spring Boot 3.x）
- 涉及版本敏感结论时标注出处与时间
本篇完成后，把文首导航块的「🚧 占位待学」去掉，并在总纲处打卡。