第 1 课：本模块讲授如何使用流行/流言协议解决组播问题。它还教授了对此类协议的分析。第 2 课：本模块包括故障检测器的设计，这是任何分布式系统的关键组件。此外，还将介绍使用故障检测器作为组件的成员协议。第3课：本模块介绍网格计算，它是云计算的重要前身。

点对点系统：该模块讲授两类点对点系统的详细设计：(a) 流行系统，包括 Napster、Gnutella、FastTrack 和 BitTorrent；(b) 高效系统，包括分布式哈希表（Chord、Pastry 和 Kelips）。除了关注设计，该模块还详细分析了这些系统。

第 1 课：本模块介绍并讲授键值/NoSQL 存储/数据库系统的设计。我们将介绍两个主要行业系统的设计：Apache Cassandra 和 HBase。我们还将介绍著名的 CAP 定理。 第 2 课：分布式系统是异步的，这使得不同机器上的时钟难以同步。本模块首先介绍了各种时钟同步算法，然后介绍了用因果时间戳标记事件的方法，这些方法可以避免时钟同步。这些经典算法发明于几十年前，但在当今的云系统中被广泛使用。

第 1 课：本模块包括如何计算分布式快照，再次利用因果关系规避同步问题。第 2 课：本讲授如何在任何分布式系统中对多播进行排序。其中包括使用各种排序方式（先进先出、因果关系和总计）为多播分配时间戳标签的算法。该模块还包括虚拟同步，这是一种将可靠的多播与成员视图相结合的范例。 第 3 课：共识是分布式系统中最重要的问题之一，它能让多台机器达成一致。本模块使用 Paxos，它是当今业界最流行的共识解决方案之一。Paxos 并不完美，因为共识问题无法完全解决--选修课介绍了著名的 FLP 共识不可能性证明。