1
 

Syllabus - Course Schedule

Week Tuesday Thursday Assignment Readings & Notes
1/18, 1/20 Intro-2 Generals Problem Event Ordering
and Global Predicate Detection

  Week 0 Notes

  Recommended Reading:
1/25, 1/27 Lamport Clocks,
Snapshot Protocol
Causal Order
Vector Clocks

  1/27: 255th Anniversary of Mozart's birth

  Week 1 Notes

  Required readings:   Recommended readings:
2/1, 2/3 Detecting
non-stable properties
Atomic Commit
  Week 2 Notes

February 4th: Two additional hours of class to substitute for the classes of February 15/February 17   Required readings:   Recommended readings:
2/8, 2/10 3-Phase Commit
Last Process to Fail
State Machine Replication Homework 1 handed out
Project 1 handed out
  Week 3 Notes  

Required readings:
2/15, 2/17 Primary-backup Rollback-Recovery
Homework 1 due


Week 4 Notes

  Required readings:
2/22, 2/24 Rollback Recovery Consensus and TRB - Crash Project 1 due
    Week 5 Notes    

  Required readings:
3/1, 3/3 Early stopping protocols Consensus lower bounds
Week 6 Notes
3/8, 3/10 Impossibility of Consensus In-class midterm
Week 7 Notes

  Required readings:
3/15, 3/17 Spring Break

3/22, 3/24 Paxos Circumventing FLP
Project 1 due
Homework 2 handed out
  Week 8 Notes

  Required readings:  
3/29, 3/31 Failure Detectors Consistency and Replication Homework 2 due
  Week 9 Notes

  Required readings:   Recommended readings:
4/5, 4/7 Bayou and Epidemic Protoocols Quorum Systems   Week 10 Notes

  Required readings:   Recommended readings:
4/12, 4/14 Leader Election Clock Synchronization

  Week 11 Notes

  Required readings:
4/19, 4/21 BFT: synchronous TRB BFT: synchronous TRB Project 2 due

  Week 12 Notes

  Required readings:
4/26, 4/28 Practical BFT Practical BFT
Homework 3 handed out
  Week 13 Notes

  Required readings:   Recommended readings:
5/3, 5/5 Distributed Computing meets
Game Theory
Review
Homework 3 due
  Week 14 Notes

  Required readings: