Course Schedule

Week	Monday	Wednesday	Friday	Assignment	Readings & Notes
1/24		Introduction			Week 0 Notes Readings: J.B.S. Haldane On being the right size
1/29, 1/31, 2/1	Naming	Naming			Week 1 Notes Readings: J.H. Saltzer Naming and binding of objects P.V. Mockapetris and K.J. Dunlap Development of the Domain Name System
2/5, 2/7, 2/9		Naming	Enforced Modularity: RPC		Week 2 Notes Readings: B. Lampson Designing a Global Name Service A. Sharma, X. TIe, H. Uppal, A. Venkataramani, D. Westbrook, and A. Yadav A Global Name Service for a Highly Mobile Internetwork A. Birrell and B.J. Nelson Implementing Remote Procedure Calls B. Bershad, T. Anderson, E. Lazowska, H. Levy Lightweight Remote Procedure Call
2/12, 2/14, 2/16	Enforced Modularity: NFS	Optimize for the common case: A cautionary tale			Week 3 Notes Readings: R. Sandberg, D. Goldberg, S. Kleiman, D. Walsh, and B. Lyon Design and Implementation of the Sun Network Filesystem R. Kotla, L. Alvisi, M. Dahlin, A. Clement, and E. Wong Zyzzyva: Speculative Byzantine Fault-Tolerance A. Clement, E. Wong, M. Mrchetti, L. Alvisi, M. Dahlin Making Byzantine Fault Tolerant Systems Tolerate Byzantine Faults
2/19, 2/21, 2/23	February break	Optimize for the common case: A cautionary tale			Week 4 Notes
2/26, 2/28, 3/2	Virtualization	Virtualization			Week 5 Notes Readings: G. J. Popek and R. P. Goldberg Formal Requiremnts for Virtualizable Third Generation Architectures E. Bugnion, S. Devine, K. Govil, and M. Rosenblum Disco: Running Commodity Operating Systems on Scalable Multiprocessors C. A. Waldspurger Memory Resource Management in VMware ESX Server
3/5, 3/7, 3/9	Atomicity: Mutual exclusion	Atomicity: R/W registers and their limitations			Week 6 Notes Readings: L. Lamport On Interprocess Communication
3/12, 3/14, 3/16	Atomicity: Linearizability Wait-freedom	Atomicity: Wait-freedom and the Herlihy hierachy			Week 7 Notes Readings: M. Herlihy Wait-free synchronization
3/19, 3/21, 3/23	Atomicity: Universality of Consensus	Atomicity: Efficient locking			Week 8 Notes
3/26, 3/28, 3/30	Transactions: Pessimistic Concurrency Control	Transactions: Optimistic Concurrency Control			Week 9 Notes
4/9, 4/11, 4/13					Readings: H. Berenson, P. Bernstein, J. Gray, J. Melton, E. O'Neil, P. O'Neil A Critique of ANSI SQL Isolation Levels A. Adya, B. Liskov, P. O'Neil Generalized Isolation Levels Definitions
4/16, 4/18, 4/20					Readings: E.B. Nightingale, P.M. Chen, and J. Flinn Speculative Execution in a Distributed File System E.B. Nightingale, K. Veeraraghavan, P.M. Chen, and J. Flinn Rethink the Sync
4/23, 4/25, 4/27					Readings: S. Shenker Software Defined Networking at the Crossroads
4/30, 5/2, 5/4					Readings: D. A. Jimenez and C. Lin Neural Methods for Dynamic Branch Prediction A. Jain and C. Lin Back to the Future: Leveraging Belady's Algorithm for Improved Cache Replacement
5/7, 5/9					Readings: J.H. Saltzer, D.P. Reed and D.D. Clark End-to-End Arguments in System Design D.P. Reed End-to-end arguments: The Internet and beyond Cheriton and D. Skeen Understanding the Limitations of Causally and Totally Ordered Communication