CSCI 704, Spring 1998
Reading list

This is a preliminary list of the readings, it is by no means finalized (i.e., it may change according to the interests of the class). All material has been placed on reserve at Swem Library.

Topics:


Early Works: Synchronization, Mutual Exclusion, Language Support

  1. C.A.R. Hoare, ``Communicating Sequential Processes'', Communications of the ACM, Vol 21(8), August 1978, pp. 666-677
  2. C.A.R. Hoare, ``Monitors: An Operating System Structuring Concept'', Communications of the ACM, Vol 17(10), October 1974, pp. 549-557 Available on-line as an ACM Classic of the Month.
  3. J.H. Howard, ``Proving Monitors'', Communications of the ACM, Vol 17(5), May 1976, pp. 273-279
  4. E.W. Dijkstra, ``Variations on a Theme: an Open Letter to C.A.R. Hoare''
  5. D.P. Reed and R.K. Kanodia, ``Synchronization with Eventcounts and Sequencers'', Communications of the ACM, Vol 22(2), February 1979, pp. 115-123.
  6. G. Ricart and A.K. Agrawala, ``An Optimal Algorithm for Mutual Exclusion in Computer Networks'', Communications of the ACM, Vol 24(1), January 1981, pp. 9-17
  7. M. Maekawa, ``A $\sqrt{N}$ Algorithm for Mutual Exclusion in Decentralized Systems'', ACM Transactions on Computer Systems, Vol. 3 (2), May 1985, pp. 145-159.
  8. K.M. Chandy, J. Mistra, L.M.Haas, ``Distributed Deadlock Detection'', ACM Transactions on Computer Systems, Vol. 1 (2). May 1983, pp 144-156.

Distributed and Parallel Systems

Overview Papers

  1. Andrew S. Tannenbaum and Robert van Renesse, ``Distributed Operating Systems'', Computing Surveys, Vol. 17, No. 4, Pages 419-470, December 1985
  2. E. Levy and A. Silberschatz, ``Distributed File Systems: Concepts and Examples'', ACM Computing Surveys, Vol. 22, No. 4, Pages 321-374, December 1990


Process and Thread Management

  1. A. Tucker and A. Gupta, ``Process Control and Scheduling Issues for Multiprogrammed Shared-Memory Multiprocessors," Proceedings of the 12th SOSP, Operating Systems Review, 23, 5, Pages 159-166, December 1989.
  2. Thomas E. Anderson, Edward D. Lazowska, and Henry M. Levy, ``The Performance Implications of Thread Management Alternatives for Shared-Memory Multiprocessors'', IEEE Transactions on Computers, Vol. 38, No. 12, Pages 1631-1644, December 1989


Scheduling

  1. D.G. Feitelson, ``Job Scheduling in Multiprogrammed Parallel Systems'', (condensed version), Institute of Computer Science, Hebrew University, August 1997, available on-line .
  2. D.L. Black, ``Scheduling Support for Concurrency and Parallelism in the Mach Operating System," IEEE Computer, 23, 5, Pages 35-43, May 19
  3. J.K. Ousterhout, ``Scheduling Techniques for Concurrent Systems'', in Proc. 3rd International Conference on Distributed Computing Systems, October 1982, pp. 22-30.


Remote Procedure Call

  1. Andrew Birell and Bruce Nelson, ``Implementing RPCs'', ACM Transactions on Computer Systems, Vol. 2, No. 1, Pages 39-59, February 1984.
  2. M. D. Schroeder, A. D. Birrell, and R.M.Needham, ``Experience with Grapevine: The Growth of a Distributed System'', ACM Transactions on Computer Systems, Vol. 2, No. 1, Pages 3-23, February 1984.
  3. B. Bershad, T. Anderson, E. Lazowska, and H. Levy, ``Lightweight Remote Procedure Call'', Proceedings of the 12th ACM Symposium on Operating Systems Principles, Operating Systems Review, Vol. 23, No. 5, Pages 12-113, December 1989.


