Kernels

Papers for class

1 - Edsger W. Dijkstra
The Structure of the "THE" Multiprogramming System
Communications of the ACM 11(5), May 1968.

2 - Per Brinch Hansen
The Nucleus of a Multiprogramming System
Communications of the ACM 13(4), April 1970

3 - 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.

4 - Dawson Engler and M. Frans Kaashoek
Exterminate All Operating System Abstractions
Fifth Workshop on Hot Topics in Operating Systems (HotOS-V), Orcas Island, Washington, May, 1995

5 - M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Hector M. Briceno, Russell Hunt, David Mazieres, Thomas Pinckney, Robert Grimm, John Jannotti, and Kenneth Mackenzie
Application performance and flexibility on exokernel systems
In the Proceedings of the 16th ACM Symposium on Operating Systems Principles (SOSP '97)

6 - Edouard Bugnion, Scott Devine, Mendel Rosenblum.
Disco: Running Commodity Operating Systems on Scalable Multiprocessors
Proceedings of The Sixteenth Symposium on Operating Systems Principles (SOSP '97)

7 - Michael Swift, Brian Bershad, Henry M. Levy
Improving the Reliability of Commodity Operating Systems
Proceedings of The Nineteenth Symposium on Operating Systems Principles (SOSP '03)

Background Papers (to read on your own)

8 - Ritchie, D.M. and Thompson, K.
The UNIX Time-Sharing System
Communications of the ACM, Vol. 17, No. 7, July 1974, pp. 365-375.

File and Storage Systems

Papers for class

9 - McKusick, M.K., Joy, W.N., Leffler, S.J., and Fabry, R.S.
A Fast File System for UNIX
ACM Transactions on Computer Systems, Vol. 2, No. 3, August 1984, pp. 181-197.

10 - Rosenblum, M. and Ousterhout, J.
The Design and Implementation of a Log-Structured File System
ACM Transactions on Computer Systems, Vol. 10, No. 1, February 1992, pp. 26-52.

11 - Vivek Pai, Peter Druschel and Willy Zwaenepoel
IO-Lite: A Unified I/O Buffering and Caching System
Proceedings of the Third Symposium on Operating Systems Design and Implementation (OSDI'99), New Orleans, LA, February 1999

12 - Sitaram Iyer, Peter Druschel
Anticipatory Scheduling: A Disk Scheduling Framework to Overcome Deceptive Idleness in Synchronous I/O
SOSP 18, October 2001.

13 - Patterson, D., Gibson, G., and Katz, R.,
A Case for Redundant Arrays of Inexpensive Disks (RAID)
Proceedings of the 1988 ACM SIGMOD Conference on Management of Data, Chicago IL, June 1988.

14 - Muthian Sivathanu, Vijayan Prabhakaran, Andrea Arpaci-Dusseau, Remzi Arpaci-Dusseau
Storage System Availability with D-GRAID
Proceedings of FAST '04

Background Papers (to read on your own)

15 - Chris Ruemmler and John Wilkes
An Introduction to Disk Drive Modeling
IEEE Computer, March, 1994, Volume 27, Number 3, pp. 17-28

Threads and Scheduling

Papers for class

16 - C.A.R. Hoare
Monitors: An Operating System Structuring Concept
Communications of the ACM 17, 10, October 1974, pp. 549-557

17 - Butler W. Lampson, David D. Redell
Experiences with Processes and Monitors in Mesa
Communications of the ACM, 23 2, February 1980, pp. 105-117.

18 - Waldspurger, C.A. and Weihl, W.E.
Lottery Scheduling: Flexible Proportional-Share Resource Mangement
Proceedings of the First Symposium on Operating Systems Design and Implementation, Monterey CA, November 1994, pp. 1-11.

19 - Banga, G., Druschel, P,. Mogul, J.
Resource Containers: A New Facility for Resource Management in Server Systems
Proceedings of the Third Symposium on Operating System Design and Implementation (OSDI '99), New Orleans, LA, February, 1999, 45-58.

20 - Anderson, T., Bershad, B., Lazowska, E., and Levy, H.
Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism
Symposium on Operating Systems Principles (SOSP '91)

Background Papers (to read on your own)

21 - Andrew D. Birrell
An Introduction to Programming with Threads
Digital SRC Research Report 35

Memory Management and Protection

Papers for class

22 - Levy, H. and Lipman, P.,
Virtual Memory Management in the VAX/VMS Operating System
IEEE Computer, Vol. 15, No. 3, March 1982, pp. 35-41.

23 - Daley, R.C., and Dennis, J.B.
Virtual Memory, Processes, and Sharing in MULTICS
Communications of the ACM, Vol. 11, No. 5, May 1968, pp. 306-312.

24 - Waldspurger, C.
Memory Resource Management in VMWare ESX Server
Proceedings of the Fifth Symposium on Operating Systems Design and Implementation (OSDI' 02)

Interprocess Communication and Networking

Papers for class

25 - Andrew D. Birrell and Bruce Jay Nelson
Implementing Remote Procedure Calls
ACM Trans. on Computer Systems 2(1), February 1984, pp. 39-59.

Distributed Systems

Papers for class

26 - Bruce Walker, Gerald Popek, Robert English, Charles Kline and Greg Thiel
The LOCUS Distributed Operating System
Proc. of the 9th ACM Symposium on Operating Systems Principles, October 1983, pp. 49-69.

27 - Armando Fox, Steven D. Gribble, Yatin Chawathe, Eric A. Brewer
Cluster-Based Scalable Network Services
Proc. 1997 Symposium on Operating Systems Principles (SOSP-16), St-Malo, France, Oct. 1997.

Distributed Storage

Papers for class

28 - Sandberg, R., Goldberg, D., Kleiman, S., Walsh, D., and Lyon, B.
Design and Implementation of the Sun Network Filesystem
Proceedings of the Summer 1985 USENIX Conference, Portland OR, June 1985, pp. 119-130.
For current NFS info, read Sun NFS details

29 - Howard, J.H., Kazar, M.L., Menees, S.G., Nichols, D.A., Satyanarayanan, M., Sidebotham, R.N., and West, M.J.
Scale and Performance in a Distributed File System
ACM Transactions on Computer Systems, Vol. 6, No. 1, February 1988, pp. 51-81

30 - James J. Kistler, M. Satyanarayanan
Disconnected Operation in the Coda File System
13th Symposium on Operating Systems Principles (SOSP '91), Asilomar, California, pp. 213-225. October 1991

31 - Anthony Rowstron, Peter Druschel
Storage Management and Caching in PAST, a Large-scale, Persistent, Peer-to-peer Storage Utility
SOSP 18, October 2001.

32 - Baker, M., Hartman, J., Kupfer, M., Shirriff, K., and Ousterhout, J.
Measurements of a Distributed File System
Proceedings of the Thirteenth Symposium on Operating System Principles, Pacific Grove CA, October 1991, pp. 198-212.

Security

Papers for class

33 - 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-999.

34 - J. G. Steiner, C. Neuman, J. I. Schiller
Kerberos: An Authentication Service for Open Network Systems
USENIX '88, Dallas, TX, February 1988, pp. 191-202.
Kerberos in Four Acts
Kerberos Book

Background Papers (to read on your own)

35 - Dorothy E. Denning and Peter J. Denning
Data Security
Computing Surveys, Vol. 11, No. 3, September 1979, pp. 227-249.