Schedule
This is a tentative schedule and is subject to change. We will send an announcement if we make a major change.
Intro
- Jan 6
- Lec 1 Course Introduction
Slides
- Project 0 Out Homework 0 Out
- Papers
- π How to Read a Paper
OS Structures
- Jan 8
- Lec 2 Preliminaries
Slides
- Jan 13
- Lec 3 SPIN
Slides
- Project 0 Due Homework 0 Due
- Jan 15
- Lec 4 Exokernel, L3
Slides
- 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
Parallel Systems
- Jan 29
- Lec 7 Synchronization 1
Slides
- Feb 3
- Lec 8 Synchronization 2
Slides
- Feb 5
- Lec 9 Synchronization 3
Slides
- Feb 10
- Lec 10 Communication & Scheduling
Slides
- Project 1 Due Project 2 Out
- Feb 12
- Lec 11 Case Studies
Slides
- Feb 14
- Exam 1
- 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 17
- Lec 12
Slides
- Feb 19
- Lec 13
Slides
- Feb 22
- Lec 14
Slides
- 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
- π Hutchinson N.C., Peterson, L.L., The x-Kernel: An Architecture for Implementing Network Protocols, IEEE Transactions on Software Engineering, January 1991
- π David Wetherall, Active Networks: Vision and Reality: Lessons from a Capsule-based System, SOSP 1999
- π Liu, Kreitz, van Renesse, Hickey, Hayden, Birman, Constable, Building Reliable High Performance Communication Systems from Components, SOSP 1999
- π Schroeder, M., and Burrows, M., Performance of the Firefly RPC, SOSP 1989
- π 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
- Feb 26
- Lec 15
Slides
- Mar 3
- Lec 16
Slides
- Project 2 Due Project 3 Out
- 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
- π Hamilton, G., Powell, M.L., and Mitchell, J.J., Subcontract: A Flexible Base for Distributed Programming, SOSP 1993
Distributed Subsystems
- Mar 5
- Lec 17
Slides
- Mar 10
- Lec 18
Slides
- 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 12
- Lec 19
Slides
- Mar 17
- No Class Spring break
- Mar 19
- No Class Spring break
- Mar 24
- Lec 20
Slides
- Project 3 Due Project 4 Out
- Mar 26
- Lec 21
Slides
- 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
- Mar 31
- Lec 22
Slides
- Apr 2
- Lec 23
Slides
- Apr 4
- Exam 2
- Apr 7
- Lec 24
Slides
- Apr 9
- Lec 25
Slides
- Papers
- π Dean, J., and Ghemawat, S., MapReduce: Simplified Data Processing on Large Clusters, OSDI 2004
- π Brewer, E., Lessons from Giant-Scale Services, IEEE Computer 2001
- π 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
- π Brewer, E., Lessons from Giant-Scale Services, IEEE Computer 2001
Real Time & Multimedia
- Apr 14
- Lec 26
Slides
- Apr 16
- Lec 27
Slides
- 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 21
- Lec 28
Slides
- Project 4 Due
- Apr 25
- 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