Fault Tolerance

  1. L. Lamport, R. Shostak, and M. Pease, ``The Byzantine Generals Problem,'' ACM Transactions on Programming Languages and Systems 4, 3 (July 1982), pp. 382-401.
  2. K. Birman and T. Joseph, ``Reliable Communication in the Presence of Failures'', ACM Transactions on Computer Systems, Vol. 5, No. 1, Pages 47-76, February 1987.


File Systems

  1. M.G. Baker, J.H. Hartman, M.D. Kupfer, K.W. Shirriff, J.K. Ousterhout, ``Measurements of a Distributed File System'', Proceedings of the 13th SOSP, Operating Systems Review, 25(5), October 1991, available on-line .
  2. M. Rosenblum and J. Ousterhout, ``The Design and Implementation of a Log-Structured File System'', Proceedings of the 13th SOSP, Operating Systems Review, 25(5), October 1991, available on-line .
  3. J.N.Matthews, D. Roselli, A.M. Costello, R. Wang, and T.E. Anderson, ``Improving the Performance of a Log-Structured File System with Adaptive Methods'', SOSP'97, available on-line .
  4. Peter M. Chen, Edward K. Lee, Garth A. Gibson, Randy H. Katz, David A. Patterson, "RAID: High-Performance, Reliable Secondary Storage", ACM Computing Surveys, June 1994, pp. 145-185, available on-line .
  5. C. Ruemmler and J. Wilkes, ``An Introduction to Disk Drive Modeling'', IEEE Computer, Vol. 27(3), March 1994, pp. 17-29, available on-line .
  6. M.K.McKusick, W.N.Joy, S.L.Leffler, and R.S.Fabry, ``A Fast File System for Unix'', ACM Transcations on Computer Systems, Vol 2(3), August 1984, pp. 181-197.


Caching/Prefetching

  1. A. Tomkins, R.H. Patterson, and G. Gibson "Informed Multi-Process Prefetching and Caching," Proc. of the ACM International Conference on Measurement and Modeling of Computer Systems (Sigmetrics '97), Seattle, Washington, June 15-18, 1997, available on-line .
  2. Pei Cao, Edward W. Felten, and Kai Li. "Implementation and Performance of Application Controlled File Cache", CS-TR-94-462, Princeton University, 1994. Proceedings of the First OSDI Symposium, 1994, available on-line .
  3. Application-Controlled File Caching Policies. Pei Cao, Edward W. Felten, and Kai Li. Proceedings of the USENIX Summer 1994 Technical Conference.


Modeling and Performance

  1. L.Dowdy, ``P.S. to O.S.'', Prentice Hall, Chapter 6, Modeling of Memory Management, pp. 97-121.
  2. J. L. Peterson, ``Petri Nets,'' Computing Surveys 9, 3 (September 1977), pp. 223-252.
  3. P. J. Denning and J. P. Buzen, ``The Operational Analysis of Queueing Network Models,'' Computing Surveys 9, 3 (September 1977), pp. 223-252.
  4. E. de Souze e Silva and R. R. Muntz, ``Queueing Networks: Solutions and Applications,'' Stochastic Analysis of Computer and Communication Systems Elsevier Science Publishers, 1990.


Miscellaneous

  1. Pawan Goyal, Xingang Guo, and Harrick M. Vin. A Hierarchical CPU Scheduler for Multimedia Operating Systems. In Usenix Association Second Symposium on Operating Systems Design and Implementation (OSDI), pages 107-121, 1996.
  2. ... more to be added...


Advice on Research and writing

  1. http://www.cs.cmu.edu/~mleone/how-to.html
  2. http://www.disi.unige.it/research/Categorical_semantics/how-to.html


Send comments or suggestions to esmirni@cs.wm.edu

Back to the CSCI 704 homepage..
esmirni@cs.wm.edu
last modified on Feb. 19, 1998.