This schedule and syllabus may be subject to change.
Lectures and related materials are licensed for use under a Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported License. Michael Freedman and Kyle Jamieson developed much of the original material. Wyatt Lloyd has updated it.
| Date | Topics | Slides | Readings | |
|---|---|---|---|---|
| Mon 09/01 | Introduction + course overview | [pdf] [pptx] | ||
| Fundamentals | ||||
| Thu 09/04 | Network communication and Remote Procedure Calls | [pdf] [pptx] | ||
| Mon 09/08 | Go systems programming | [pdf] [handout] | See also the Go syntax reference | |
| Thu 09/11 | Time and logical clocks | [pdf] [pptx] | ||
| Mon 09/15 | Concurrency and RPCs in Go | [pdf] [handout] [code] | Suggested reading: "Concurrency" portion of a Tour of Go | |
| Wed 09/17 | Assignment 1 due at 11:59pm | |||
| Thu 09/18 | Time and logical clocks (cont.) and Distributed snapshots | [pdf] [pptx] | ||
| Replicated State Machines | ||||
| Mon 09/22 | Replicated State Machines via Primary-Backup | [pdf] [pptx] | ||
| Wed 09/24 | Assignment 2 due at 11:59pm | |||
| Thu 09/25 | View Changes and Reconfiguration | [pdf] [pptx] | See also Viewstamped Replication Revisited | |
| Mon 09/29 | Consensus with Paxos | [pdf] [pptx] | ||
| Thu 10/02 | Raft | Pre-reading: Raft See also an online lecture about Raft by John Ousterhout |
||
| Thu 10/09 | Byzantine Fault Tolerance | [pdf] [pptx] | Suggested reading: Practical BFT See also an online lecture about BFT by Barbara Liskov |
|
| Eventual Consistency and Scaling Out | ||||
| [video] Due by 10/26 | Eventual consistency, Bayou | [pdf] [pptx] | Pre-reading: Bayou | |
| [video] Due by 10/26 | Peer-to-Peer Systems and Distributed Hash Tables | [pdf] [pptx] | Suggested reading: Chord | |
| [video] Due by 10/26 | Scale-out key-value storage, Dynamo | [pdf] [pptx] | Pre-reading: Dynamo | |
| Sun 10/19 | Assignment 3 due at 11:59pm | |||
| Mon 10/20 | No class; project work | |||
| Thu 10/23 | Mid-semester Break | |||
| Strong Consistency and Scaling Out with Transactions | ||||
| Mon 10/27 | Consistency Models | [pdf] [pptx] | ||
| Thu 10/30 | CAP, FLP | [pdf] [pptx] | See also A Brief Tour of FLP Impossibility | |
| [video] Due by 11/09 | Scalable Causal Consistency | [pdf] [pptx] | Suggested reading: COPS | |
| Thu 11/06 | No class; project work | |||
| Mon 11/10 | Atomic Commit and Concurrency Control | [pdf] [pptx] | See also: Franklin, up to and including §3.2 | |
| Thu 11/13 | No class; project work | |||
| Mon 11/17 | Distributed transactions | [video] [pdf] [pptx] | Suggested reading: Spanner | |
| System Evaluation | ||||
| Thu 11/20 | Reasoning about System Performance | [pdf] [pptx] | ||
| Mon 11/24 | No class; project work | |||
| Thu 11/27 | No class; project work | |||
| Mon 12/01 | Review | |||
| Thu 12/04 | Exam | |||
| Mon 12/08 | Project presentations | |||
| Thu 12/11 | Lab | |||
Last updated: 2025-11-30 14:18