MIT 6.5840：分布式系统工程

沿着 2026 年 MIT 6.5840 官方课表，从 MapReduce、RPC、GFS、Paxos 与 Raft 出发，系统掌握一致性、事务、分片、验证、缓存、无服务器计算与拜占庭容错，并配套五个可离线阅读的实验指南。

在消息会延迟、丢失或重复的世界里，多个节点怎样仍然对状态与顺序达成可验证的约定？

麻省理工学院

Frans Kaashoek、Robert Morris

2026 年春季

从这里开始

导论与 MapReduce

已完成 0 / 21 讲 · 记录保存在当前浏览器

0 / 21讲义已完成

已完成 0 / 5 份实践
由你确认，不自动标记

读讲义，理解原理与机制。
先写清消息、节点与时钟可能怎样失常。

做推演与自测，检验理解。
用日志、term、版本或锁追踪一次事件如何改变副本状态。

用工作簿与实验验证方法。
删除一个条件或打乱消息，检查一致性不变量是否仍成立。

跨机器执行与持久化有何不同？

故障下怎样共享一致状态？

怎样让多步操作表现为一步？

规模增长与恶意节点改变什么？

推演与概念检查已编排在各讲中。

把理解落到可检查的推导、测试与实现证据。