------------------------------------------------------------------------------
MC logo
CSc 6522: Readings
[^] CSc 6522
------------------------------------------------------------------------------ Here is the initial reading list for the semester. We will change as needed.
  1. Historic Papers
    1. F. J. Corbató, and V. A. Vyssotosky, “Introduction and Overview of the Multics System,” Proceedings of the AFIPS Fall Joint Computer Conference, 1965, pp. 185-196.   [dld]
    2. Edsger W. Dijkstra, “The structure of the “THE”-multiprogramming system,” Commun. ACM, Vol. 11, No. 5 (1968), pp. 341-346.   [dld]
    3. Dennis M Ritchie, “The Evolution of the Unix Time-Sharing System,” AT&T Bell Laboratories Technical Journal, Vol. 63, No. 6 part 2 (Oct. 1984), pp. 1577-93.   [dld]

  2. File Systems
    1. Marshall K. McKusick, William N. Joy, Samuel J. Leffler and Robert S. Fabry, “A fast file system for UNIX,” ACM Trans. Comput. Syst., Vol. 2, No. 3 (1984), pp. 181-197.   [dld]
      This is the BSD file system; all Unix flavors eventually adopted some variation on this.
    2. Gregory R. Ganger, Marshall Kirk McKusick, Craig A. N. Soules and Yale N. Patt, “Soft updates: a solution to the metadata update problem in file systems,” ACM Trans. Comput. Syst., Vol. 18, No. 2 (2000), pp. 127-153.   [dld]
      An optimization used in the BSD systems.
    3. Mendel Rosenblum and John K. Ousterhout, “The design and implementation of a log-structured file system,” ACM Trans. Comput. Syst., Vol. 10, No. 1 (1992), pp. 26-52.   [dld]
      All data written to a sequential log, not just metadata logging like NTFS or ext3.
    4. Brian Cornell, Peter A. Dinda, and Fabián E. Bustamante, “Wayback: A User-level Versioning File System for Linux,” Proceedings of the USENIX 2004 Annual Technical Conference, General Track, Boston, MA, June 27-July 2, 2004, pp. 255-268.   [dld]
    5. Vijayan Prabhakaran, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau, “Analysis and Evolution of Journaling File Systems,” Proceedings of the USENIX 2005 Annual Technical Conference, General Track, Anaheim, CA, Apr. 10-15, 2005, pp. 105-120.   [dld]

  3. Extensibility
    1. G. Denys, F. Piessens and F. Matthijs, “A survey of customizability in operating systems research,” ACM Comput. Surv., Vol. 34, No. 4 (2002), pp. 450-468.   [dld]
    2. Jean-Philippe Fassino, Jean-Bernard Stefani, Julia Lawall and Gilles Muller, “Think: A Software Framework for Component-based Operating System Kernels,” Proceedings of the USENIX 2002 Annual Technical Conference, Monterey, CA, June 10-15, 2002, pp. 73-86.   [dld]
    3. Amit Purohit, Charles P. Wright, Joseph Spadavecchia, and Erez Zadok, “Cosy: Develop in User-Land, Run in Kernel-Mode,” Proceedings of the HotOS IX: The 9th Workshop on Hot Topics in Operating Systems, Lihue, Hawaii, May 18-21, 2003.   [dld]
    4. Tzi-cker Chiueh, Ganesh Venkitachalam and Prashant Pradhan, “Integrating segmentation and paging protection for safe, efficient and transparent software extensions,” SOSP '99: Proceedings of the seventeenth ACM symposium on Operating systems principles, Charleston, South Carolina, United States, 1999, pp. 140-153.   [dld]

  4. Distributed Systems
    1. Andrew S. Tanenbaum and Robbert Van Renesse, “Distributed operating systems,” ACM Comput. Surv., Vol. 17, No. 4 (1985), pp. 419-470.   [dld]
    2. Dejan S. Milojičić, Fred Douglis, Yves Paindaveine, Richard Wheeler and Songnian Zhou, “Process migration,” ACM Comput. Surv., Vol. 32, No. 3 (2000), pp. 241-299.   [dld]
    3. Steven Osman, Dinesh Subhraveti, Gong Su and Jason Nieh, “The design and implementation of Zap: a system for migrating computing environments,” SIGOPS Oper. Syst. Rev., Vol. 36, No. SI (2002), pp. 361-376.   [dld]

  5. Protection and Security.
    1. Robert Morris and Ken Thompson, “Password security: a case history,” Commun. ACM, Vol. 22, No. 11 (1979), pp. 594-597.   [dld]
    2. Robert M. Graham, “Protection in an information processing utility,” Commun. ACM, Vol. 11, No. 5 (1968), pp. 365-369.   [dld]
    3. W. A. Arbaugh, D. J. Farber, and J. M. Smith, “A Secure and Reliable Bootstrap Architecture,” Proceedings of the IEEE Symposium on Security and Privacy, May 1997, 65-71.
    4. Jonathan S. Shapiro, Jonathan M. Smith and David J. Farber, “EROS: a fast capability system,” SOSP '99: Proceedings of the seventeenth ACM symposium on Operating systems principles, Charleston, South Carolina, United States, 1999, pp. 170-185.   [dld]
    5. Amit Vasudevan, Ramesh Yerraballi and Ashish Chawla, “A high performance Kernel-Less Operating System architecture,” ACSC '05: Proceedings of the Twenty-eighth Australasian conference on Computer Science, Newcastle, Australia, 2005, pp. 287-296.   [dld]   [dld]
    6. Manigandan Radhakrishnan and Jon A. Solworth, “Application security support in the operating system kernel,” ASIACCS '06: Proceedings of the 2006 ACM Symposium on Information, computer and communications security, Taipei, Taiwan, 2006, pp. 201-211.   [dld]
    7. Peter Loscocco and Stephen Smalley, “Integrating Flexible Support for Security Policies into the Linux Operating System,” Proceedings of the FREENIX Track: 2001 USENIX Annual Technical Conference, Boston, MA, USA, June 25-30, 2001.   [dld]
    8. Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem and Dawson Engler, “An empirical study of operating systems errors,” SOSP '01: Proceedings of the eighteenth ACM symposium on Operating systems principles, Banff, Alberta, Canada, 2001, pp. 73-88.   [dld]
    9. Rob Johnson and David Wagner, “Finding User/Kernel Pointer Bugs with Type Inference,” Proceedings of the 13th USENIX Security Symposium, San Diego, CA, Aug. 9-13, 2004, pp. 119-134.   [dld]
    10. Michael M. Swift, Brian N. Bershad and Henry M. Levy, “Improving the reliability of commodity operating systems,” ACM Trans. Comput. Syst., Vol. 23, No. 1 (2005), pp. 77-110.   [dld]

25 papers listed.