Course Schedule



Week Monday Wednesday Friday Assignment Readings & Notes
8/23, 8/25
Intro-2 Generals Problem

Week 0 Notes

  Recommended readings:
8/28, 8/30, 1/9 Event Ordering
and Global Predicate Detection
Lamport Clocks,
Snapshot Protocol


Week 1 Notes

  Required readings:

  Recommended readings:
9/4, 9/6, 9/8 Labor Day Causal Order
Vector Clocks

Week 2 Notes


9/11, 9/13, 9/15 Detecting non-stable properties Atomic Commit 3-Phase Commit
Last Process to Fail

Week 3 Notes

  Required readings:

  Recommended readings:
9/18, 9/20, 9/22 State Machine Replication Primary-backup Possible catch-up class

Week 4 Notes

  Required readings:   Recommended readings:
9/25, 9/27, 9/29 Logging and Rollback Recovery Logging Rollabck Recovery Homework discussion
Week 5 Notes

  Required readings:   Recommended readings:
10/2, 10/4, 10/6 Consensus and TRB
Consensus lower bounds
FLP Regular class

Week 6 Notes

  Required readings:

10/9, 10/11, 10/13 Fall break Regular class Review Session

Week 7 Notes

 
10/16, 10/18, 10/20 Midterm Paxos
Midterm discussion
Week 8 Notes
  Required readings:
10/23, 10/25, 10/27 Paxos
Corfu
Circumventing FLP: Ben Or Failure detectors
Week 9 Notes
  Required readings:   Recommended readings:
10/30, 11/1, 11/3

Consistency models: Linearizability
Serializability
Eventual Consistency

  Recommended readings:
11/6, 11/8, 11/10
Epidemic protocols
Bayou
Causal Consistency
Causal Consistency
  Recommended readings:
11/13, 11/15, 11/17 Quorum systems
From NoSQL to NewSQL
Clock Synchronization

  Recommended readings:
11/20, 11/22, 11/24 Synchronous BFT Thanksgiving Thanksgiving
  Recommended readings:
11/27, 11/29, 12/1 Asynchronous BFT Asynchronous BFT Final Review
  Required readings:   Recommended readings: