UNDER CONSTRUCTION 8/29/01

Reading Papers

R. Levin and D. Redell
An Evaluation of the Ninth SOSP Submissions
Operating Systems Review 17(3), July 1983, pp. 35-40

Alan Jay Smith
The Task of the Referee
IEEE Computer 23(4), April 1990, pp. 65-71.

Operating System Structure

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

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

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, Vol. 17, No. 6, 1974, pp. 337-345.

Jerome Saltzer
Protection and the control of information sharing in multics
Communications of the ACM, Vol. 17, No. 7, July 1974, pp. 388-402.

A. Bensoussan, C.T. Clingen and R.C. Daley.
The Multics virtual memory: concepts and design
Communications of the ACM, Vol. 15, No. 5, 1972, pp. 308-318.

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

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

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

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.

J. Bradley Chen and Brian Bershad
The Impact of Operating System Structure on Memory System Performance
In the Proceedings of the 14th ACM Symposium on Operating Systems Principles (SOSP '93), Asheville, NC, December 1993, pages 120-133.

David D. Redell, Yogen K. Dalal, Thomas R. Horsley, Hugh C. Lauer, William C. Lynch, Paul R. McJones, Hal G. Murray, and Stephen C.Purcell
Pilot: An Operating System for a Personal Computer
Communications of the ACM 23(2), February 1980, pp. 81-92.

Rob Pike, Dave Presotto, Ken Thompson and Howard Trickey
Plan 9 from Bell Labs
Reprinted in Dr. Dobbs Journal, January 1991.

Edouard Bugnion, Scott Devine, Kinshuk Govil and Mendel Rosenblum.
Disco: Running Commodity Operating Systems on Scalable Multiprocessors
ACM Transactions on Computer Systems, Vol. 15, No. 4, 1997, pp. 412-447.

Threads

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

Carl Hauser, Christian Jacobi, Marvin Theimer, Brent Welch and Mark Weiser
Using threads in interactive systems: a case study
In the Proceedings of the 14th ACM Symposium on Operating Systems Principles (SOSP '93), Asheville, NC, December 1993, pages 94-105.

John Ousterhout
Why Threads Are A Bad Idea (for most purposes)
Invited Talk at the 1996 USENIX Technical Conference (January 25, 1996).

Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, and Thomas Anderson
Eraser: A Dynamic Race Detector for Multithreaded Programs
Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles (October 1997).

Memory Management

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

Kieran Harty and David R. Cheriton
Application-Controlled Physical Memory using External Page-Cache Management
The Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, pages 187--197, October 1992

M. Young, A. Tevanian, R. Rashid, D. Golub, J. Eppinger, J. Chew, W. Bolosky, D. Black, and R. Baron
The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System
Proceedings of the Eleventh ACM Symposium on Operating System Principles (SOSP 87), November 8-11, 1987, pages 63-76

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.

Patterson, R. H., Gibson, G. A., Ginting, E., Stodolsky, D., and Zelenka, J.
Informed Prefetching and Caching
Proceedings of the Fifteenth Symposium on Operating Systems Principles, Copper Mountain, CO, December 1995, pp. 79-95.

Vivek Pai, Peter Druschel and Willy Zwaenepoel.
IO-Lite: A Unified I/O Buffering and Caching System
ACM Transactions on Computer Systems, Vol. 18, No. 1, 2000, pp. 37-66.

Scheduling and Resource Management

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

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.

Andrea C. Arpaci-Dusseau
Scheduling with Implicit Information in Distributed Systems
ACM Transactions on Computer Systems, Vol. 19, No. 3, 2001, pp. 283-331.

File Systems and Stable Storage

Douceur, J.R. and Bolosky, W.J.
A Large-Scale Study of File-System Contents
Proceedings of the ACM SIGMETRICS '99, International Conference on Measurement and Modeling of Computer Systems, Atlanta, GA, USA, 1-4 May 1999.

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

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.

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.

Sandberg, R., Goldberg, D., Kleiman, S., Walsh, D., and Lyon, B.
*NOT FOUND* Design and Implementation of the Sun Network Filesystem
Proceedings of the Summer 1985 USENIX Conference, Portland OR, June 1985, pp. 119-130.

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.

Peter M. Chen, Edward K. Lee, Garth A. Gibson, Randy H. Katz, David A. Patterson
RAID: High-Performance, Reliable Secondary Storage
ACM Computing Surveys, June 1994

Wilkes, J., Golding, R., Staelin, C., and Sullivan, T.
The HP AutoRAID Hierarchical Storage System
ACM Transactions on Computer Systems, Vol. 14, No. 1, 1996, pp. 108-136.

Garth A. Gibson, David F. Nagle, Khalil Amiri, Fay W. Chang, Eugene M. Feinberg, Howard Gobioff, Chen Lee, Berend Ozceri, Erik Riedel, David Rochberg, Jim Zelenka
File Server Scaling with Network-Attached Secure Disks
Proc. of the ACM International Conference on Measurement and Modeling of Computer Systems , Seattle, Washington, June 15-18, 1997.

Vogels, Werner
File system usage in Windows NT 4.0
17th ACM Symposium on Operating Systems Principles (SOSP'99), Dec. 1999, pp. 93-109

Mobility

James J. Kistler, M. Satyanarayanan
Disconnected Operation in the Coda File System
ACM Transactions on Computer Systems, Vol. 10, No. 1, 1992, pp. 3-25.

D. B. Terry, M. M. Theimer, K. Petersen, A. J. Demers, M. J. Spreitzer, and C. Hauser
Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System
Proceedings 15th Symposium on Operating Systems Principles (SOSP 95) , Cooper Mountain, Colorado, December 1995, pages 172-183.

M. Baker, X. Zhao, S. Cheshire, J. Stone
Supporting Mobility in MosquitoNet
Proceedings of the 1996 USENIX Conference, San Diego, CA, January 1996.

Communication

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

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, 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 (SOSP 95), Copper Mountain Resort, Colorado, December 1995, 40-53.

Distributed Systems

Rashid, Rick F.
From RIG to Accent to Mach: The Evolution of a Network Operating System
Proceedings of the 1986 Fall Joint Computer Conference, pp. 1128-1137.

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.

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.