COP 5611 - Operating Systems Design Principles
READINGLIST
Spring 2005
T R 3:00 - 4:15 p.m.
ENG 224

Instructor: Euripides Montagne

---

ATLAS
	Fotheringham, J.,Dynamic Storage Allocation in the Atlas Computer, Including an Automatic use of a Backing Store Kilburn, T., Edwards, D.B.C., Lanigan, M.I., and Sumner, F.H.,., One-level Storage System IRE Trans., EC-11, vol. 2, April 1962, pp. 223-235. Kilburn, T., Payne, R. B., and Howarth, D.J., The Atlas supervisor, AFIPS Computer Conference 20, (1961), pp. 279-294. (also in Classic Operating Systems by Per Brinch Hansen(Ed), Springer Verlag, 2001) Kilburn, T., Howarth, D.J., Payne, R. B., and Sumner, F.H., The Manchester University Atlas operating system part I: internal organization, The Computer Journal, Volume 4, Issue 3, (1961), pp. 222-225. Howarth, D.J., Payne, R. B., and Sumner, F.H., The Manchester University Atlas operating system part II: users' description, The Computer Journal, Volume 4, Issue 3, (1961), pp. 226-229. Howarth, D.J., DJ Howarth, Jones, P.D., and Wyld, M.T., The Manchester University The Atlas scheduling system, The Computer Journal, Volume 5, Issue 3,(1962), pp. 238-246. The Manchester Mark 1., The Manchester University The Atlas Interrupt Mechanism, illustrated with Paper Tape Input.
Burroughs B5000 (MCP)
	Hauck E. A. and Dent, B. A., ,Burroughs' B6500/B7500 Stack Mechanism, Computer Structures: Principles and Examples by Siewiorek, D. P. et al(Eds), McGraw-Hill 1982, pp. 244-250 (*)Oliphint, C., Operating System for the B5000, Datamation 10, 5(May 1964), 42-54 (also in Classic Operating Systems by Per Brinch Hansen(Ed), Springer Verlag, 2001) McKeag, R.M., Wilson, R., and and Huxtable, D.H.R., MCP, Studies in Operating Systems. Academic Press, New York, (1976).
(THE)
	Dijkstra, E.W., The Structure of the THE Multiprogramming System, Communications of the ACM, Vol. 11, No. 5 (May 1968), 341-346.
RC4000
	Per Brinch Hansen., The Nucleus of a Multiprogramming System. Communications of the ACM 13(4), April 1970. Pp. 238-241, 250.
MULTICS
	Dennis, J. B. and Van Horn, E. C., Programming Semantics for Multiprogrammed Computations, Communications of the ACM 9(3), March 1966, pp. 143-155. 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
UNIX
	Ritchie, D.M., and Thompson, K., The UNIX Time-Sharing System, The Bell System Technical Journal, Vol. 57, No. 6 (July-August 1978), Part 2, pp. 1905-1929.
HYDRA
	Wulf, W. et al, HYDRA: The Kernel of a Multiprocessor Operating System, Communications of the ACM, Vol. 17, No. 6 (June 1974), pp. 337-345.
