| Date | Topic | Reading | Deadlines
|
| 1/21 | Basics | Introduction |
|
| 1/23 | | Logical clocks |
|
| 1/28 | Consensus | Paxos |
|
| 1/30 | | Paxos (contd), Raft | Deadline to form project groups.
|
| 2/4 | | Raft (contd) |
|
| 2/6 | | Raft (contd) + VR |
|
| 2/11 | Paxos optimizations | SpecPaxos, Optional: FastPaxos |
|
| 2/13 | | CURP, Optional: Generalized Paxos |
|
| 2/18 | Byzantine consensus | Byzantine Generals and PBFT |
|
| 2/20 | | PBFT contd., Zyzzava |
|
| 2/25 | Consenus: Practice | Consensus: Gaios, Chubby |
|
| 2/27 | Consistency models | Consistency models; CAP theorem | Project proposal + related work survey due
|
| 3/4 | | Models (contd.) Implementing strong consistency: RIFL |
|
| 3/6 | | Implementing eventual consistency: Bayou |
|
| 3/11 | Consistency: Practice | Dynamo |
|
| 3/13 | Distributed transactions | Transactions basics: 2PL, OCC |
|
| 3/18 | | Spring break |
|
| 3/20 | | Spring break |
|
| 3/25 | | 2PC and variants |
|
| 3/27 | Transactions: Practice | Transactions: Spanner |
|
| 4/1 | Shared logs | Corfu, Scalog |
|
| 4/3-4/29 | Student paper presentations (2 papers every class) | |
|
| 4/3 | New hardware | Microsecond Consensus, SWARM | Project checkpoint meetings
|
| 4/8 | | Carbink, CXL-SHM |
|
| 4/10 | Virtual Machine Fault-Tolerance | VMware FT, Remus |
|
| 4/15 | Fault-tolerant Computing | Lineage stash, DARQ |
|
| 4/17 | | No class; work on your project |
|
| 4/22 | | Beldi, Boki |
|
| 4/24 | Fault-tolerant Training | Check-N-Run, Gemini |
|
| 4/29 | | Oobleck, ReCycle |
|
| 5/1 | Project presentations | |
|
| 5/6 | Project presentations | |
|
| 5/9 | | | Project report due |