This page is organized by inverse order of the discussion topics, so that you can find what you most often need at the top of the page.
The final exam due on Tuesday at 5pm. Grades will be available by Christmas Eve.
The take-home final is now available (5:30pm on Friday, December 8).
Designing Computer Systems with MEMS-based Storage, by David Nagle, et al. (ps) (pdf)
ARPANET crash of 1980; partition of 1986 [distributed in class]
Sources of Failure in the Public Switched Telephone Network, by D. Richard Kuhn, in IEEE Computer, Vol. 30, No. 4 (April, 1997), p. 31-36.
Lecture 11: Distributed Shared Memory (6 up)
Towards Transparent and Efficient Software DSM, by Scales and Gharachorloo, in Proceedings of the 16th Symposium on Operating Systems Principles, 1997.
Cashmere-2L: Software Coherent Shared Memory on a Clustered Remote-Write Network, by Stets et al, in Proceedings of the 16th Symposium on Operating Systems Principles, 1997.
Lecture 9: Novel Directions in File Systems (6 up)
A Flash-Memory Based File System, by Atsuo Kawaguchi, Shingo Nishioka, and Hiroshi Motoda, in Proceedings of the 1995 Winter Usenix Conference.
File-system development with stackable layers, by John Heidemann and Gerald Popek, in ACM Transactions on Computer Systems, 12(1):58-89, 1994.
Lecture 8: File Systems Performance (6 up)
UNIX disk access patterns, by Chris Ruemmler and John Wilkes, in Proceedings of the Winter '93 USENIX Conference, 405-420, January, 1993.
A Fast File System for UNIX, by Michael K. McKusick, W. N. Joy, S. J. Leffler, and R. S. Fabry, in ACM Transactions on Computer Systems, 2(3):181-197, August 1984.
A Log-Structured File System for UNIX, by Seltzer, M., Bostic, K., McKusick., M., Staelin, C., in Proceedings of the 1993 Winter Usenix Conference.
A Case for Redundant Arrays of Inexpensive Disks (RAID), by David A. Patterson and Garth Gibson and Randy H. Katz, in ACM SIGMOD Conference Proceedings, 109-116, 1988.
The Zebra Striped Network File System, by John H. Hartman, John K. Ousterhout, in ACM Transactions on Computer Systems, 13(3): 274-310, 1995.
Serverless Network File Systems, by T. Anderson, M. Dahlin, J. Neefe, D. Patterson, D. Roselli, and R. Wang, in Proceedings of the 15th Symposium on Operating Systems Principles, 1995.
Frangipani: A Scalable Distributed File System, by Chandramohan A. Thekkath, Timothy Mann, and Edward K. Lee, in Proceedings of the 16th Symposium on Operating Systems Principles, 1997.
Lecture 6: Theoretical Foundations of Distributed Systems (part I) (6 up)
Lecture 4: Synchronization & Deadlocks (6 up)
Lecture 3: OSs & 64-Bit Architectures (6 up)
Sharing and Protection in a Single-Address-Space Operating System, by Jeff Chase, Hank Levy, Michael Feeley, and Edward Lazowska, in ACM Transactions on Computer Systems, November 1994.
Anonymous RPC: Low-Latency Protection in a 64-Bit Address Space, by Curtis Yarvin, Richard Bukowski, and Thomas Anderson, in USENIX Conference Proceedings, Summer 1993.
The Expected Lifetime of "Single-Address-Space" Operating Systems, by David Kotz and Preston Chow, Dartmouth College Technical Report PCS-TR93-198 (revised 1996).
Opal: A Single Address Space System for 64-bit Architectures, by Jeff Chase, Hank Levy, Miche Baker-Harvey, and Ed Lazowska, in Proceedings of the IEEE Workshop on Workstation Operating Systems, 1992.
Architectural Support for Single Address Space Operating Systems, by Jeff Chase, Hank Levy, Miche Baker-Harvey, and Ed Lazowska, in Proceedings of the IEEE Workshop on Workstation Operating Systems, 1992.
Lecture 2: OS Extensibility (3 up) (6 up)
Extensibility, Safety and Performance in the SPIN Operating System,, by Brian Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer, David Becker, March Fiuczynski, Craig Chambers, Susan Eggers, in Proceedings of the 15th Symposium on Operating Systems Principles, 1995.
Exokernel: An Operating System Architecture for Application-Level Resource Management, by Dawson Engler, Frans Kaashoek, and James O'Toole, in Proceedings of the 15th Symposium on Operating Systems Principles, 1995.
Microkernels Meet Recursive Virtual Machines, by Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullman, Godmar Back, and Stephen Clawson, in Proceedings of the Second USENIX Symposium on Operating Systems Design and Implementation, 1996.
SLIC: An Extensibility System for Commodity Operating Systems, by
Douglas Ghormley, David Petrou, Steven Rodrigues, and
Thomas Anderson,
in Proceedings of the USENIX 1998 Annual Technical Conference.
[The above paper is in PostScript Level 3, from a PDF document.
If your software/printer chokes on it, try this
earlier version as submitted, without corrections.]
A Comparison of OS Extension Technologies, by Christopher Small and Margo Seltzer, in Proceedings of the USENIX 1996 Annual Technical Conference.
On u-Kernel Construction, by Jochen Liedtke, in Proceedings of the 15th Symposium on Operating Systems Principles, 1995.
Porting UNIX to Windows NT, by David Korn, in Proceedings of the USENIX 1997 Annual Technical Conference.
Flexibility in Object-Oriented Operating Systems: A Review, by Vinny Cahill, Technical Report TCD-CS-96-05, Trinity College Dublin, 1996.
Application Performance and Flexibility on Exokernel Systems, by Frans Kaashoek, Dawson Engler, Gregory Ganger, Hector Briceno, Russell Hunt, David Mazieres, Thomas Pinckney, Robert Grimm, John Jannotti, and Kenneth Mackenzie, in Proceedings of the 16th Symposium on Operating Systems Principles, 1997.
The Flux OSKit: A Substrate for Kernel and Language Research, by Bryan Ford, Godmar Black, Greg Benson, Jay Lepreau, Albert Lin, and Olin Shivers, in Proceedings of the 16th Symposium on Operating Systems Principles, 1997.
Lecture 1: OS Architectures (3 up) (6 up)
Singhal, Chapter 1: Operating System Overview.
Tanenbaum, Chapter 7: Amoeba Case Study [SEL Reserve]
Tanenbaum, Chapter 8: Mach Case Study [SEL Reserve]
Stallings, Chapter 2: Windows NT [SEL Reserve]
Why Aren't Operating Systems Getting Faster as Fast as Hardware?, by John Ousterhout, in USENIX Conference Proceedings, Summer 1990.
The Interaction of Architecture and Operating System Design, by Thomas Anderson, Hank Levy, Brian Bershad, and Ed Lazowska, in Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 1991.
Plan 9 from Bell Labs, by Rob Pike, Dave Presotto, Sean Dorward, Bob Flandrena, Ken Thompson, Howard Trickey, and Phil Winterbottom, in Plan 9, Volume 2: The Documents.
The Impact of Archtectural Trends on Operating System Performance, by Mendel Rosenblum, Edouard Bugnion, Stephen Herrod, Emmett Witchel, and Anoop Gupta, in Proceedings of the 15th Symposium on Operating Systems Principles, 1995.