Schedule
This is a tentative schedule and is subject to change. We will send an announcement if we make a major change.
Intro
- Jan 12
- Lec 1 Course Introduction
- Project 0 Out Homework 0 Out
- Papers
- 📖 How to Read a Paper
OS Structures
- Jan 14
- Lec 2 Preliminaries
- Jan 19
- No Class MLK Day
- Jan 20
- Project 0 Due Homework 0 Due
- Jan 21
- Lec 3 SPIN
- Jan 26
- Lec 4 Exokernel, L3
- Project 1 Out
- Papers
- 📖 Brian Bershad et al., Extensibility, Safety and Performance in the SPIN Operating System, SOSP 1995
- 📖 Dawson R. Engler, Frans Kaashoek and James O’Toole, Exokernel: An Operating System Architecture for Application-Level Resource Management, SOSP 1995
- 📖 J. Liedtke, On Micro-Kernel Construction, SOSP 1995
- 📖 J. Liedtke, Improved Address-Space Switching on Pentium Processors by Transparently Multiplexing User Address Spaces, GMD Technical Report No. 933, November 1995 Self study
- 📖 Dawson R. Engler, Frans Kaashoek and James O’Toole, Exokernel: An Operating System Architecture for Application-Level Resource Management, SOSP 1995
Virtualization
- Jan 28
- Lec 5 VMware ESX Server
- Feb 2
- Lec 6 Xen
- Papers
- 📖 Carl Waldspurger, Memory Resource Management in VMware ESX Server, OSDI 2002
- 📖 Paul Barham et al., Xen and the Art of Virtualization, SOSP 2003.
Parallel Systems
- Feb 4
- Lec 7 Synchronization 1
- Feb 9
- Lec 8 Synchronization 2
- Feb 11
- Lec 9 Communication & Scheduling
- Feb 16
- Lec 10 Case Studies
- Project 1 Due Project 2 Out
- Papers
- 📖 Mellor-Crummey, J. M. and Scott, M., Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors, ACM Transactions on Computer Systems, Feb. 1991
- 📖 B. N. Bershad, T. E. Anderson, E. D. Lazowska, and H. M. Levy, Lightweight Remote Procedure Call. ACM Transactions on Computer Systems, Feb. 1990
- 📖 M.S. Squillante and E.D. Lazowska, Using Processor-Cache Affinity Information in Shared Memory Multiprocessor Scheduling, IEEE Transactions on Parallel and Distributed Systems, Feb. 1993
- 📖 Alexandra Fedorova, Margo Seltzer, Christopher Small and Daniel Nussbaum Performance of Multithreaded Chip Multiprocessors and Implications for Operating System Design, USENIX 2005
- 📖 Ben Gamsa, Orran Krieger, Jonathan Appavoo, and Michael Stumm, Tornado: Maximizing Locality and Concurrency in a Shared Memory Multiprocessor Operating System, OSDI 1999
- 📖 S. Boyd-Wickizer, et. al, Corey: An Operating System for Many Cores, OSDI 2008 Partial reading
- 📖 Kinshuk Govil, Dan Teodosiu, Yongqiang Huang, and Mendel Rosenblum, Cellular Disco: Resource Management using Virtual Clusters on Shared-Memory Multiprocessors, SOSP 1999 Self study
- 📖 B. N. Bershad, T. E. Anderson, E. D. Lazowska, and H. M. Levy, Lightweight Remote Procedure Call. ACM Transactions on Computer Systems, Feb. 1990
Distributed Systems
- Feb 18
- Lec 11 Basics - Time, Clocks & Events
- Feb 20
- Exam 1
- Feb 23
- Lec 12 Commmunication
- Feb 25
- Lec 13 Protocol Efficiency
- Papers
- 📖 Lamport, L., Time, Clocks, and the Ordering of Events in a Distributed System, Communications of the ACM, July 1978
- 📖 C.A. Thekkath and H.M. Levy, Limits to Low-Latency Communications on High- Speed Networks, ACM Transactions on Computer Systems, May 1993
- 📖 Schroeder, M., and Burrows, M., Performance of the Firefly RPC, SOSP 1989
- 📖 David Wetherall, Active Networks: Vision and Reality: Lessons from a Capsule-based System, SOSP 1999
- 📖 Hutchinson N.C., Peterson, L.L., The x-Kernel: An Architecture for Implementing Network Protocols, IEEE Transactions on Software Engineering, January 1991
- 📖 Liu, Kreitz, van Renesse, Hickey, Hayden, Birman, Constable, Building Reliable High Performance Communication Systems from Components, SOSP 1999
- 📖 C.A. Thekkath and H.M. Levy, Limits to Low-Latency Communications on High- Speed Networks, ACM Transactions on Computer Systems, May 1993
Distributed Objects & Middleware
- Mar 2
- Lec 14 Spring
- Mar 4
- Lec 15 Subcontract, Java RMI
- Papers
- 📖 Mitchell, J. G., et al., An Overview of the Spring System, Compcon 1994
- 📖 Hamilton, G., Powell, M.L., and Mitchell, J.J., Subcontract: A Flexible Base for Distributed Programming, SOSP 1993
- 📖 Wollrath, A., Riggs, R., and Waldo, J., A Distributed Object Model for the Java System”, USENIX Conference on Object Oriented Technologies and Systems, 1996
- 📖 Emmanuel Cecchet, Julie Marguerite, Willy Zwaenepoel, Performance and Scalability of EJB Applications, OOPSLA 2002 Self study
- 📖 Hamilton, G., Powell, M.L., and Mitchell, J.J., Subcontract: A Flexible Base for Distributed Programming, SOSP 1993
Distributed Subsystems
- Mar 9
- Lec 16 GMS
- Project 2 Due Project 3 Out
- Mar 11
- Lec 17 DSM
- Mar 16
- Lec 18 DFS
- Papers
- 📖 Feeley, Morgan, Pighin, Karlin, Levy, Thekkath, Implementing Global Memory Management in a Workstation Cluster, SOSP 1995
- 📖 C. Amza, A. Cox, S Dwarkadas, P Keleher, H Lu, R. Rajamony, W. Yu and W. Zwaenepoel, TreadMarks: Shared Memory Computing on Networks of Workstations, IEEE Computer, February, 1996
- 📖 Anderson, T. et al., Serverless Network File System, ACM Transpaction on Computer Systems, February 1996
- 📖 Mahadev Satyanarayanan, Coda: A Highly Available File System for a Distributed Workstation Environment”, IEEE Trans. Computers, Apr 1990
- 📖 C. Amza, A. Cox, S Dwarkadas, P Keleher, H Lu, R. Rajamony, W. Yu and W. Zwaenepoel, TreadMarks: Shared Memory Computing on Networks of Workstations, IEEE Computer, February, 1996
Failures & Recovery
- Mar 18
- Lec 19 LRVM
- Mar 23
- No Class Spring break
- Mar 25
- No Class Spring break
- Mar 30
- Lec 20 RioVista
- Project 3 Due Project 4 Out
- Apr 1
- Lec 21 QuickSilver
- Papers
- 📖 Satyanarayanan, M., et al., Lightweight Recoverable Virtual Memory, SOSP 1993
- 📖 David E. Lowell and Peter M. Chen, Free Transactions With Rio Vista, SOSP 1997
- 📖 R. Haskin et. al., Recovery Management in QuickSilver, ACM Transactions on Computer Systems, February 1988
- 📖 J. N. Gray et. al., The Recovery Manager of a Data Management System, ACM Computing Surveys, June 1981
- 📖 D. Porter, O. Hofmann, C. Rossbach, A. Benn, E. Witchel, Operating System Transactions, SOSP 2009
- 📖 D. Peng, F. Dabek, Large-scale Incremental Processing Using Distributed Transactions and Notifications, OSDI 2010
- 📖 David E. Lowell and Peter M. Chen, Free Transactions With Rio Vista, SOSP 1997
Internet-Scale Computing
- Apr 6
- Lec 22 Giant-Scale Services
- Apr 8
- Lec 23 MapReduce
- Apr 10
- Exam 2
- Apr 13
- Lec 24 Coral CDN
- Papers
- 📖 Brewer, E., Lessons from Giant-Scale Services, IEEE Computer 2001
- 📖 Dean, J., and Ghemawat, S., MapReduce: Simplified Data Processing on Large Clusters, OSDI 2004
- 📖 Luis Andre Barroso, Jeffrey Dean, Urs Holzle, Web Search for a Planet: The Google Cluster Architecture, IEEE MICRO 2003
- 📖 Freedman, M., Freudenthal, E., and Mazières, D., Democratizing content publication with Coral, NSDI 2004
- 📖 G. DeCandia, D. Hastorun, et. al., Dynamo: Amazon’s Highly Available Key-value Store, SOSP 2007
- 📖 Dean, J., and Ghemawat, S., MapReduce: Simplified Data Processing on Large Clusters, OSDI 2004
Real Time & Multimedia
- Apr 15
- Lec 25 TSLinux
- Apr 22
- Lec 26 PTS
- Papers
- 📖 Ashvin Goel, Luca Abeni, Charles Krasic, Jim Snow, Jonathan Walpole, Supporting Time-Sensitive Applications on a Commodity OS, OSDI 2002
- 📖 T. Broomhead, L. Cremean, J. Ridoux, D. Veitch, Virtualize Everything but Time, OSDI 2010
- 📖 David Hilley and Umakishore Ramachandran, Persistent Temporal Streams, Middleware 2009
- 📖 Shahabi, Zimmermann, Fu, and Yao, Yima: A Second-Generation Continuous Media Server, IEEE Computer 2002
- 📖 T. Broomhead, L. Cremean, J. Ridoux, D. Veitch, Virtualize Everything but Time, OSDI 2010
Security
- Apr 27
- Lec 27 AFS
- Project 4 Due
- May 1
- Exam 3
- Papers
- 📖 Saltzer, J.H. and Schroeder, M.D., Protection and the Control of Information in Computer Systems, IEEE 1975
- 📖 M. Satyanarayanan, Integrating Security in Large Scale Distributed Systems, ACM TOCS 1989