For each lecture, we will post a small set of discussion questions based on the assigned papers. You're required to add a unique comment to the discussion of one of the questions by 9am on the day of the class, to give time for everyone to read the blog entries before class. Note that the earlier you post, the easier it is to be unique. Please keep blog entries short: they can be anything that provides insight into the question being asked. We will automatically grant two mulligans during the quarter.
You should post your discussion comment to the paper blog section of the class discussion board.
Optional additional papers:
- W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack. HYDRA: The Kernel of a Multiprocessor Operating System. Communications of the ACM 17(6), June 1974, pp. 337-344.
- Edsger W. Dijkstra. The Structure of the "THE" Multiprogramming System. Communications of the ACM 11(5), May 1968.
Optional additional papers:
- Michael D. Schroeder and Jerome H. Saltzer. A Hardware Architecture for Implementing Protection Rings. Communications of the ACM, volume 15, number 3, March 1927, pp. 157-170.
- B. Bershad, S. Savage, P. Pardyak, E. Sirer, M. Fiuczynski, D. Becker, C. Chambers, and S. Eggers. Extensibility, Safety and Performance in the SPIN Operating System. Proc. of the 15th ACM. Symp. on Operating Systems Principles, December 1995.
- Dawson R. Engler, M. Frans Kaashoek, and James O'Toole Jr. Exokernel: an operating system architecture for application-level resource management. In the Proceedings of the 15th ACM Symposium on Operating Systems Principles (SOSP '95), Copper Mountain Resort, Colorado, December 1995. (Related paper: Exterminate all OS abstractions)
- Jonathan S. Shapiro, Jonathan M. Smith, and David J. Farber. EROS: a fast capability system. Proceedings of SOSP 1999.
- Petros Efstathopoulos, Maxwell Krohn, Steve VanDeBogart, Cliff Frey, David Ziegler, Eddie Kohler, David Mazières, Frans Kaashoek and Robert Morris. Labels and Event Processes in the Asbestos Operating System. Proceedings of SOSP 2005, October 2005. (slides)
- Galen Hunt, James Larus, Martín Abadi, Mark Aiken, Paul Barham, Manuel Fähndrich, Chris Hawblitzel, Orion Hodson, Steven Levi, Nick Murphy, Bjarne Steensgaard, David Tarditi, Ted Wobber, Brian Zill. An Overview of the Singularity Project. Microsoft Research Technical Report MSR-TR-2005-135, October 2005.
- Michael Spear, Tom Roeder, Orion Hodson, Galen Hunt, and Steven Levi. Solving the Starting Problem: Device Drivers as Self-Describing Artifacts. Proceedings of EuroSys2006. Leuven, Belgium, April 2006.
Optional additional papers:
- H. Levy and P. Lipman. Virtual Memory Management in VAX/VMS. Computer 15(3), March 1982, pp. 35-41.
- R. Rashid, A.Tevanian, M. Young, D. Golub, R. Baron, D. Black, W. Bolosky, and J. Chew. Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures. Proc. of the 2nd International Conference on Architectural Support for Programming Languages and Operating Systems, October 1987, pp. 31-39.
- Kai Li and Paul Hudak. Memory Coherence in Shared Virtual Memory Systems. ACM Trans. on Computer Systems 7(4), November 1989, pp. 321-359.
- M. Satyanarayanan, H. Mashburn, P. Kumar, D. Steer, and J. Kistler. Lightweight Recoverable Virtual Memory. Proceedings of the 14th ACM Symposium on Operating Systems Principles, December 1993.
- K. Harty and D.Cheriton. Application-Controlled Physical Memory using External Page-Cache Management. Proc. of the 5th International Conference on Architectural Support for Programming Languages and Operating Systems, 1992, pp. 187-197.
- A. Bensoussan, C.T. Clingen, and R.C. Daley. The Multics virtual memory: concepts and design. Communciations of the ACM, volume 15, issue 5, May 1972.
- Daniel J. Scales and Kourosh Gharachorloo. Towards Transparent and Efficient Software Distributed Shared Memory. Proceedings of SOSP 1997.
Optional additional papers:
- Marshall K. McKusick, William N. Joy, Samuel J. Leffler, and Robert S. Fabry. A Fast File System for UNIX. ACM Trans. on Computer Systems 2(3), August 1984, pp. 181-197.
- John H. Howard, Michael L. Kazar, Sherri G. Menees, David A. Nichols, M. Stayanayanan, Robert N. Sidebotham, and Michael J. West. Scale and Performance in a Distributed File System. ACM Trans. on Computer Systems 6(1), February 1988, pp. 51-81.
- James J. Kistler and M. Satyanarayanan. Disconnected Operation in the Coda File System. ACM Transactions on Computer Systems (TOCS), volume 10, issue 1, February 1992.
- Michael N. Nelson, Brent B. Welch, and John K. Ousterhout. Caching in the Sprite Network File System. ACM Trans. on Computer Systems 6(1), February 1988, pp. 134-154.
- attacking LFS: seltzer vs. ousterhout
- J. Wilkes, R. Golding, C. Staelin, and T. Sullivan. The HP AutoRAID hierarchical storage system. Proceedindgs of SOSP 1995.
- Karin Petersen, Mike J. Spreitzer, Douglas B. Terry, Marvin M. Theimer, and Alan J. Demers. Flexible Update Propagation for Weakly Consistent Replication: Managing Update Conflicts in Bayou. Proceedings of SOSP 1997.
- John Kubiatowicz, David Bindel, Yan Chen, Steven Czerwinski, Patrick Eaton, Dennis Geels, Ramakrishna Gummadi, Sean Rhea, Hakim Weatherspoon, Westley Weimer, Chris Wells, and Ben Zhao. OceanStore: An Architecture for Global-Scale Persistent Storage. Proceedings of the Ninth international Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2000), November 2000.
- Margo I. Seltzer, Gregory R. Ganger, M. Kirk McKusick, Keith A. Smith, Craig A. N. Soules, Christopher A. Stein. Journaling versus Soft Updates: Asynchronous Meta-data Protection in File Systems. Proceedings of the 2000 USENIX Annual Technical Conference, June 2000.
- Douglas S. Santry, Michael J. Feeley, Norman C. Hutchinson, Alistair C. Veitch, Ross W. Carton, and Jacob Ofir. Deciding when to forget in the Elephant file system. Proceedings of the 17th ACM Symposium on Operating Systems Principles (SOSP '99).
Optional additional papers:
- Butler Lampson and David Redell. Experience with Processes and Monitors in Mesa. Communications of the ACM, volume 23, issue 2, Feburary 1980.
- J.N. Gray, R.A. Lorie, G.R. Putzolu, and I.L. Traiger. Granularity of Locks and Degrees of Consistency in a Shared Database. Readings in Database Systems, 3rd Edition, Morgan Kaufmann Series in Data Management Systems.
- C. Waldspurger and W. Weihl. Lottery Scheduling: Flexible Proportional-Share Resource Management. Proceedings of the First USENIX Symposium on Operating System Design and Implementation, November 1994.
- Rob von Behren, Jeremy Condit, Feng Zhou, George C. Necula, Eric Brewer. Capriccio: Scalable Threads for Internet Services.. Proceedings of SOSP 2003.
- Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson. Eraser: A Dynamic Data Race Detector for Multithreaded Programs. ACM Transactions on Computer Systems (TOCS), volume 15, issue 4, November 1997.
- John erickson, Madanlal Musuvathi, Sebastian Burckhardt, and Kirk Olynyk. Effective Data-Race Detection for the Kernel. OSDI 2010.
Optional additional papers:
- Andrew Whitaker, Marianne Shaw, and Steven D. Gribble. Scale and Performance in the Denali Isolation Kernel Proc. of the 5th Conf. on Operating Systems Design and Implementation, December 2002.
- Michael Vrable, Justin Ma, Jay Chen, David Moore, Erik Vandekieft, Alex C. Snoeren, Geoffrey M. Voelker, and Stefan Savage. Scalability, Fidelity, and Containment in the Potemkin Virtual Honeyfarm. Proceedings of SOSP 2005.
- Carl A. Waldspurger. Memory Resource Management in VMware ESX Server Proceedings of the 5th Symposium on Operating Systems Design and Implementation, Boston MA, December 2002.
- Ramón Cáceres, Casey Carter, Chandra Narayanaswami, and Mandayam Raghunath. Reincarnating PCs with Portable SoulPads. Proceedings of the Third International Conference on Mobile Systems, Applications, and Services (MobiSys '05), 2005.
- R. Chandra, N. Zeldovich, C. Sapuntzakis, and M. S. Lam. The Collective: A Cache-Based System Management Architecture. Proceedings of the Second Symposium on Networked Systems Design and Implementation (NSDI 2005), May 2005.
Optional additional papers:
- Andrew D. Birrell and Bruce Jay Nelson. Implementing Remote Procedure Calls. ACM Trans. on Computer Systems 2(1), February 1984, pp. 39-59.
- Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen C. Hunt, James R. Larus, and Steven Levi. Language Support for Fast and Reliable Message-based Communication in Singularity OS. Proceedings of EuroSys2006. Leuven, Belgium, April 2006.
- Roger M. Needham and Michael D. Schroeder. Using Encryption for Authentication in Large Networks of Computers. Communications of the ACM 21(12), December 1978, pp.993-998.
- Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, and Henry M. Levy. Lightweight Remote Procedure Call. ACM Trans. on Computer Systems 8(1), February 1990, pp.37-55.
- Thorsten von Eicken, David E. Culler, Seth Copen Goldstein, Klaus Erik Schauser. Active messages: a mechanism for integrated communication and computation. Proceedings of the 19th Annual International Symposium on Computer Architecture (ISCA 1992).
- Patrick Th. Eugster, Pascal A. Felber, Rachid Guerraoui, and Anne-Marie Kermarrec. The many faces of publish/subscribe. ACM Computing Surveys (CSUR), volume 35, issue 2, June 2003.
Optional additional papers:
- D. Engler, D. Chen, A. Chou. Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code. Proc. of the 18th ACM Symp. on Operating Systems Principles, Oct. 2001.
- Mike Swift, Brian Bershad, and Henry Levy. Improving the Reliability of Commodity Operating Systems. Proceedings of the 19th ACM Symposium on Operating Systems Principles, October 2003.
- Michael M. Swift, Muthukaruppan Annamalai, Brian N. Bershad, Henry M. Levy. Recovering Device Drivers. Proceedings of the 6th ACM/USENIX Symposium on Operating Systems Design and Implementation, San Francisco, CA, Dec. 2004.
- Ian Goldberg, David Wagner, Randi Thomas, and Eric Brewer. A Secure Environment for Untrusted Helper Applications: Confining the Wily Hacker. Proceedings of the Sixth USENIX UNIX Security Symposium, San Jose, California, July 1996.
- Richard S. Cox, Jacob Gorm Hansen, Steven D. Gribble, and Henry M. Levy. A Safety-Oriented Platform for Web Applications. Proceedings of the 2006 IEEE Symposium on Security and Privacy, Oakland, CA, May 2006.
- Tal Garfinkel, Ben Pfaff, Jim Chow, Mendel Rosenblum, Dan Boneh. Terra: A Virtual Machine-Based Platform for Trusted Computing. Proceedings of the 19th ACM Symposium on Operating Systems Principles, October 2003.
- Michael Burrows, Martin Abadi and Roger Needham. A Logic of Authentication. ACM Transactions on Computer Systems 8(1), February 1990, pp. 18-36.
Optional additional papers:
- Jeffrey Dean and Sanjay Ghemawat. MapReduce: Simplified Data Processing on Large Clusters. Proceedings of the Sixth Symposium on Operating System Design and Implementation (OSDI '04), San Francisco, CA, December, 2004.
- Armando Fox, Steven Gribble, Yatin Chawathe, Eric Brewer, and Paul Gauthier. Cluster-based Scalable Network Services. Proc. of the 16th ACM Symp. on Operating Systems Principles, October 1997, pp. 78-91.
- Y. Saito, B. Bershad, and H. Levy. Manageability, Availability and Performance in Porcupine: A Highly Scalable Internet Mail Service. Proc. of the 17th ACM Symp. on Operating Systems Principles, Dec. 1999.
- V.S. Pai, M. Aron, G. Banga, M. Svendsen, P. Druschel, W. Zwaenepoel, and E. Nahum. Locality-Aware Request Distribution in Cluster-Based Network Servers." Proc. of the 8th ACM/IEEE Symp. on Arch. Support for Prog. Lang. and Operating Systems, October 1998, pp.205-216.
- Vivek S. Pai, Peter Druschel, and Willy Zwaenepoel. Flash: An Efficient and Portable Web Server. Proceedings of the USENIX 1999 Annual Technical Conference. June 1999.
- Jeffrey C. Mogul and K.K. Ramakrishnan. Eliminating Receive Livelock in an Interrupt-driven Kernel. ACM Transactions on Computer Systems (TOCS), volume 15, issue 3, August 1997.
- M. Welsh, D. Culler, E. Brewer. SEDA: An Architecture for Well-Conditioned, Scalable Internet Services. Proc. of the 18th ACM. Symp. on Operating Systems Principles, Oct. 2001.
- S. Gribble, E. Brewer, J. Hellerstein, and D. Culler. Scalable, Distributed Data Structures for Internet Service Construction. Proceedings of the Fourth USENIX Symposium on Operating Systems Design and Implementation (OSDI 2000), October 2000.
Optional additional papers:
- Krishna Gummadi, Richard Dunn, Stefan Saroiu, Steven Gribble, Henry Levy, and John Zahorjan. Measurement, Modeling, and Analysis of a Peer-to-Peer File-Sharing Workload. Proceedings of the 19th ACM Symp. on Operating Systems Principles, October 2003.
- Stefan Saroiu, Krishna Gummadi, Steve Gribble. A Measurement Study of Peer-to-Peer File Sharing Systems. Proc. of Multimedia Computing and Networking 2002, January 2002.
- Stefan Saroiu, Krishna P. Gummadi, Richard J. Dunn, Steven D. Gribble, and Henry M. Levy. An Analysis of Internet Content Delivery Systems. Proceedings of the Fifth Symposium on Operating Systems Design and Implementation (OSDI 2002), Boston, MA, December 2002.
- Michael Piatek, Tomas Isdal, Thomas Anderson, Arvind Krishnamurthy, Arun Venkataramani. Do incentives build robustness in BitTorrent?, Proceedings of the 4th USENIX Symposium on Networked Systems Design & Implementation (NSDI 2007).
- A. Rowstron and P. Druschel. Pastry: Scalable, decentralized object location and routing for large-scale peer-to-peer systems. IFIP/ACM International Conference on Distributed Systems Platforms (Middleware), Heidelberg, Germany, November 2001.
- A. Rowstron and P. Druschel. Storage management and caching in PAST, a large-scale, persistent peer-to-peer storage utility. Proceedings of the 18th ACM Symposium on Operating Systems Principles, Oct. 2001.
- Sean Rhea, Dennis Geels, Timothy Roscoe, and John Kubiatowicz. Handling Churn in a DHT. Proceedings of the USENIX Annual Technical Conference, June 2004.
Optional additional papers:
- Charles Anthony Richard Hoare. The Emperor's Old Clothes. Communications of the ACM, Vol. 24, No. 2, February 1981.