Schedule

This is a tentative schedule and is subject to change. We will send an announcement if we make a major change.

Jump to the current module

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

Virtualization

Jan 20
No Class MLK Day
Β 
Project 1 Out
Jan 22
Lec 5 VMware ESX Server
Slides
Jan 27
Lec 6 Xen
Slides
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

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

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

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

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

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

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

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

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