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

  1. Per Brinch Hansen,``The Nucleus of a Multiprogramming System'', Communications of the ACM, 13(4), April 1970, pp. 238-250.
  2. Andrew Tanenbaum,``Fundamental Concepts in MS-DOS'', Modern Operating Systems, Chapter 8, Section 8.3.1, pp. 328-359.

    Concurrency

  3. C.A.R. Hoare, ``Communicating Sequential Processes'', Communications of the ACM, 21(8), August 1978, pp. 666-677.
  4. C.A.R. Hoare, ''Monitors: An Operating System Structuring Concept''. Communications of the ACM, 17(10), October 1974, pp. 549-557.
  5. Butler W. Lampson, David D. Redell, ``Experiences with Processes and Monitors in Mesa'', Communications of the ACM, 23(2), February 1980, pp. 105-117.
  6. Hugh C. Lauer, Roger M. Needham, ``On the Duality of Operating System Structures'', Operating Systems Review, 13(2), April 1979, pp. 3-19.
  7. Andrew D. Birrell, ``An Introduction to Programming with Threads'', System Programming with Modula-3, Chapter 4, pp. 88-118.

    Example Systems

  8. Dennis M. Ritchie, Ken Thompson. ``The UNIX Timesharing System''. Communications of the ACM, 17(7), July 1974, pp. 365-375.
  9. 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

  10. 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.
  11. Henry M. Levy, Peter Lipman, ``Virtual Memory Management in VAX/VMS''. Computer, 15(3), March 1982, pp. 35-41.
  12. 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.
  13. 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

  14. Peter J. Denning, ``Working Set Past and Present'', Communications of the ACM, 11(5), May 1968, pp. 323-333.

    Distributed Shared Memory

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

  16. Chris Ruemmler, John Wilkes, ``An Introduction to Disk Drive Modeling'', IEEE Computer, 27(3), March 1994, pp.17-29.
  17. 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.
  18. 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.
  19. 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.
  20. 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

  21. 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.
  22. Andrew D. Birrell, Bruce Jay Nelson, ``Implementing Remote Procedure Calls'', ACM Transactions on Computer Systems, 2(1), February 1984, pp. 39-59.
  23. 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

  24. Russel Sandberg, David Goldberg, Steve Kleiman, Dan Walsh, Bob Lyon, ``Design and Implementation of the Sun Network Filesystem'', Sun Microsystems, Inc.
  25. 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

  26. 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.
  27. 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.
  28. 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

  29. Anita K. Jones, William A. Wulf, ``Towards the Design of Secure Systems'', Software - Practice and Experience, 5(4), 1975, pp. 321-336.
  30. Frederick T. Gramp, Robert H. Morris, ``UNIX Operating System Security'', AT&T Bell Laboratories Technical Journal, 63(8), October 1984, pp. 1649-1672.
  31. Drew Dean, Dan S. Wallach, ``Security Flaws in the HotJava Web Browser'', http://www.cs.princeton.edu/~ddean, November 1995.

    Case Study

  32. 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.
  33. Michael Podanoffsky, ``A Comparison Between the Mach and Windows NT Kernels'',