Date: Mon, 11 Nov 1996 17:32:55 GMT
Server: NCSA/1.5
Content-type: text/html
Last-modified: Fri, 12 Jan 1996 23:07:49 GMT
Content-length: 7098
CS 736 Paper Reading List (Spring 96)
CS 736 Paper Reading List (Spring 96)
Pretty Old
-
Per Brinch Hansen,``The Nucleus of a Multiprogramming System'',
Communications of the ACM, 13(4), April 1970, pp. 238-250.
-
Andrew Tanenbaum,``Fundamental Concepts in MS-DOS'',
Modern Operating Systems, Chapter 8, Section 8.3.1, pp. 328-359.
Concurrency
-
C.A.R. Hoare, ``Communicating Sequential Processes'',
Communications of the ACM, 21(8), August 1978, pp. 666-677.
-
C.A.R. Hoare, ''Monitors: An Operating System Structuring Concept''.
Communications of the ACM, 17(10), October 1974, pp. 549-557.
-
Butler W. Lampson,
David D. Redell,
``Experiences with Processes and Monitors in Mesa'',
Communications of the ACM,
23(2),
February 1980,
pp. 105-117.
-
Hugh C. Lauer,
Roger M. Needham,
``On the Duality of Operating System Structures'',
Operating Systems Review,
13(2),
April 1979,
pp. 3-19.
-
Andrew D. Birrell,
``An Introduction to Programming with Threads'',
System Programming with Modula-3,
Chapter 4, pp. 88-118.
Example Systems
-
Dennis M. Ritchie, Ken Thompson. ``The UNIX Timesharing System''.
Communications of the ACM, 17(7), July 1974, pp. 365-375.
-
David D. Redell,
Yogen K. Dalal,
Thomas R. Horsley,
Hugh C. Lauer,
William C. Lynch,
Paul R. McJones,
Hal G. Murray,
Stephen C. Purcell,
``Pilot: An Operating System for a Personal Computer'',
Communications of the ACM,
23(2),
February 1980,
pp. 81-92.
Memory Management
Mechanisms
-
A. Bensoussan,
C.T. Clingen,
R.C. Daley,
``The Multics Virtual Memory: Concepts and Design'',
Communications of the ACM,
15(5),
May 1972,
pp. 308-318.
-
Henry M. Levy, Peter Lipman, ``Virtual Memory Management in VAX/VMS''.
Computer, 15(3), March 1982, pp. 35-41.
-
Ozalp Babaoglu,
William Joy,
``Converting a Swap-Based System to do Paging in an Architecture Lacking Page-Reference Bits'',
Proceedings of the 8th SOSP, Operating Systems Review,
15(5),
December 1981,
pp. 78-86.
-
Michael Young,
Avadis Tevanian,
Richard Rashid,
David Golub,
Jeffrey Eppinger,
Jonathan Chew,
William Bolosky,
David Black,
Robert Baron,
``The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System'',
Proceedings of the 11th SOSP, Operating Systems Review,
21(5),
November 1987,
pp. 63-76.
Policies
-
Peter J. Denning,
``Working Set Past and Present'',
Communications of the ACM,
11(5),
May 1968,
pp. 323-333.
Distributed Shared Memory
-
Kai Li, Paul Hudak. ``Memory Coherence in Shared Virtual Memory Systems''.
ACM Transaction on Computer Systems, 7(4), November 1989,
pp. 321-359.
File Systems
-
Chris Ruemmler, John Wilkes,
``An Introduction to Disk Drive Modeling'',
IEEE Computer, 27(3), March 1994, pp.17-29.
-
M.K McKusick,
W. N. Joy,
S. J. Leffler,
R. S. Fabry,
``A Fast File System for UNIX'',
ACM Trans. on Computer Systems,
2(3),
August 1984,
pp. 181-197.
-
Mary G. Baker, John H. Hartman, Michael D. Kupfer, Ken W. Shirriff, John K. Ousterhout,
``Measurements of a Distributed File System'',
Proceedings of the 13th SOSP, Operating Systems Review,
25(5), October 1991.
-
Mendel Rosenblum,
John K. Ousterhout,
``The Design and Implementation of a Log-Structured File System'',
Proceedings of the 13th SOSP, Operating Systems Review,
25(5),
pp. 1-15.
October 1991.
-
David A. Patterson, Garth Gibson, Randy H. Katz
``A Case for Redundant Array of Inexpensive Disks (RAID)'',
Proceedings of SIGMOD '88, 1988, pp. 109-116.
Distributed Systems
-
Andrew D. Birrell,
Roy Levin,
Roger M. Needham,
Michael D. Schroeder,
``Grapevine: An Exercise in Distributed Computing'',
Communications of the ACM,
25(4),
April 1982,
pp. 260-274.
-
Andrew D. Birrell,
Bruce Jay Nelson,
``Implementing Remote Procedure Calls'',
ACM Transactions on Computer Systems,
2(1),
February 1984,
pp. 39-59.
-
David R. Cheriton,
Willy Zwaenepoel,
``The Distributed V Kernel and its Performance for Diskless Workstations'',
Proceedings of the 9th SOSP, Operating Systems Review,
17(5),
November 1983,
pp. 129-140.
Distributed File Systems
-
Russel Sandberg, David Goldberg, Steve Kleiman, Dan Walsh, Bob Lyon,
``Design and Implementation of the Sun Network Filesystem'',
Sun Microsystems, Inc.
-
John H. Howard, Michael L. Kazar, Sherri G. Menees, David A. Nichols,
M. Stayanayanan, Robert N. Sidebotham, and Michael J. West, ``Scale
and Performance in a Distributed File System''. ACM Transaction on
Computer Systems, 6(1), February 1988, pp. 51-81.
Security: Authentication
-
R. L. Rivest, S. Shamir, L. Adleman,
``A Method for Obtaining Digital Signatures and Public Key Cryptosystems'',
Communications of the ACM, 21(2), February 1978, pp. 120-126.
-
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.
-
Butler Lampson, Martin Abadi, Michael Burrows, Edward Wobber,
``Authentication in Distributed Systems: Theory and Practice'',
ACM Transactions on Computer Systems, 10(4), November 1992,
pp. 265-310.
Security: Authorization
-
Anita K. Jones,
William A. Wulf,
``Towards the Design of Secure Systems'',
Software - Practice and Experience,
5(4),
1975,
pp. 321-336.
-
Frederick T. Gramp,
Robert H. Morris,
``UNIX Operating System Security'',
AT&T Bell Laboratories Technical Journal,
63(8),
October 1984,
pp. 1649-1672.
-
Drew Dean, Dan S. Wallach,
``Security Flaws in the HotJava Web Browser'',
http://www.cs.princeton.edu/~ddean, November 1995.
Case Study
-
Henry Massalin,
Carlton Pu,
``Theads and Input/Output in the Synthesis Kernel'',
Proceedings of the 12th SOSP, Operating Systems Review,
23(5),
December 1989,
pp. 191-201.
-
Michael Podanoffsky,
``A Comparison Between the Mach and Windows NT Kernels'',