来源与范围

原创讲解、原始来源与明确的边界。

本版来源核查日期为 2026-11-14。论文与第三方图只链接，不复制或打包。课程图和例子为原创。实现固定 etcd 3.6.6；后来版本不改变保存运行的条件。

1. Lamport, 1978

   因果与逻辑时钟；第 2 章。

2. Herlihy & Wing, 1990

   操作历史与线性一致；第 2–3 章和检查台。

3. Fischer, Lynch & Paterson, 1985

   异步模型与终止限制；第 1 章。

4. Ongaro & Ousterhout, 2014

   Raft 扩展论文；日志安全、快照与客户端重试。

5. Burrows, 2006 — Chubby

   Sequencer 与迟到请求，§2.4；第 6 章。

6. MIT 6.5840

   后续课程学习；本 Lab 独立编写，不是 MIT 课程副本。

7. etcd 3.6 · API guarantees

   指定版本的实现参考。

8. etcd 3.6 · Failure modes

   指定版本的实现参考。

9. etcd 3.6 · JSON gateway

   指定版本的实现参考。

10. etcd 3.6 · API reference

    指定版本的实现参考。

11. etcd 3.6 · Recovery

    指定版本的实现参考。

12. etcd 3.6 · FAQ

    指定版本的实现参考。

13. etcd 3.6 · v3.6.6 release

    指定版本的实现参考。

阅读与实验边界

课程覆盖崩溃恢复协调、一个共识组、已完成的单寄存器历史，以及刻意缩小的下游 fence。它不覆盖整个分布式系统学科：分片、BFT、CRDT 实现、分布式垃圾回收、生产认证、数据包故障矩阵和经过验证的灾难还原均为扩展。未测量学习效果。

真实报告由指定断言生成，哈希用于完整性核查。耗时是观测值，不是具有统计效力的基准。搜索检查器可以报告未判定，不接收未知结果调用。