CS 656: Operating Systems

Reading List

The following list is a set of papers for CS656. I will add papers to the list when we need them in class. All papers listed here are available in the file cabinet in 236 Olsson (copy room). The papers are rated as follows:

Processes

  • C.A.R. Hoare, "Communicating Sequential Processes", Communications of the ACM, August 1978 (strongly recommended) .

  • E.C. Cooper, "C Threads", Technical Report, Carnegie Mellon University, September 1990, (recommended) .

  • T.E. Anderson, E.D. Lazowska, H.M. Levy, "The Performance Implications of Thread Management Alternatives for Shared-Memory Multiprocessors", IEEE Transactions on Computers, December 1989, (recommended) .

    UNIX

  • D. M. Ritchie, K. Thompson, "The UNIX Time-Sharing System", Communications of the ACM, July 1974 (strongly recommended) .

  • A. Silberschatz, J. Peterson, P. Galvin, "Operating Systems Concept", (The Dinosaur Book) Chapter on UNIX (Chapter 15 in the 3rd edition, Chapter 19 in the 4th edition), (recommended) .

  • S. Sechrest, "An Introductory 4.3BSD Interprocess Communication Tutorial", Unix Programmer's Manual, Supplementary Documents 1, April 1986, (required) .

  • S. Leffler, R. Fabry, W. Joy, P. Lapsley, "An Advanced 4.3BSD Interprocess Communication Tutorial", Unix Programmer's Manual, Supplementary Documents 1, April 1986, (recommended) .

    Distributed Systems

    Communications in Distributed Systems

  • A. S. Tanenbaum, "Network Protocols", ACM Computing Surveys, December 1981 (required) .

  • W. Stallings, "Local Networks", ACM Computing Surveys, March 1984 (strongly recommended) .

  • A. D. Birrell, B. J. Nelson, "Implementing Remote Procedure Calls", ACM Transactions on Computer Systems, February 1984 (recommended) .

    Fundamentals of Distributed Systems

  • L. Lamport, "Time, Clocks, and the Ordering of Events in a Distributed System", Communications of the ACM, July 1978 (required) .

  • L. Lamport, R. Shostak, M. Pease, "The Byzantine Generals Problem", ACM Transactions on Programming Languages and Systems, July 1982. (strongly recommended) .

  • W. H. Kohler, "A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems", ACM Computing Surveys, June 1981. (recommended) .

  • P. A. Bernstein, N. Goodman, "Concurrency Control in Distributed Database Systems", ACM Computing Surveys, June 1981. (recommended) .

    Distributed File Systems

  • E. Levy and A. Silberschatz, "Distributed File Systems: Concepts and Examples", ACM Computing Surveys, December 1990. (strongly recommended) .

    Scheduling in Distributed Systems

  • N. G. Shivaratri, P. Krueger, M. Singhal, "Load Distributing for Locally Distributed Systems", IEEE Computer, December 1992. (recommended) .

  • D. L. Eager, E. D. Lazowska, and J. Zahorjan, "Adaptive Load Sharing in Homogeneous Dis tributed Systems", IEEE Transactions on Software Engineering,May 1986. (strongly recommended) .

  • H. M. Deitel, "Introduction to Operating Systems; Chapter 15 -- Analytic Modeling", Addison- Wesley, 1990. (required) .

  • M. Maekawa, A. E. Oldehoeft, R. R. Oldehoeft, "Operating Systems: Advanced Concepts; Chapter 9: Queueing Models of Computer Systems", Benjamin/Cummings. (recommended) .

    Protection and Security

  • D. Seeley, "A Tour of the Worm", USENIX - Winter Conference, 1989, (Special Treat!) .

  • M. H. Harrison and W. L. Ruzzo, J. D. Ullman, "Protection in Operating Systems", Communications of the ACM, August 1976, (recommended) .

  • C. E. Landwehr, "Formal Models for Computer Security", ACM Computing Surveys, September 1981, (strongly recommended) .

  • D. E. Denning, "A Lattice Model of Secure Information Flow", Communications of the ACM, May 1976, (strongly recommended) .

  • M. Bishop and L. Snyder, "The Transfer of Information and Authority in a Protection System", Proc. 7th Symposium on Operating Systems Principles, December 1979. (required) .

    Return to CS 656 Home Page.
    jorg@cs.virginia.edu (Last updated 23-Jan-1995)