CS 736 Paper Reading List (Fall 1997)

    General Systems

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

    Concurrency and Threads

  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. Hugh C. Lauer, Roger M. Needham, ``On the Duality of Operating System Structures'', Operating Systems Review, 13(2), April 1979, pp. 3-19.
  6. Butler W. Lampson, David D. Redell, ``Experiences with Processes and Monitors in Mesa'', Communications of the ACM, 23(2), February 1980, pp. 105-117.

    Building Systems

  7. Butler W. Lampson, ``Hints for Computer System Design'', Proceedings of the 9th SOSP, Operating System Review, 17(5), pp. 33-48. October 1983,
  8. Roy Levin, David D. Redell, ``An Evaluation of the 9th SOSP Submissions'', Operating Systems Review, 17(3), July 1983, pp. 35-40.

    Memory Management

    Mechanisms

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

    Policies

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

    Multics and Mach

  12. 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.
  13. R. S. Fabry, ``Capability-Based Addressing'', Communications of the ACM 17, 7 (July 1974), 403-412.
  14. 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.

    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.
  16. John B. Carter, John K. Bennett, Willy Zwaenepoel. ``Techniques for Reducing Consistency-Related Communication in Distributed Shared-Memory Systems''. ACM Transactions on Computer Systems, 13(3), August 1995, pp. 205- 243.

    File Systems

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

  22. 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.
  23. Andrew D. Birrell, Bruce Jay Nelson, ``Implementing Remote Procedure Calls'', ACM Transactions on Computer Systems, 2(1), February 1984, pp. 39-59.
  24. Peter Druschel, Larry L. Peterson. ``Fbufs: A High-Bandwidth Cross-Domain Transfer Facility'', SOSP'14, December 1993, pp. 189-202.

    Distributed File Systems

  25. Russel Sandberg, David Goldberg, Steve Kleiman, Dan Walsh, Bob Lyon, ``Design and Implementation of the Sun Network Filesystem'', Sun Microsystems, Inc.
  26. 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.
  27. James J. Kistler, M. Satyanarayanan. ``Disconnected Operation in the Coda File System'', ACM Transactions on Computer Systems, 10(1), February 1992, pp. 3- 25.

    Security: Authentication

  28. 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.
  29. 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.

    Security: Authorization

  30. Dan S. Wallach, Dirk Balfanz, Drew Dean and Edward W. Felten, ``Extensible Security Architectures for Java'', SOSP'97, April 1997.

    Case Study

  31. 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.
  32. Brian N. Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer, Marc E. Fiuczynski, David Becker, Craig Chambers, Susan Eggers, ``Extensibility, Safety and Performance in the SPIN Operating System'', Proceedings of the 15th SOSP, December 1995.
  33. D.R. Engler, M.F. Kaashoek and J. O'Toole, Jr. ``Exokernel: An Operating System Architecture for Application-Level Resource Management'', Proceedings of the 15th SOSP, December 1995.