| Date | Topic | Reading | Deadlines
|
| 1/17 | Basics | Introduction |
|
| 1/19 | | Logical clocks |
|
| 1/24 | Consensus | Paxos |
|
| 1/26 | | Raft |
|
| 1/31 | | Raft (contd) + VR | Form project groups by today.
|
| 2/2 | Paxos optimizations | Skyros |
|
| 2/7 | | Linearizable reads |
|
| 2/9 | Shared registers | Shared registers | Assignment out
|
| 2/14 | Paxos optimizations (cont.) | FastPaxos; SpecPaxos |
|
| 2/16 | | Generalized Paxos; CURP |
|
| 2/21 | Consensus in Practice | Paxos Made Live, Gaois |
|
| 2/23 | | No lecture; work on warm-up project. |
|
| 2/27 | | | Assignment due
|
| 2/28 | | Chubby; ZooKeeper |
|
| 3/2 | Byzantine consensus | Byzantine Generals and PBFT |
|
| 3/7 | Distributed transactions | 2PC and variants |
|
| 3/9 | | Spanner | Project proposal due
|
| 3/14 | | Spring break |
|
| 3/16 | | Spring break |
|
| 3/21 | | Guest lecture by Adriana Szekeres: Tapir, Meerkat |
|
| 3/23 | Consistency models | Consistency models; CAP theorem |
|
| 3/28 | | Implementing causal and strong consistency: RIFL; COPS; Occult |
|
| 3/30 | | Implementing eventual consistency: Bayou; Flightracker; Existential consistency |
|
| 4/4-4/25 | Student paper presentations (2 papers every class) | |
|
| 4/4 | Geo-replication, Leaderless, Multi-threaded execution | EPaxos, Eve |
|
| 4/6 | Shared logs | Fuzzylog, Delos |
|
| 4/11 | New hardware: RDMA + disaggregated memory | Microsecond consensus; Carbink | Project checkpoint meetings
|
| 4/13 | Distributed transactions for new hardware: Programmable switches and NICs | Eris; SmartNIC-Accelerated Distributed Transactions |
|
| 4/18 | Distributed FS for modern hardware | Assise; LineFS |
|
| 4/20 | Virtual machines fault tolerance: | VMware FT; Remus |
|
| 4/25 | Fault tolerance for in-memory computing | Spark RDDs, Lineage Stash |
|
| 4/27 | Project presentations | |
|
| 5/2 | Project presentations | |
|
| 5/12 | | | Project report due |