UNIVERSITY OF WISCONSIN-MADISON
Computer Sciences Department
CS 736
Fall 2021 		Barton Miller
CS 736: Reading List

This list is being updated for Fall 2021. Expect several changes before the semsester starts.

Important note! Due to copyright limitations, you can only download the papers from campus computers. If you want to download a paper from home, you can log into the campus VPN.

    Memory Management

  1. Michael D. Schroeder and Jerome H. Saltzer, A Hardware Architecture for Implementing Protection Rings, Communications of the ACM, 15 3, March 1972, pp. 157-170.

  2. Juan Navarro, Sitaram Iyer, Peter Drushel and Alan Cox, Practical, Transparent Operating Support for Superpages, 5th Symposium on Operating Systems Design and Implementation (OSDI), December 2002.

    3. Synchronization and Communication

  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. Silas Boyd-Wickizer, Austin T. Clements, Yandong Mao, Aleksey Pesterev, M. Frans Kaashoek, Robert Morris and Nickolai Zeldovich, An Analysis of Linux Scalability to Many Cores, 9th Symposium on Operating Systems Design and Implementation (OSDI), Vancouver, Canada, October 2010.

    [Optional] Leslie Lamport, Concurrent Reading and Writing, Communications of the ACM 20, 11, November 1977.

    7. Kernels

  7. 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, 11th Symposium on Operating Systems Principles (SOSP), Austin, Texas, November 1987, pp. 63-76.

    [Optional] Barton P. Miller, David L. Presotto, Michael L. Powell, DEMOS/MP: The Development of a Distributed Operating System, Software-Practice & Experience 17 4, April 1987, pp. 277-290.

    [Optional] Forest Baskett, John H. Howard, John T. Montague, Task Communication in DEMOS, 6th Symposium on Operating Systems Principles (SOSP), November 1977, pp. 23-31.

    8. [Optional] Brian D. Marsh, Michael L. Scott, Thomas J. LeBlanc, Evangelos P. Markatos, First-Class User-Level Threads, 13th Symposium on Operating Systems Principles (SOSP), Asilomar, California, October 1991, pp. 110-121.

  8. C.A. Waldspurger, Memory Resource Management in VMWare ESX Server, 5th Symposium on Operating System Design and Implementation, Boston, December 2002.

    [Optional] Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, and Andrew Warfield, Xen and the Art of Virtualization, 19th ACM Symposium on Operating Systems Principles (SOSP '03), Lake George, NY, October 2003.

    [Optional] E. Bugnion, S. Devine, M. Rosenblum, Disco: Running Commodity Operating Systems on Scalable Multiprocessors, 1997 16th Symposium on Operating System Principles, Saint-Malo, France, October 1997.

    [Optional] J. Sugerman, G. Venkitachalam, B.-H. Lim, Virtualizing I/O Devices on VMWare Workstation's Host Virtual Machine Monitor, 2001 USENIX Annual Technical Conference, Boston, June 2001.

  9. Wes Felter, Alexandre Ferreira, Ram Rajamony and Juan Rubio, An Updated Performance Comparison of Virtual Machines and Linux Containers 2015 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), Philadelphia, PA, March 2015.

  10. Andrea Arpaci-Dusseau and Remzi Arpaci-Dusseau, Information and Control in Gray-Box Systems 18th ACM Symposium on Operating Systems Principles (SOSP '01), Banff, Canada, October 2001.

    11. Adaptable/Extensible Systems

  11. [Optional] Henry Massalin, Carlton Pu, Theads and Input/Output in the Synthesis Kernel, 12th Symposium on Operating Systems Principles (SOSP), Litchfield Park, Arizona, December 1989, pp. 191-201.

    [Optional] Dawson R. Engler, M. Frans Kaashoek, and James O'Toole Jr, Exokernel: An Operating System Architecture for Application-level Resource Management, 15th ACM Symposium on Operating Systems Principles (SOSP '95), Copper Mountain Resort, Colorado, December 1995, pp. 251-266.

  12. Ariel Tamches, Barton P. Miller, Fine-Grained Dynamic Instrumentation of Commodity Operating System Kernels, Third Symposium on Operating Design and Implementation (OSDI), New Orleans, February 1999.

    13. File Systems

  13. Mary G. Baker, John H. Hartman, Michael D. Kupfer, Ken W. Shirriff, and John K. Ousterhout, Measurements of a Distributed File System, 13th Symposium on Operating System Principles, Pacific Grove CA, October 1991, pp. 198-212.

    14. [Background] 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.

    [Optional] Stephen C. Tweedie, Journaling the Linux ext2fs Filesystem, Fourth Annual Linux Expo, Duhram, N.C., May 1998.

  14. Mendel Rosenblum, John K. Ousterhout, The Design and Implementation of a Log-Structured File System, 13th Symposium on Operating Systems Principles, Asilomar, California, pp. 1-15. October 1991.

    [Optional] John Colgrove, John D. Davis, John Hayes, Ethan L. Miller, Cary Sandvig, Russell Sears, Ari Tamches, Neil Vachharajani, and Feng Wang, Purity: Building Fast, Highly-Available Enterprise Flash Storage from Commodity Components, 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 2015.

  15. [Optional] Changman Lee, Dongho Sim, Joo-Young Hwang and Sangyeun Cho, F2FS: A New File System for Flash Storage, 13th USENIX Conference on File and Storage Technologies (FAST), Santa Barbara, California, February 2015.

  16. Jian Xu and Steven Swanson, NOVA: ALog-structured FileSystem for Hybrid Volatile/Non-volatile Main Memories, 14th USENIX Conference on File and Storage Technologies (FAST), Santa Clara, Calif., February 2016.

    [Optional] Vivek Pai, Peter Drushel, Willy Zwaenepoel, IO-Lite: A Unified I/O Buffering and Caching System, Third Symposium on Operating Design and Implementation (OSDI), New Orleans, February 1999.

  17. Bruce Walker, Gerald Popek, Robert English, Charles Kline, Greg Thiel, The LOCUS Distributed Operating System, 9th Symposium on Operating Systems Principles (SOSP), Bretton Woods, New Hampshire, November 1983, pp. 49-70.

  18. M. Satyanarayanan, John H. Howard, David A. Nichols, Robert N. Sidebotham, Alfred Z. Spector, Michael J. West, The ITC Distributed File System: Principles and Design, 10th Symposium on Operating Systems Principles (SOSP), Orcas Island, Washington, pp. 35-50. December 1985.

  19. Werner Vogels, File System Usage in Windows NT 4.0, 17th Symposium on Operating Systems Principles, December 1999, Kawah Island Resort, South Carolina, pp. 93-109.

    A short paper on power-law functions can be found at:
    L.A. Adamic, Zipf, Power-laws, and Pareto - a ranking tutorial, Information Dynamics Lab, HP Labs, October 2000.

  20. Sanjay Ghemawat, Howard Gobioff, and Shun-Tak Leung, The Google File System, 19th ACM Symposium on Operating Systems Principles, Lake George, NY, October, 2003.

    [Optional: Successor to GFS] Dean Hildebrand and Denis Serenyi, A Peek Behind the VM at the Google Storage Infrastructure, video, September 2020.

    [Optional] Jeffrey Dean and Sanjay Ghemawat, MapReduce: Simplified Data Processing on Large Clusters, 6th Symposium on Operating Systems Design and Implementation, San Franciso, December 2004.

    [Optional] David A. Patterson, Garth Gibson, Randy H. Katz, A Case for Redundant Array of Inexpensive Disks (RAID), ACM SIGMOD International Conference on Management of Data, 1988, pp. 109-116.

    21. Protection and Security

  21. Gerald J. Popek, Charles S. Kline, Encryption and Secure Computer Networks, Computing Surveys, 11 4, December 1979, pp. 331-356.

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

    [Optional] Ross Anderson, Markus Kuhn, Tamper Resistance - a Cautionary Note, 2nd USENIX Workshop on Electronic Commerce, Oakland, California, November 1996, pp. 1-11.

    23. Distributed Systems

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

  24. Andrew D. Birrell, Bruce Jay Nelson, Implementing Remote Procedure Calls, ACM Transactions on Computer Systems, 2 1, February 1984, pp. 39-59.

  25. Rob Pike, David L. Presotto, Sean Dorward, Bob Flandrena, Ken Thompson, Howard Trickey, Phil Winterbottom, Plan 9 from Bell Labs, Computer Systems 8, 3, Summer 1995, pp. 221-254.

    See the new open source website: https://www.bell-labs.com/institute/blog/plan-9-bell-labs-cyberspace/

    26. Experience and Systems Reports

  26. Hugh C. Lauer, Observations on the Development of an Operating System, 8th Symposium on Operating Systems Principles (SOSP), Pacific Grove, California, December 1981, pp. 30-36.

  27. Andrew Baumann, Jonathan Appavoo, Orran Krieger and Timothy Roscoe, A fork() in the Road, 18th Workshop on Hot Topics in Operating Systems (HotOS'19), Bertinoro, Italy, May 2019. https://doi.org/10.1145/3317550.3321435.

    And here's my commentary on the paper (in verse).

    28. Reliability and Recovery

  28. Jacques-Louis Lions, Lennart Lebeck, Jean-Luc Fauquembergue, Gilles Kahn, Wolfgang Kubbat, Stefan Levedag, Leonardo Mazzini, Didier Merle Thomson, Colin O'Halloran, ARIANE 5 Flight 501 Failure: Report by the Inquiry Board, European Space Agency Report, Paris, July 1996.

Last modified: Mon 08 Nov 2021 02:17:12 AM CST by bart