来源书籍

分布式系统与一致性

分布式系统类

经典原理（高信息浓度 + 高稳定性）

类别清单覆盖

4/4

已覆盖 4 补充生成 0 未覆盖 0

全书概览

分布式系统与一致性

类别：分布式系统类

四象限评级：经典原理（高信息浓度 + 高稳定性）

评级理由：这本书虽然使用 GFS、HDFS、BigTable、MongoDB、RabbitMQ、ZooKeeper、Spanner、CockroachDB 等系统作为案例，但核心并不是产品配置或版本操作，而是围绕分布式系统的一致性机制、故障模型和架构权衡展开。前半部分用具体系统说明租约、复制、写确认、选主、脑裂、读写路径等设计选择如何影响一致性；后半部分转入 Paxos、Raft、Zab、事务隔离级别、顺序一致性、线性一致性、CAP、HAT、PACELC 等稳定理论。即使具体软件版本变化，关于多数派交集、日志复制、MVCC、TrueTime/租约、commit wait、读写一致性差异和可用性权衡的推理仍然可迁移，因此属于高浓度、高稳定性的经典原理型读物。

章节筛选结论：正文 16 章全部精读。全书没有纯命令/API 手册式章节；每章都围绕一致性语义、失败恢复、复制协议或架构取舍展开，符合专业/工作类卡片取材标准。

章节进度追踪

章节号 章节标题 精读/略读 状态(pending/done) 卡片数 理由
1 分布式系统的核心特性：一致性 精读 done 3 把互联网架构从垂直扩展、无状态应用、领域拆分推进到数据层分布式，并明确一致性是核心矛盾。
2 Google的文件系统 精读 done 4 通过 GFS 的租约、record append、松弛一致性展示系统为吞吐与简单性所做的边界设计。
3 开源的文件系统HDFS 精读 done 3 对比 HDFS 如何用单写者、pipeline、租约恢复和块恢复修正 GFS 式松弛一致性的负担。
4 Google的BigTable系统 精读 done 3 BigTable 章揭示宽表、tablet、Chubby、commit log/SSTable 如何把弱文件系统封装成较强存储语义。
5 文档数据库MongoDB 精读 done 5 MongoDB 章系统展开写确认、日志、副本确认、选主、脑裂、读关注等异常与修复路径。
6 消息系统RabbitMQ 精读 done 4 RabbitMQ 章把消息复制、镜像同步、master 切换、网络分区策略放到可用性与丢消息权衡中分析。
7 协调服务ZooKeeper 精读 done 4 ZooKeeper 章说明协调服务为何依赖顺序一致性，以及请求如何转成幂等事务再交给 Zab。
8 Google的Spanner数据库 精读 done 5 Spanner 章浓缩 Paxos、两阶段提交、MVCC、TrueTime、commit wait 与外部一致性的组合设计。
9 分布式数据库CockroachDB 精读 done 5 CockroachDB 章展示无中心元数据、Raft range、租约读、intent、MVCC 与时间戳排序的工程化一致性。
10 共识算法Paxos 精读 done 5 Paxos 章从共识问题、Basic Paxos、Multi Paxos 到复制状态机，是后续算法理解的基础。
11 复制日志算法Raft 精读 done 4 Raft 章以复制日志、任期、选举和一致性检查呈现更易理解的共识算法结构。
12 原子广播算法Zab 精读 done 5 Zab 章对比设计版、Pre 1.0 和 1.0，直接展示协议实现偏离证明模型时如何产生一致性 bug。
13 事务一致性与隔离级别 精读 done 4 隔离级别章把 ACID、异常现象、锁、MVCC、SI/SSI 与数据一致性破坏关系讲清楚。
14 顺序一致性 精读 done 5 顺序一致性章精确定义 sequential order，并解释它作为并发正确性条件的意义。
15 线性一致性与强一致性 精读 done 5 线性一致性章区分顺序一致性、线性一致性与强一致性，并结合 ZooKeeper 做系统分析。
16 架构设计中的权衡 精读 done 5 权衡章纠正 CAP 常见误读，并引入弱 CAP、HAT、PACELC，适合沉淀架构取舍原则。

类别清单核对（分布式系统类，2026-09-12）

维度 覆盖状态 关联卡片标题或未覆盖理由
一致性模型（强一致性/最终一致性/因果一致性） 已覆盖 顺序一致性看结果、线性一致性加实时、强一致常指线性、CAP不是三选二等第14-16章卡片；本书未使用”因果一致性”这一术语，但顺序/线性一致性谱系已充分展开。
共识算法（Paxos/Raft等） 已覆盖 共识只选一个值、多数派交集保安全、Raft围绕日志复制、Zab先恢复再广播等第10-12章全部卡片。
容错假设（故障模型：崩溃/拜占庭） 部分覆盖 崩溃故障模型已充分覆盖（任期隔离旧领导、Zab先恢复再广播等贯穿leader宕机/网络分区恢复）；全书未讨论拜占庭容错，本书讨论范围明确限定于崩溃故障模型，不属于遗漏，记未覆盖不补造。
时钟与顺序问题（物理时钟/逻辑时钟/向量时钟） 部分覆盖 物理时钟已覆盖（外部一致性靠时间边界、CommitWait消化误差：TrueTime）；逻辑时钟意义上的编号机制已覆盖（Zxid绑定纪元和顺序：epoch+counter，时间戳排序避环：CockroachDB时间戳排序）；本书未提及”向量时钟”（vector clock）这一具体机制，记未覆盖，不补造。
分区处理策略（CAP权衡） 已覆盖 CAP不是三选二、CAP可用性很特殊、弱CAP更贴近现实、HAT扩大了限制、PACELC补上平时成本，以及宕机和运维取舍不同（RabbitMQ脑裂）、多数写交叉多数选（MongoDB脑裂）等案例章卡片。
复制与数据分布（分片/复制，一致性哈希等） 部分覆盖 分片与复制已充分覆盖（宽表本质是有序KV：BigTable tablet切分，元数据进KeySpace：CockroachDB range/meta1/meta2）；本书未提及”一致性哈希”这一具体分片算法，记未覆盖，不补造。
幂等与重试设计 已覆盖 记录追加避边界（GFS at-least-once）、Intent轻量化提交（CockroachDB幂等清理）、编号承诺挡旧提议（Paxos重复消息安全）等。

