Tentative Course Schedule

Week	Monday	Wednesday	Friday	Assignment	Readings & Notes
1/22, 1/24, 1/26	Intro - 2 Generals Problem	Event Ordering and Global Predicate Detection	Lab 0/1 Intro	Lab assignments are accessible through the DSL Labs web site Labs 0/1 out January 27: Wolgang's Birthday! Do yourself a favor and treat yourself to this delight while having a Wiener Schnitzel in Wolfie's honor.	Class Notes for M/W Notes and video from Friday's lecture Second take on the last part of Friday's lecture. Required readings: E. Michael et al. Teaching Rigorous Distributed Systems with Efficient Model Checking J. Halpern and Y. Moses Knowledge and Common Knowledge in a Distributed Environment (up to Section 4 included -- but feel free to keep going!) E.W. Dijkstra Prize 2009.
1/29, 1/31, 2/2	Lamport Clocks, Snapshot Protocol	Causal Order, Vector Clocks	Lab 2 Intro	Labs 1 design doc due Lab 1 due Lab 2 out	Class Notes for M/W Notes and video from Friday's lecture Required readings: O. Babaoglu and K. Marzullo Consistent Global States of Distributed Systems Chapter 4 of Sape Mullender's Distributed Systems, 2nd Edition. To know more: K. M. Chandy and L. Lamport Distributed Snapshots: Determining Global States of Distributed Systems SIGOPS Hall of Fame and E.W. Dijkstra Prize 2014.
2/5, 2/7, 2/9	Detecting non-stable properties	State Machine Replication	Lab 2 discussion	Lab 2 design doc due HW 1 Out	Class Notes for Monday and Wednesday Required readings: R. van Renesse and F.B. Schneider Chain Replication for Supporting High Throughput and Availability T. Bressoud and F.B. Schneider Hypervisor-based Fault-Tolerance Best Paper Award, SOSP 95 To know more: F.B. Schneider The State Machine Approach SIGOPS Hall of Fame
2/12, 2/14, 2/16	Primary Backup	Consensus and TRB	Lab 2 Discussion	Lab 2 design doc feedback out HW 1 due	Class Notes for Monday and Wednesday
2/19, 2/21, 2/23	Consensus and TRB Paxos	Paxos	Lab 3 Intro	Lab 2 due Lab 3 out	Class Notes for Monday and Wednesday Required readings: R. van Renesse Paxos made moderately complex To know more: L. Lamport Paxos Made Simple L. Lamport The Part-Time Parliament SIGOPS Hall of Fame
2/26, 2/28, 3/1	February Break	Consensus lower bounds Logging and Rollback Recovery	Lab 3 discussion	HW 2 Out	Class Notes with the entire Paxos discussion, in case you want to look ahead To know more: E. Elnozahy, L. Alvisi, Y. M.Wang, and D. B. Johnson A Survey of Rollback Recovery Protocols in Message Passing Systems
3/4, 3/6, 3/8	Logging and Rolback Recovery	FLP	Lab 3 Discussion	Lab 3 design doc due H2 due	Required readings: D. Lee, B. Wester, K. Veeraraghavan, S. Narayanasamy, P. M. Chen, and J. Flinn Respec: Efficient Online Multiprocessor Replay via Speculation and External Determinism K. Veeraraghavan, D. Lee, B. Wester, J. Ouyang, P. M. Chen, J. Flinn, and S. Narayanasamy DoublePlay: Parallelizing Sequential Logging and Replay To know more: M. Fisher, N. Lynch, M. Paterson Impossibility of Consensus E.W.Dijkstra Prize, 2001.
3/11, 3/13, 3/15	Atomic Commit	Midterm	Lab 3 discussion	Lab 3 design doc feedback out	Class Notes Required readings: P. Bernstein, N. Goodman, and V. Hadzilakos Distributed Recovery To know more: D. Skeen Non-blocking Commit Protocols D. Skeen Determining the Last Process to Fail
3/18, 3/20, 3/22	3 Phase Commit Last Process to Fail	Consistency	Lab 4.1 intro	Lab 3 due Lab 4.1 out	Class Notes To know more: M. P. Herlihy and J. Wing Linearizability: A Correctness Condition for Concurrent Objects
3/25, 3/27, 3/29	Spanner	Weakly consistent systems		Lab 4.1 due Lab 4.2, 4.3 out	Class Notes Required readings: J.C. Corbett et al Spanner: Google's Globally Distributed Database G. DeCandia et al. Dynamo: Amazon's highly available key-value store Best Paper Award, SOSP 2007. W. Lloyd, M. J. Freedman, M. Kaminsky, and D. G. Andersen Do not Settle for Eventual: Scalable Causal Consistency for Wide-Area Storage with COPS Best Paper Award, SOSP 2011 To know more: D. B. Terry, M. M. Theimer, K. Petersen, A. J. Demers, M. J. Spreitzer and C. H. Hauser Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System Best Paper Award, SOSP 1995 S. A. Mehdi, C. Littley, N. Crooks, N. Bronson, L. Alvisi, and W. Lloyd I Can't Believe It's Not Causal! Scalable Causal Consistency with No Slowdown Cascades C. Ding, D. Chu, E. Zhao, X. Li, L. Alvisi, and R. van Renesse Scalog: Seamless Reconfiguration and Total Order in a Scalable Shared Log
4/1, 4/3, 4/5	Spring Break	Spring Break	Spring Break
4/8, 4/10, 4/12	Randomized Consensus	Failure Detectors		HW3 Out	Class Notes To know more: M. Ben-Or. Another advantage of free choice: Completely Asynchronous Agreement Protocols E.W. Dijkstra Prize 2015. T. Chandra and S. Toueg. Unreliable Failure Detectors for Reliable Distributed Systems E.W. Dijkstra Prize 2010. T. Chandra, V. Hadzilakos, and S. Toueg. The Weakest Failure Detector for Solving Consensus E.W. Dijkstra Prize 2010.
4/15, 4/17, 4/19	Failure Detectors	Synchronous BFT		HW3 due	Class Notes Required readings: J.B. Leners, H. Wu, W. Hung, M. Aguilera, M. Walfish. Detecting failures in distributed systems with the FALCON spy network
4/22, 4/24, 4/26	Synchronous BFT	Asynchronous BFT			Class Notes Required readings: M. Castro and B. Liskov Practical Byzantine Fault-Tolerance To know more: L. Lamport, R. Shostak, and M. Pease The Byzantine Generals Problem E.W. Dijkstra Prize, 2005.
4/29, 5/1, 5/3	Asynchronous BFT	BFT and Blockchains			Class Notes Required readings: R. Kotla, L. Alvisi, M. Dahlin, A. Clement, and E.L. Wong Zyzzyva: Speculative Byzantine Fault Tolerance Best Paper Award, SOSP 2007 Y. Zhang, Q. Chen, L. Alvisi, S. Setty, and L. Zhou Byzantine Ordered Consensus without Byzantine Oligarchy Jay Lepreau Best Paper Award, OSDI 2020 To know more: M. Kapritsos, Y. Wang, V. Quema, A. Clement, L. Alvisi, and M. Dahlin All about Eve: Execute-Verify Replication for Multi-Core Servers
5/6, 5/10, 5/12	Distributed Computing meets Game Theory [We did not cover this!]	The semester is over!	Hurrah!		Class Notes Required reading: I. Abraham, L. Alvisi, and J. Halpern Distributed computing meets game theory: combining insights from two fields To know more: A.S. Ayer, A Clement, M. Dahlin, C. Porth, and L. Alvisi BAR Fault Tolerance for Cooperative Services Best Paper Award, SOSP 2005.