| Date | Description |
|---|---|
| January 4 |
Intro, fault model, course mechanics, RPC Whiteboards Notes |
| January 6 |
More RPC, Design docs Reading: Google's Introduction to Distributed System Design Whiteboards Notes |
| January 9 |
Correctness of Distributed systems Whiteboards Notes |
| January 11 |
Transition systems, Invariants, Stable properties Whiteboards Notes |
| January 13 |
Distributed transition systems Whiteboards Notes |
| January 18 |
Primary-backup Whiteboards Notes |
| January 20 |
More primary-backup Whiteboards Notes |
| January 23 |
Linearizability Whiteboards Notes |
| January 25 |
Time, Clocks, and Events Reading: Lamport, Time, Clocks, and the Ordering of Events (up to but not including the section on physical clocks) Whiteboards |
| January 27 |
Reasoning about Knowledge Reading: Halpern and Moses, Knowledge and Common Knowledge in a Distributed Environment (focus on sections 1 through 4) Whiteboards Notes |
| January 30 |
(Single-decree) Paxos Reading: Lamport, Paxos Made Simple Whiteboards |
| February 1 |
More Paxos Whiteboards |
| February 3 | Canceled for CAV deadline and PLDI reviewing deadline |
| February 6 |
MultiPaxos Reading: Lamport, Paxos Made Moderately Complex Whiteboards |
| February 8 |
More MultiPaxos Whiteboards |
| February 10 |
Lab 2 debrief and code review Whiteboards |
| February 13 |
Performance Whiteboards Notes |
| February 15 |
Queueing Whiteboards Simulator Code |
| February 17 |
Tail latency in practice Reading: Li et al., Tales of the Tail: Hardware, OS, and Application-level Sources of Tail Latency Whiteboards |
| February 22 |
Sharding Whiteboards |
| February 24 |
Atomic commit, transactions Whiteboards |
| February 27 |
Microservices Reading (blog): Yegge, Google Platform Rant Reading (optional): Keshav, How to Read a Paper Whiteboards |
| March 1 |
Guest lecture by Taylor Blau: Distributed Systems at GitHub Slides |
| March 3 |
Google File System Reading (blog): Ghemawat et al., The Google File System Whiteboards |
| March 6 |
Dynamo Reading (blog): Decandia et al., Dynamo: Amazon's Highly Available Key-Value Store Whiteboards |
| March 8 |
Formal methods at AWS Reading (blog): Newcombe et al., Use of Formal Methods at Amazon Web Services Whiteboards TLA+ demo code |
| March 10 |
Tapir and course wrapup Reading (blog): Zhang et al., Building Consistent Transactions with Inconsistent Replication Whiteboards |