方法与工具 / INTERACTIVE EDITION · ETCD 3.6.6
课程地图与资源
一份能接着动手的课程地图。
用一门直接相关的大学课程贯穿七个学习单元。所列公开讲义与作业说明核验于 2026-11-14。Spring 2026 日程页仍标注 tentative；这里确认页面已公开，不替每次课堂活动作保证。
Massachusetts Institute of Technology · 6.5840: Distributed Systems
Spring 2026 · Official home · Schedule · Policies
官方先修：6.1910（6.004），以及 6.1800（6.033）或 6.1810 之一，或同等基础；需要较强编程经验。
公开阅读与 MIT 注册、学费、评分提交和学分是不同事项。这里不承诺注册资格、价格或认证。不要公开 MIT 作业解答；本配套项目只提供独立原创练习，不包含原课解答代码。
系统与故障假设
分类观测，不把超时转换成回滚。
python3 scripts/learning_exercises.py assumptions时间与因果历史
追踪传递因果与并发对；逻辑时钟补充来自 Lamport 1978，不冒充 MIT 的独立讲次。
node tests/demo-models.test.mjs一致性模型
通过独立穷举 oracle 比较真实时间与客户端顺序约束。
node tests/checker.test.mjsRaft 与多数派
运行真实三投票节点连接分区，对照多数派分区与三个孤立节点。
python3 scripts/run_network.py --repeats 3 --out build/my-network.jsonRPC 与重试身份
观察先提交后超时，以及原子保存的去重结果。
python3 scripts/run_all.py --repeats 1 --out build/my-retry-study协调与过期持有者
真实租约过期后比较旧代次写；以 Chubby §2.4 补充课程。
python3 scripts/run_all.py --repeats 1 --out build/my-fence-study恢复与结果核对
核查保存真实报告中的已提交值、恢复副本与未知结果。
python3 scripts/learning_exercises.py recovery注明年代的经典补充
Lamport, 1978 — Time, Clocks, and the Ordering of Events · Burrows, 2006 — Chubby.
它们补充因果与 sequencer，不被包装成 2026 年新成果或另外两门大学课程。