| Date | Topic | Reading | Deadlines
|
| 1/20 | Basics | Introduction |
|
| 1/22 | | No class |
|
| 1/27 | | Logical clocks |
|
| 1/29 | | Paxos | Deadline to form project groups.
|
| 2/3 | | Raft |
|
| 2/5 | | Raft (contd) |
|
| 2/10 | Byzantine consensus | Byzantine Generals and PBFT |
|
| 2/12 | | PBFT contd. |
|
| 2/17 | Consenus: Practice | Chubby |
|
| 2/19 | | Project proposal meetings |
|
| 2/23 | Consistency | Consistency, Linearizability |
|
| 2/26 | | Consistency models and CAP theorem | Project proposal + related work survey due
|
| 3/3 | | Eventual consistency: Bayou |
|
| 3/5 | | Eventual consistency: Dynamo |
|
| 3/10 | | Causal consistency: COPS and Session consistency |
|
| 3/12 | | Chain replication and CRAQ |
|
| 3/17 | | Spring break |
|
| 3/19 | | Spring break |
|
| 3/24 | Distributed transactions | Transactions: 2PC and variants |
|
| 3/26 | | Transactions: Spanner |
|
| 3/31 | New hardware | SpecPaxos and Microsecond consensus |
|
| 4/2 | | CXL: Tigon | Project checkpoints
|
| 4/7 | | In-class exam |
|
| 4/9 | Virtual Machine Fault-Tolerance | VMware FT, Remus |
|
| 4/14 | Fault-tolerant Computing | Spark and Lineage Stash |
|
| 4/16 | Fault-tolerant Computing | Beldi and Impeller |
|
| 4/21 | Disaggregated Storage | Aurora and Ursa |
|
| 4/23 | Fault-tolerant ML | Check-N-Run, Gemini |
|
| 4/28 | Fault-tolerant ML | Dejavu and Failsafe |
|
| 4/30 | Durable execution frameworks | |
|
| 5/5 | Project presentations | |
|
| 5/14 | | | Project report due |