Syllabus - Course Schedule

Week Tuesday Thursday Assignment Readings & Notes
8/25 Intro-2 Generals Problem Week 0 Notes

  Recommended Reading:
8/30, 9/1 Event Ordering
and Global Predicate Detection
Lamport Clocks,
Snapshot Protocol
Week 1 Notes

  Required readings:   Recommended readings:
9/6, 9/8 Causal Order
Vector Clocks
Detecting
non-stable properties
Week 2 Notes

9/13, 9/15 Atomic Commit 3-Phase Commit
Last Process to Fail
Homework 1 handed out
Project 1 handed out
Week 3 Notes

  Required readings:   Recommended readings:
9/20, 9/22 State Machine Replication
Primary-backup
Rollback Recovery Homework 1 due Week 4 Notes

  Required readings:
9/27, 9/29 Rollback Recovery Consensus and TRB
Crash and Early Stopping
Project 1 due Week 5 Notes

  Required readings:
10/4, 10/6 Lower Bounds Impossibility of Consensus Week 6 Notes

  Required readings:
10/11, 10/13 Paxos Paxos Project 2 handed out
Homework 2 handed out
Week 7 Notes

  Required readings:
10/18, 10/20 Randomized Consensus Failure Detectors Homework 2 due Week 8 Notes

  Required readings:   Recommended readings:
10/25, 10/27 Leader Election Clock Synchronization Week 9 Notes

11/1, 11/3 Consistency and Replication Bayou and Epidemic Protocols Project 2 due Week 10 Notes

  Required readings:   Recommended readings:
11/8, 11/10 BFT: synchronous TRB BFT: synchronous TRB Project 3 handed out Week 11 Notes

11/15, 11/17 Quorum Systems Practical BFT
Week 12 Notes

  Required readings:   Recommended readings:
11/22, 11/24 Practical BFT Thanksgiving Homework 3 handed out Week 13 Notes

  Required readings:
11/29, 12/1 Shared Memory Shared Memory Homework 3 due
Project 3 due
Week 14 Notes

  Required readings: