Quick Background

  1. Edsger W. Dijkstra
    The Structure of the "THE" Multiprogramming System
    Communications of the ACM 11(5), May 1968.

  2. Per Brinch Hansen
    The Nucleus of a Multiprogramming System
    Communications of the ACM 13(4), April 1970

  3. Ritchie, D.M. and Thompson, K.
    The UNIX Time-Sharing System
    Communications of the ACM, Vol. 17, No. 7, July 1974, pp. 365-375.

  4. Chris Ruemmler and John Wilkes
    An introduction to disk drive modeling
    IEEE Computer 27(3):17–29, March 1994.

  5. McKusick, M.K., Joy, W.N., Leffler, S.J., and Fabry, R.S.
    A Fast File System for UNIX
    ACM Transactions on Computer Systems, Vol. 2, No. 3, August 1984, pp. 181-197.

  6. Levy, H. and Lipman, P.,
    Virtual Memory Management in the VAX/VMS Operating System
    IEEE Computer, Vol. 15, No. 3, March 1982, pp. 35-41.

    Operating System Structure

  7. R. Rashid and A. Tevanian and M. Young and D. Golub and R. Baron and D. Black and W. Bolosky and J. Chew,
    Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures
    Proceedings of the 2nd International Conference on Architectural Support for Programming Languages and Operating System (ASPLOS), 1987.

  8. Edouard Bugnion, Scott Devine, Mendel Rosenblum.
    Disco: Running Commodity Operating Systems on Scalable Multiprocessors
    Proceedings of The Sixteenth Symposium on Operating Systems Principles (October 1997)

  9. Michael M. Swift, Brian N. Bershad, and Henry M. Levy
    Improving the Reliability of Commodity Operating Systems
    Symposium on Operating System Principles, SOSP’03, October 19–22, 2003, Bolton Landing, New York, USA

  10. W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack
    HYDRA: The Kernel of a Multiprocessor Operating System
    Communications of the ACM 17(6), June 1974, pp. 337-344.

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

    File and Storage Systems

  12. Tyler Harter, Chris Dragga, Michael Vaughn, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau
    A file is not a file: understanding the I/O behavior of Apple desktop applications
    SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles Pages 71-83

  13. Rosenblum, M. and Ousterhout, J.
    The Design and Implementation of a Log-Structured File System
    ACM Transactions on Computer Systems, Vol. 10, No. 1, February 1992, pp. 26-52.

  14. Vijayan Prabhakaran, Lakshmi N. Bairavasundaram, Nitin Agrawal, Haryadi S. Gunawi, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau
    IRON File Systems
    Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP '05), Brighton, United Kingdom, October, 2005.

  15. Yupu Zhang, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau,
    End-to-end Data Integrity for File Systems: A ZFS Case Study
    Proceedings of the 8th Conference on File and Storage Technologies (FAST '10)

  16. Vijay Chidambaram, Thanumalayan Sanakaranarayana Pillai, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau
    Optimistic Crash Consistency
    Symposium on Operating System Principles, SOSP 2013

  17. D. Ongaro, S. Rumble, R. Stutsman, J. Ousterhout and M. Rosenblum
    Fast Crash Recovery in RAMCloud
    Proc. 23rd ACM Symposium on Operating Systems Principles, October 2011, pp. 29-41.

  18. Patterson, D., Gibson, G., and Katz, R.,
    A Case for Redundant Arrays of Inexpensive Disks (RAID)
    Proceedings of the 1988 ACM SIGMOD Conference on Management of Data, Chicago IL, June 1988.

  19. John Wilkes, Richard Golding, Carl Staelin, and Tim Sullivan
    The HP AutoRAID Hierarchical Storage System
    ACM Transactions on Computer Systems, Vol. 14, No, 1, February 1996, Psges 108-136

    Memory Management

  20. Daley, R.C., and Dennis, J.B.
    Virtual Memory, Processes, and Sharing in MULTICS
    Communications of the ACM, Vol. 11, No. 5, May 1968, pp. 306-312.

  21. Juan Navarro, Sitaram Iyer, Peter Druschel, and Alan Cox
    Practical, transparent operating system support for superpages
    Proceedings of the 5th Symposium on Operating Systems Design and Implementation Boston, Massachusetts, USA December 9–11, 2002

  22. Carl A. Waldspurger
    Memory Resource Management in VMware ESX Server
    In Proc. Fifth Symposium on Operating Systems Design and Implementation (OSDI ’02), Dec. 2002

    Process Synchronization and Scheduling

  23. C.A.R. Hoare
    Monitors: An Operating System Structuring Concept
    Communications of the ACM 17, 10, October 1974, pp. 549-557

  24. Butler W. Lampson, David D. Redell
    Experiences with Processes and Monitors in Mesa
    Communications of the ACM, 23 2, February 1980, pp. 105-117.

  25. Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, and Thomas Anderson
    Eraser: A Dynamic Data Race Detector for Multithreaded Programs
    Transactions on Computer Systems, Vol. 15, No. 4, November 1997, Pages 391–411.

  26. Anderson, T., Bershad, B., Lazowska, E., and Levy, H.
    Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism
    ACM Transactions on Computer Systems, Vol. 10, No. 1, February 1992, pp. 53-79.

  27. Waldspurger, C.A. and Weihl, W.E.
    Lottery Scheduling: Flexible Proportional-Share Resource Mangement
    Proceedings of the First Symposium on Operating Systems Design and Implementation, Monterey CA, November 1994, pp. 1-11.

  28. Banga, G., Druschel, P,. Mogul, J.
    Resource Containers: A New Facility for Resource Management in Server Systems
    Proceedings of the Third Symposium on Operating System Design and Implementation (OSDI-III), New Orleans, LA, February, 1999, 45-58.

  29. LATE ADD!!!!
    Michael Mesnier, Feng Chen, Tian Luo, Jason B. Akers
    Differentiated Storage Services
    SOSP '11, October 23-26, 2011, Cascais, Portugal

    Distributed and Parallel Systems

  30. Sandberg, R., Goldberg, D., Kleiman, S., Walsh, D., and Lyon, B.
    Design and Implementation of the Sun Network Filesystem
    Proceedings of the Summer 1985 USENIX Conference, Portland OR, June 1985, pp. 119-130.
    For current NFS info, read Sun NFS details

  31. Howard, J.H., Kazar, M.L., Menees, S.G., Nichols, D.A., Satyanarayanan, M., Sidebotham, R.N., and West, M.J.
    Scale and Performance in a Distributed File System
    ACM Transactions on Computer Systems, Vol. 6, No. 1, February 1988, pp. 51-81.

  32. Jeffrey Dean and Sanjay Ghemawat
    MapReduce: Simplified Data Processing on Large Clusters
    OSDI'04: Sixth Symposium on Operating System Design and Implementation,San Francisco, CA, December, 2004.

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

  34. Frank Dabek, M. Frans Kaashoek, David Karger, Robert Morris, Ion Stoica
    Wide-area cooperative storage with CFS
    In the Proceedings of the 18th ACM Symposium on Operating Systems Principles (SOSP '01), Chateau Lake Louise, Banff, Canada. October 2001

  35. 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
    In Proceedings of the 9th Symposium on Operating Systems Design and Implementation (OSDI), Vancouver, Canada, October 2010

  36. Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert T. Morris, and Eddie Kohler
    The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors.
    In Proceedings of the 24th ACM Symposium on Operating Systems Principles (SOSP), Farmington, PA, November 2013.

  37. Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama
    Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior
    In Proceedings of the 24th ACM Symposium on Operating Systems Principles (SOSP), Farmington, PA, November 2013.

    Additional Readings (From Previous Semesters)

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

    Mor Harchol-Balter and Allen Downey
    Exploiting Process Lifetime Distributions for Dynamic Load Balancing
    ACM Transactions on Computer Systems vol. 15, no. 3, August 1997, pp. 253-285.

    Dorothy E. Denning and Peter J. Denning
    Data Security
    Computing Surveys, Vol. 11, No. 3, September 1979, pp. 227-249.

    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.

    David D. Redell, Yogen K. Dalal, Thomas R. Horsley, Hugh C. Lauer, William C. Lynch, Paul R. McJones, Hal G. Murray, and Stephen C.Purcell
    Pilot: An Operating System for a Personal Computer
    Communications of the ACM 23(2), February 1980, pp. 81-92.

    J. Bradley Chen and Brian Bershad
    The Impact of Operating System Structure on Memory System Performance
    14th Symposium on Operating System Principles (SOSP), 1993.

    Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau
    Information and Control in Gray-box Systems
    Proc. 2001 Symposium on Operating Systems Principles (SOSP-18), Banff, Canada, Oct. 2001.

    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.

    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
    15th Symposium on Operating Systems Principles (SOSP-15), Copper Mountain Resort, Colorado, December 1995.

    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.

    Fred Douglis, M. Frans Kaashoek, John K. Ousterhout, Andrew S. Tanenbaum.
    A Comparison of Two Distributed Systems: Amoeba and Sprite
    Computing Systems, Vol. 4, No. 3, pp. 353-384, December 1991.

    Armando Fox, Steven D. Gribble, Yatin Chawathe, Eric A. Brewer
    Cluster-Based Scalable Network Services
    Proc. 1997 Symposium on Operating Systems Principles (SOSP-16), St-Malo, France, Oct. 1997.

    Thorsten von Eicken, Anindya Basu, Vineet Buch, Werner Vogels
    U-Net: A User-Level Network Interface for Parallel and Distributed Computing
    Proceedings of the 15th ACM Symposium on Operating Systems Principles, Copper Mountain Resort, Colorado, December 1995, 40-53.

    James J. Kistler, M. Satyanarayanan
    Disconnected Operation in the Coda File System
    13th Symposium on Operating Systems Principles, Asilomar, California, pp. 213-225. October 1991.

    Gibson, G., Nagle, D., Amiri, K., Chang, F., Feinberg, E., Gobioff, H., Lee, C., Ozceri, B., Riedel, E., Rochberg, D. and Zelenka, J.
    File Server Scaling with Network-Attached Secure Disks
    ACM SIGMETRICS, June 1997

    Baker, M., Hartman, J., Kupfer, M., Shirriff, K., and Ousterhout, J.
    Measurements of a Distributed File System
    Proceedings of the Thirteenth Symposium on Operating System Principles, Pacific Grove CA, October 1991, pp. 198-212.

    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.

    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.

    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.

    Douglas S. Santry, Michael J. Feeley, Norman C. Hutchinson, Alistair C. Veitch, Ross W. Carton, and Jacob Ofir.
    Deciding When to Forget in the Elephant File System
    Proceedings of 17th ACM Symposium on Operating Systems Principles, December 1999.

    Roger M. Needham and Michael D. Schroeder
    Using Encryption for Authentication in Large Networks of Computers
    Communications of the ACM 21(12), December 1978, pp.993-999.

    C.A.R. Hoare
    Communicating Sequential Processes
    Communications of the ACM 21, 8, August 1978, pp. 666-677.

    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.

    Angela Demke Brown, Todd C. Mowry
    Taming the Memory Hogs: Using Compiler Inserted Releases to Manage Physical Memory Intelligently
    Proceedings of the Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000).

    Charles D. Cranor and Gurudatta M. Parulkar
    The UVM Virtual Memory System
    1999 USENIX Annual Technical Conference

Menu

Fall 2013
Time: MWF 1:00-2:15
Room: 119 Noland


Instructor:
Prof Andrea Arpaci-Dusseau

Office Hours
Tuesday 10:00-11:00
Friday 2:30-3:30
Office:
7375 Computer Sciences
Email: dusseau "at" cs.wisc.edu

  • CS736 Home
  • Lecture Schedule
  • Paper List
  • Reading Questions
  • Grading
  • Projects
  • Exams
  • Outreach Opportunity
  • UW Computer Sciences Dept