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 - 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, pages 251-266.

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)
If this paper was interesting, check out VMWare

7 - Andrea Arpaci-Dusseau, Remzi Arpaci-Dusseau
Information and Control in Gray-Box Systems
In the Proceedings of the 18th ACM Symposium on Operating Systems Principles (SOSP '01)

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.

Papers to read on your own

14 - 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

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

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

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

18 - 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-III), New Orleans, LA, February, 1999, 45-58.

19 - Anderson, T., Bershad, B., Lazowska, E., and Levy, H.
Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism
ACM Transactions on Computer Systems, Vol. 10, No. 1, February 1992, pp. 53-79.

Papers to read on your own

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

Memory Management and Protection

Papers for class

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

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

Papers to read on your own

23 - Rashid, R., Tevanian, A., Young, M., Golub, D., Baron, R., Black, D., Bolosky, W., and Chew, J.
Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures
Proceedings of the Second International Conference on Architectural Support for Programming Languages and Operating Systems, Palo Alto CA, October 1987, pp. 31-39.

Interprocess Communication and Networking

Papers for class

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

Papers to read on your own

25 - Thorsten von Eicken, Anindya Basu, Vineet Buch, Werner Vogels
U-Net: A User-Level Network Interface for Parallel and Distributed Computing
Proceedings of the 15th ACM Symposium on Operating Systems Principles, Copper Mountain Resort, Colorado, December 1995, 40-53.

Distributed Systems

Papers for class

26 - Fred Douglis, M. Frans Kaashoek, John K. Ousterhout, Andrew S. Tanenbaum.
A Comparison of Two Distributed Systems: Amoeba and Sprite
Computing Systems, Vol. 4, No. 3, pp. 353-384, December 1991.

Papers to read on your own

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 - John Bent, Doug Thain, Andrea Arpaci-Dusseau, Remzi Arpaci-Dusseau, Miron Livny
Explicit Control in a Batch-Aware Distributed File System
In submission (please do not distribute)

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.

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

Papers to read on your own

None

Security

Papers for class

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

Papers to read on your own

35 - 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