CSE 291 -- Graduate Operating Systems
Reading List and Schedule
Course Introduction
(4/4)
Historical Perspective
(4/6)
- E. W. Dijkstra, "The Structure of the 'THE'-Multiprogramming System,"
Communications of the ACM, Vol. 11, No. 5, May 1968, pp. 341-346.
- P. B. Hansen, "The Nucleus of a Multiprogramming System,"
Communications of the ACM, Vol. 13, No. 4, April 1970, pp. 238-241,
250.
(4/11)
- D. G. Bobrow, J. D. Burchfiel, D. L. Murphy, and R. S. Tomlinson,
"TENEX, a Paged Time Sharing System for the PDP-10," Communications of
the ACM, Vol. 15, No. 3, March 1972, pp. 135-143.
- 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, June 1974, pp. 337-345.
(4/13)
- Jerome H. Saltzer, "Protection and the Control of Information
Sharing in Multics," Communications of the ACM 17(7), July 1974.
- D. M. Ritchie and K. Thompson, "The UNIX Time-Sharing System,"
The Bell System Technical Journal, Vol. 57, No. 6, July-August 1978,
pp. 1905-1929.
Structure
(4/18) [Evals]
- D. D. Redell, Y. K. Dalal, T. R. Horsley, H. C. Lauer,
W. C. Lynch, P. R. McJones, H. G. Murray, and S. C. Purcell, "Pilot:
An Operating System for a Personal Computer," Communications of the
ACM, Vol. 23, No. 2, February 1980, pp. 81-92.
- Jeffrey Chase, Henry Levy, Michael Feeley, and Edward Lazowska,
"Sharing and Protection in a Single Address Space Operating System,"
ACM Transactions on Computer Systems, November, 1994.
(4/20) [Evals]
- Jones, Chansler, Durham, Schwans, and Vegdahl, "StarOS, a
Multiprocessor Operating System for the Support of Task Forces".
- John K. Ousterhout, Donald A. Scelza, and Pradeep S. Sindhu,
"Medusa: An Experiment in Distributed Operating Systems Structure".
(4/25) [Evals]
- H. C. Lauer and R. M. Needham, "On the Duality of Operating
System Structures," Proc. Second International Symposium on Operating
Systems, IRIA, Oct. 1978 (reprinted in Operating Systems Review,
Vol. 13, No. 2, April 1979, pp. 3-19).
- D. D. Clark, "The Structuring of Systems using Upcalls,"
Proc. Tenth Symposium on Operating Systems Principles, Operating
Systems Review, 19, 5, pp. 171-180, December 1985.
Distribution
(4/27) [Evals]
- Michael D. Schroeder, Andrew D. Birrell, and Roger M. Needham,
"Experience with Grapevine: The Growth of a Distributed System,"
ACM Transactions on Computer Systems, 2(1), February 1984.
- Eric Jul, Henry Levy, Norman Hutchinson, and Andrew Black.
"Fine-Grained Mobility in the Emerald System," ACM Transactions on
Computer Systems, 6(1), February 1988, pp. 109-133.
(5/2)
- R. F. Rashid and G. G. Robertson, "Accent: A communication
oriented network operating system kernel," Proc. Eighth Symposium on
Operating Systems Principles, Operating Systems Review, 15, 5,
pp. 64-75, December 1981. Is second author correct?
- G. J. Popek, B. Walker, J. Chow, D. Edwards, C. Kline,
G. Rudisin, and G. Theil, "LOCUS: A Network Transparent, High
Reliability Distributed System," Proc. Eighth Symposium on Operating
Systems Principles, Operating Systems Review, 15(5), pp. 160-168,
December 1981.
(5/4) [Evals]
- D. R. Cheriton and W. Zwaenepoel, "The Distributed V Kernel and
its Performance for Diskless Workstations," Proc. Ninth
Symposium on Operating Systems Principles, Operating Systems
Review, 17(5), pp. 129-140, November 1983.
- John K. Ousterhout, Andrew R. Cerenson, Frederick Douglis,
Michael N. Nelson, and Brent B. Welch, "The Sprite Network Operating
System."
OS/Architecture Interaction
(5/9)
- John K. Ousterhout, "Why Aren't Operating Systems Getting Faster
as Fast as Hardware?," Proc. USENIX Summer Conference, pp. 247-256,
June 1990.
- Anderson et al. Need full ref...
Synchronization
(5/11) [Evals]
- C. A. R. Hoare, "Monitors: An Operating System Structuring
Concept," Communications of the ACM, Vol. 17, No. 10, October, 1974,
pp. 549-557.
- B. W. Lampson and D. D. Redell, "Experience with Processes and
Monitors in Mesa," Communications of the ACM, Vol. 23, No. 2, February
1980, pp. 105-117.
Communication
(5/16) [Evals]
- Alfred Z. Spector, "Performing Remote Operations Efficiently on a
Local Computer Network," Communications of the ACM, Vol. 25, No. 4,
April 1982, pp. 246-260.
- Andrew D. Birrell and Bruce J. Nelson, "Implementing Remote
Procedure Calls", ACM Transactions on Computer Systems, Vol. 2, No. 1,
pp. 39-59, February 1984.
(5/18) [Evals]
- Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, and
Henry M. Levy, "Lightweight Remote Procedure Call," Proc. Twelfth
Symposium on Operating Systems Principles, pp. 102-113, December 1989.
- Thorsten von Eicken, David E. Culler, Seth C. Goldstein, and
Klaus E. Schauser, "Active Messages: a Mechanism for Integrated
Communication and Computation," Proceedings of the 19th International
Symposium on Computer Architecture, May 1992, pp. 256-266.
"Holiday"
(5/23)
- No class, instructor AWOL.
Virtual Memory
(5/25) [Evals]
- A. Bensoussan, C. T. Clingen, and R. C. Daley, "The Multics
Virtual Memory: Concepts and Design," Communications of the ACM,
Vol. 15, No. 5, May 1972, pp. 308-318.
- Richard Rashid, Avadis Tevanian, Michael Young, David Golub,
Robert Baron, David Black, William Bolosky, and Jonathan Chew,
"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, October 1987, pp. 31-39.
(5/30) [Evals]
- Kai Li and Paul Hudak, "Memory Coherence in Shared Virtual Memory
Systems," ACM Transactions on Computer Systems, 7(4), November 1989,
pp. 321-359.
- Michael J. Feeley, William E. Morgan, Frederic H. Pighin, Anna R.
Karlin, and Henry M. Levy, "Implementing Global Memory Management in a
Workstation Cluster", Proceedings of the 15th ACM Symposium on
Operating Systems Principles, Dec. 1995, 29(5): 201-212.
File Systems
(6/1) [Evals]
- Marshall K. McKusick, William N. Joy, Samuel J. Leffler, and
Robert S. Fabry, "A Fast File System for Unix," ACM Transactions on
Computer Systems, 2(3), August 1984, pp. 181-197.
- Mendel Rosenblum and John K. Ousterhout, "The
Design and Implementation of a Log-Structured File System,"
Proceedings of the 13th ACM Symposium on Operating Systems Principles,
December 1991.
Extensibility
(6/6) [Evals]
- Brian N. Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun
Sirer, Marc E. Fiuczynski, David Becker, Craig Chambers, and Susan
Eggers. "Extensibility, Safety, and Performance in the SPIN Operating
System," Proceedings of the 15th ACM Symposium on Operating Systems
Principles, Dec. 1995.
- Dawson R. Engler, M. Frans Kaashoek, and James O'Toole, Jr.,
"Exokernel: An Operating System Architecture for Application-Level
Resource Management," Proceedings of the 15th ACM Symposium on
Operating Systems Principles, Dec. 1995, pp. 251-266.
Review
(6/8)