| 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 | Paxos optimizations | SpecPaxos, Optional: FastPaxos |
|
| 2/12 | | CURP, Optional: Generalized Paxos |
|
| 2/17 | Byzantine consensus | Byzantine Generals and PBFT |
|
| 2/19 | | PBFT contd., Zyzzava |
|
| 2/23 | Consenus: Practice | Chubby | Project proposal + related work survey due
|
| 2/26 | Consistency models | Consistency models |
|
| 3/3 | | CAP theorem |
|
| 3/5 | | Implementing strong consistency: RIFL |
|
| 3/10 | | Eventual consistency: Bayou |
|
| 3/12 | | Eventual consistency: Dynamo |
|
| 3/17 | | Spring break |
|
| 3/19 | | Spring break |
|
| 3/24 | Distributed transactions | Transactions: 2PC and variants |
|
| 3/26 | Transactions: Practice | Transactions: Spanner |
|
| 3/31 | New hardware | RDMA (Microsecond Consensus, SWARM) |
|
| 4/2 | New hardware | Carbink, CXL-SHM | Project checkpoints
|
| 4/7 | | In-class exam |
|
| 4/9 | Virtual Machine Fault-Tolerance | VMware FT, Remus |
|
| 4/14 | Fault-tolerant Computing | Lineage stash, DARQ |
|
| 4/16 | | Beldi, Boki |
|
| 4/21 | | Durable execution frameworks for agentic AI |
|
| 4/23 | Fault-tolerant ML | Check-N-Run, Gemini |
|
| 4/28 | | Oobleck, ReCycle |
|
| 4/30 | Fault-tolerant Serving | |
|
| 5/5 | Project presentations | |
|
| 5/14 | | | Project report due |