Operating System Design
	Dijkstra, E.W., My recollections of operating system design , EWD1303, Austin, October 2000 / April 2001 Hoare, C.A.R.,Monitors: an operating system structuring concept, Communications of the ACM, Vol. 17, No. 10 (Oct. 1974), pp. 549-557. Lauer, H.C., Observations on the Development of an Operating System, Proceedings of the Eight ACM Symposium on Operating System Principles, December 1981, pages 30-36. Lampson, B. W. and Redell,D. D.,Experiences with Process and Monitors in Mesa, Communications of the ACM, February 1980, pp. 105-117. Hoare, C.A.R., J.Communicating Sequential Processes, Communications of the ACM, August 1978, pp. 666-677. Lauer, H.C., and Needham, R. M.,,On the Duality of Operating System Structures, Proc. Second Int'l Symposium on Operating Systems, IRIA, October 1978, reprinted in Operating Systems Review, Vol. 13, No. 2, April 1979, pp. 3-19 Hoare, C.A.R., ''The Emperor's Old Clothes", Communications of the ACM, Vol. 24, No. 2, February 1981, pp. 75-83. Saltzer, J. H., Reed, D. P., and Clark, D. D>, End-To-End Arguments in System Design, ACM Transactions on Computer Systems, November 1984, pages 277-288. Lampson, B. W., ,Hints for Computer System Design, Proceedings of the Ninth ACM Symposium on Operating System Principles, October 10-13, 1983, pages 33-48. Jones, A. K., , The object model: A conceptual tool for structuring software. In Operating Systems: An Advanced Course, R. Bayer, et al. Ed., Springer-Verlag, 1979, pp. 7-16.
MACH
	A. Silberschatz , P. Galvin, and G. Gagne, Operating System Concepts: Apendix B: The Mach System, John Wiley & Sons, 7th Edition, 2005. Young, M., Tevanian, A., Richard Rashid, R., Golub, D., Eppinger, J., Chew, J., Bolosky, W., Black, D., and Baron, R. , The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System, Report CMU-CS-87-155, School of Computer Science, Carnegie Mellon University, August7. Also in Proceedings of the 11th Symposium on Operating Systems Principles, November, 1987.
Distributed systems concepts
	Birrell, A.D. and Nelson, B. J.,Implementing Remote Procedure Calls, ACM Transactions on Computer Systems, February 1984, pages 39-59. Bershad, B. N., Anderson, T. E., Lazowska, E. D. and, Levy, H. M., Lightweight Remote Procedure Call, ACM Transactions on Computer Systems, February 1990, pp.37-55. Lamport, L.,, Time, Clocks, and the Ordering of Events in a Distributed System, Communications of the ACM, July 1978, pages 558-565 Ricart, G. and Agrawala, A.K., An Optimal Algorithm for Mutual Exclusion in Computer Networks, Communication of the ACM, Vol. 24, No. 1, January 1981, pp. 9-17.
File system
	Mckusick, M. K., Joy, W. N., Leffler, S. J., and Fabry, R. S. A Fast File System for UNIX, ACM transaction on Computer Systems, Vol 2, No. 3, August 1984, pp. 181-197 Rosemblum, M. and Ousterhout, J. K. The Design and Implementation of a Log-Structured File System ACM transaction on Computer Systems, Vol 10, No. 1, February 1992, pp. 26-52 Sanberg, R. et al, The Sun Network Filesystem: Design, Implementation and Experience, Proceedings of the USENIX Summer Conference, USENIX Association, Berkeley, CA, 1987, pp. 300-314 Satyanarayanan, M.,Fundamental Chalenges in Mobile Computing Fifteenth ACM Symposium on Principles of Distributed Computing, Philadelphia, PA, 1996, pp. 1-7 Kistler, J.J., and Satyanarayanan, M., Disconnected Operation in the Coda File System ACM Transactions on Computer Systems Feb. 1992, Vol. 10, No. 1, pp. 3-25
Microkernels and Exokernels
	Bershad, B., Savage, S., Pardyak, P., Sirer, E., Fiuczynski, M., Becker, D., Chambers, C.,and Eggers, S., Extensibility, Safety and Performance in the SPIN Operating System, Proc. of the 15th ACM. Symp. on Operating Systems Principles, December 1995, pp.167-284 J. Liedtke, Improving IPC by Kernel Design, Proceedings on the 14th ACM Symposium on Operating Systems Principles, December 1993. Engler, D.R., Kaashoek, M.F., and O’Toole Jr., J., Exokernel: an operating system architecture for application-specific resource management , In Proceedings of the 15th Symposium on Operating System Principles, December 1995, pp. 251-266.