Reading List
CSE 60641 - Operating Systems - Fall 2006
Note: The papers linked here are protected by various copyrights that allow for classroom use.
Thus, you must be in this class and login with your AFS ID in order to access the papers.
Disks and File Systems
David Patterson, Garth Gibson, and Randy Katz,
"A Case for Redundant Arrays of Inexpensive Disks",
Proceedings of ACM Special Interest Group on Management of Data (SIGMOD), 1988.
Mendel Rosenblum and John Ousterhout,
"The Design and Implementation of a Log Structured File System",
Proceedings of the Symposium on Operating Systems Principles, 1991.
John Howard, Michael Kazarm Sherri Menees, David Nichols, M. Satyanarayanan, Robert Sidebotham, and Michael West,
"Scale and Performance in a Distributed File System",
ACM Transactions on Computer Systems, Volume 6, Number 1, February 1988.
V. Srinivasan and J. Mogul,
"Spritely NFS: Experiments with Cache Consistency Protocols",
Proceedings of the Symposium on Operating Systems Principles, 1990.
Sanjay Ghemawat, Howard Gobioff, and Shun-Tak Leung,
"The Google File System",
Proceedings of the Symposium on Operating Systems Principles, 2003.
Memory Management
A. Bensoussan and R. Daley,
"The Multics Virtual Memory: Concepts and Design",
Proceedings of the Symposium on Operating Systems Principles, 1969.
Peter Denning,
"The Working Set Model for Program Behavior",
Communications of the ACM, 1968.
Richard Carr and John Hennessy,
"WSClock -- A Simple and Effective Algorithm for Virtual Memory Management",
Proceedings of the Symposium on Operating Systems Principles, 1981.
Michael Young, Avadis Tevanian, Richard Rashid, David Golub, Jeffrey Eppinger, Johnathan Chew, William Bolosky, David Black, and Robert Baron,
"The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System",
Proceedings of the Symposium on Operating Systems Principles, 1987.
Paul Wilson,
"Uniprocessor Garbage Collection Techniques",
ACM Computing Surveys, 1992.
Guest Lectures
Douglas Thain, Sander Klous, Justin Wozniak, Paul Brenner, Aaron Striegel, and Jesus Izaguirre,
"Separating Abstractions from Resources in a Tactical Storage System",
Proceedings of ACM/IEEE Supercomputing, 2005.
Phil Snowberger and Douglas Thain
"SubIdentities: Toward Operating System Support for Distributed System Security",
Technical Report 2005-18, Univ of Notre Dame, Department of Computer Science, October 2005.
Threads and Synchronization
Butler Lampson and David Redell,
"Experiences with Processes and Monitors in Mesa",
Communications of the ACM, Volume 23, Number 2, February 1980.
C. A. R. Hoare,
"Communicating Sequential Processes",
Communications of the ACM, Volume 21, Number 8, August 1977.
Thomas Anderson, Brian Bershad, Edward Lazowska, and Henry Levy,
"Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism",
ACM Transactions on Computer Systems, Volume 10, Number 1, February 1992.
Kernel Structure
Brian Bershad,
"The Increasing Irrelevance of IPC Performance for Microkernel Based Operating Systems",
Proceedings of the WOrkshop on Micro-kernels and Other Kernel Architectures, 1992.
Brian Bershad, Richard Draves, and Alessandro Forin,
"Using Microbenchmarks to Evaluate System Performance",
Proceedings of the Workshop on Workstation Operating Systems, 1992.
Jochen Liedtke,
"On Micro-Kernel Construction",
Proceedings of the Symposium on Operating Systems Principles, 1995.
Dawson Engler, Frans Kaashoek, and James O'Toole,
"Exokernel: An Operating System Architecture for Application Level Resource Management",
Proceedings of the Symposium on Operating Systems Principles, 1995.
Virtualization
Samuel King, George Dunlap, and Peter Chen,
"Operating System Support for Virtual Machines",
Proceedings of USENIX Annual Technical Conference, 2003.
Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, and Andrew Warfield,
"Xen and the Art of Virtualization",
Proceedings of the Symposium on Operating Systems Principles, 2003.
Stephen Jones, Andrea Arpaci-Dusseau, and Remzi Arpaci-Dusseau,
"Antfarm: Tracking Processes in a Virtual Machine Environment",
Proceedings of USENIX Annual Technical Conference, 2006.
Samuel King, George Dunlap, and Peter Chen,
"Debugging Operating Systems with Time-Traveling Virtual Machines",
Proceedings of USENIX Annual Technical Conference, 2006.
Security
F. T. Grampp and R. H. Morris,
"UNIX Operating System Security",
AT&T Bell Laboratories Technical Journal,
Volume 63, Number 8, October 1984.
Anita Jones and William Wulf,
"Towards the Design of Secure Systems",
Software: Practice and Experience, Volume 5, 1975.
Jennifer Steiner, Clifford Neuman, and Jeffrey Schiller,
"Kerberos: An Authentication Service for Open Network Systems",
Proceedings of the Winter USENIX Technical Conference, 1988.
Advice
Butler Lampson,
"Hints on Computer Systems Design",
Proceedings of the Symposium on Operating Systems Principles, 1983.