核对结论：7项中5项已覆盖，2项部分覆盖（各自有一个具体子机制——拜占庭容错、向量时钟、一致性哈希——本书明确未涉及，均已如实标注未覆盖，未补造内容）。

章节与卡片

01 分布式系统的核心特性：一致性

  1. 拆分放大一致性 普通读书笔记卡
  2. 一致性是核心特性 普通读书笔记卡
  3. 数据层最难分布式 普通读书笔记卡

02 Google的文件系统

  1. 租约确定写序 普通读书笔记卡
  2. 记录追加避边界 普通读书笔记卡
  3. 松弛一致性契约 普通读书笔记卡
  4. 应用补偿存储语义 普通读书笔记卡

03 开源的文件系统HDFS

  1. 单写者换强语义 普通读书笔记卡
  2. Pipeline不是共识 普通读书笔记卡
  3. 恢复要有代戳 普通读书笔记卡

04 Google的BigTable系统

  1. 宽表本质是有序KV 普通读书笔记卡
  2. 元数据也用自身存 普通读书笔记卡
  3. 日志先于内存表 普通读书笔记卡

05 文档数据库MongoDB

  1. 确认不是持久化 普通读书笔记卡
  2. 多数写交叉多数选 普通读书笔记卡
  3. 任期修复旧主幻觉 普通读书笔记卡
  4. 多数读避免脏读 普通读书笔记卡
  5. 线性读要验证主权 普通读书笔记卡

06 消息系统RabbitMQ

  1. 镜像同步拖慢队列 普通读书笔记卡
  2. 新镜像自然追齐 普通读书笔记卡
  3. 宕机和运维取舍不同 普通读书笔记卡
  4. 确认覆盖两端 普通读书笔记卡

07 协调服务ZooKeeper

  1. 协调依赖顺序视图 普通读书笔记卡
  2. 请求先转事务 普通读书笔记卡
  3. 写后等待本地投递 普通读书笔记卡
  4. Sync补强读新鲜度 普通读书笔记卡

08 Google的Spanner数据库

  1. 外部一致性靠时间边界 普通读书笔记卡
  2. CommitWait消化误差 普通读书笔记卡
  3. Paxos加固两阶段提交 普通读书笔记卡
  4. 只读性能来自MVCC 普通读书笔记卡
  5. 租约降低强读成本 普通读书笔记卡

09 分布式数据库CockroachDB

  1. 元数据进KeySpace 普通读书笔记卡
  2. 租约读守住单Key线性 普通读书笔记卡
  3. Intent轻量化提交 普通读书笔记卡
  4. 时间戳排序避环 普通读书笔记卡
  5. 近未来读要回滚 普通读书笔记卡

10 共识算法Paxos

  1. 共识只选一个值 普通读书笔记卡
  2. 多数派交集保安全 普通读书笔记卡
  3. 编号承诺挡旧提议 普通读书笔记卡
  4. MultiPaxos复用准备 普通读书笔记卡
  5. 空洞阻塞状态机 普通读书笔记卡

11 复制日志算法Raft

  1. Raft围绕日志复制 普通读书笔记卡
  2. 任期隔离旧领导 普通读书笔记卡
  3. 随机回退破选举平局 普通读书笔记卡
  4. 一致性检查修日志 普通读书笔记卡

12 原子广播算法Zab

  1. Zab先恢复再广播 普通读书笔记卡
  2. Zxid绑定纪元和顺序 普通读书笔记卡
  3. 原子广播要保两件事 普通读书笔记卡
  4. 实现偏离会出错 普通读书笔记卡
  5. 增量同步保现实可用 普通读书笔记卡

13 事务一致性与隔离级别

  1. 隔离级别定义异常 普通读书笔记卡
  2. 异常会破坏约束 普通读书笔记卡
  3. 锁维度决定隔离 普通读书笔记卡
  4. SI仍会写偏斜 普通读书笔记卡

14 顺序一致性

  1. 顺序一致性看结果 普通读书笔记卡
  2. 全局视角必须一致 普通读书笔记卡
  3. 顺序一致性很严苛 普通读书笔记卡
  4. 并发正确性条件 普通读书笔记卡
  5. 原子性只是必要条件 普通读书笔记卡

15 线性一致性与强一致性

  1. 线性一致性加实时 普通读书笔记卡
  2. 强一致常指线性 普通读书笔记卡
  3. ZooKeeper写强读弱 普通读书笔记卡
  4. 顺序一致足够协调 普通读书笔记卡
  5. 共识不等于整体一致 普通读书笔记卡

16 架构设计中的权衡

  1. CAP不是三选二 普通读书笔记卡
  2. CAP可用性很特殊 普通读书笔记卡
  3. 弱CAP更贴近现实 普通读书笔记卡
  4. HAT扩大了限制 普通读书笔记卡
  5. PACELC补上平时成本 普通读书笔记卡

相关主题

暂无公开主题。