• General introduction and ground rules.
• Course project expectations
• Hints on how to read research papers ( postscript)
• Hints on how to write a good systems research paper (postscript)

Processes and Threads (Chapters 4 and 5)

An Introduction to Programming with Threads. Andrew D. Birrell (HTML, PDF, pdf - local copy)

CPU scheduling (Chapter 6) [Lecture by the TA]

Using Continuations to Implement Thread Management and Communication in Operating Systems Richard P. Draves, Brian N. Bershad, Richard F. Rashid, Randall W. Dean. Proceedings of the Thirteenth Symposium on Operating Systems(SOSP) (ACM Digital Library)

Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism. Thomas E. Anderson, Brian N. Bershad, Edward D. Lazowska, and Hank M. Levy, Proceedings of the 13th ACM Symposium on Operating Systems Principles, October 1991, Pacific Grove, California. Pages 95-109.(ACM Digital library)

Lottery Scheduling: Flexible Proportional Share Resource Management. C. Waldspurger, and W. Weihl Proceedings of the First Symposium on Operating Systems Design and Implementation. November 1994, pp. 1-12 (USENIX)

Resource Containers: A New Facility for Resource Management in Server Systems. Gaurav Banga, Peter Druschel, and Jeffrey C. Mogul, Proceedings of the 3rd Symposium on Operating Systems Design and Implementation, February 1999, New Orleans, Louisiana. Pages 45-58. (USENIX)

Process Synchronization and Deadlocks (Chapters 7 and 8)

Memory Management and Virtual Memory (Chapters 9 and 10)

The robustness of NUMA Memory Management Richard P. LaRowe Jr., Carla Schlatter Ellis and Laurence S. Kaplan Proceedings of 13th ACM Symposium on Operating Systems Principles. (ACM Digital Library)

Practical, Transparent Operating System Support for Superpages Juan Navarro, Sitaram Iyer, Peter Druschel, and Alan Cox, In Fifth Symposium on Operating Systems Design and Implementation (OSDI 2002). (HTML)

File-System interface and File-System Implementation (Chapters 11 and 12)

A trace-driven analysis of the UNIX 4.2 BSD file system J. K. Ousterhout, H.D. Costa, D. Harrison, J.A. Kunze, M. Kupfer, and J.G.Thompson. In Proc. of the Tenth ACM symposium on 15 Operating System Principles, Dec. 1985. (ACM Digital library)

Measurements of a distributed file systemMary G. Baker, John H. Hartman, Michael D. Kupfer, Ken W. Shirriff and John K. Ousterhout, Proceedings of the thirteenth ACM symposium on Operating systems principles, 1991. (ACM Digital library)

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

The Design and Implementation of a Log-Structured File System. M. Rosenblum, and J.K. Ousterhout. ACM Transactions on Computer Systems. Vol. 10, No. 1 (Feb 1992), pp. 26-52 (ACM Digital library)

I/O Systems and Mass-Storage Structure (Chapters 13 and 14)

A case for redundant arrays of inexpensive disks (RAID) David A. Patterson, Garth Gibson, and Randy H. Katz. Proceedings of SIGMOD. (Chicago, Illinois), 1--3 June 1988. (ACM Digital library)

Distributed System Structures and Distributed File Systems (Chapters 15 and 16)

Scalable, Secure, and Highly Available Distributed File Access Satyanarayanan, M. IEEE Computer May 1990, Vol. 23, No. 5. (PDF)

Protection and Security (Chapter 18 and 19)

A Method for Obtaining Digital Signatures and Public-Key Cryptosystems Ronald L. Rivest, Adi Shamir, and Leonard M. Adleman. Communications of the ACM 21,2 (Feb. 1978), 120--126 (PS)

Mid term

Project proposal presentation

Distributed Coordination (Chapter 17)

Time, clocks, and the ordering of events in a distributed system Leslie Lamport. Communications of the ACM, 21(7):558-565, July 1978. (PDF, PDF - local copy)

Energy-aware adaptation for mobile applications Flinn J., Satyanarayanan, M. Proceedings of the 17th ACM Symposium on Operating Systems Principles December, 1999, Kiawah Island Resort, SC. (PDF)

ECOSystem: Managing Energy as a First-Class Operating System Resource, Heng Zeng, Carla Ellis, Avlin Lebeck, and Amin Vahdat. Proceedings of Architectural Support for Porgramming Languages and Operating Systems (ASPLOS), October 2002. (PDF)

Software strategies for portable computer energy management Jacob Lorch and Alan J. Smith. In IEEE Personal Communications Magazine, 5(3):60-73, June 1998. (PDF)

Implementing an Untrusted Operating System on Trusted Hardware David Lie, Chandramohan A. Thekkath, Mark Horowitz, SOSP 2003 (PDF)

Terra: A Virtual-Machine Based Platform for Trusted Computing Tal Garfinkel, Ben Pfaff, Jim Chow, Mendel Rosenblum, Dan Boneh, SOSP 2003. (PDF)

Untrusted OS

Terra

Home work assignment 2: Assigned

Monolithic and microkernels

Multics (www.multicians.org)

MACH (HTML)

Exokernel: an operating system architecture for application-level resource management Dawson R. Engler, M. Frans Kaashoek, and James O'Toole Jr Proceedings of the 15th ACM Symposium on Operating Systems Principles (SOSP '95), Copper Mountain Resort, Colorado, December 1995, pages 251-266. (ACM Digital Library)

Single Address Space Operating Systems: OPAL (HTML)

Real time and embedded operating systems: QNX (HTML)

An Empirical Study of Operating Systems Errors Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, and Dawson Engler SOSP 2001 (PS)

Improving the Reliability of Commodity Operating Systems Michael M. Swift, Brian N. Bershad, Henry M. Levy, SOSP 2003. (PDF)

Hints for Computer System Design Butler W. Lampson. ACM Operating Systems Rev. 15, 5 (Oct. 1983), pp 33-48. Reprinted in IEEE Software 1, 1 (Jan. 1984), pp 11-28. (HTML)

End-to-End Arguments in System Design Jerome H. Saltzer, David P. Reed, and David D. Clark , M.I.T. Laboratory for Computer Science. In Second International Conference on Distributed Computing Systems (April, 1981) pages 509-512. Published with minor changes in ACM Transactions in Computer Systems 2, 4, November, 1984, pages 277-288. Reprinted in Craig Partridge, editor Innovations in internetworking. Artech House, Norwood, MA, 1988, pages 195-206. ISBN 0-89006-337-0. Also scheduled to be reprinted in Amit Bhargava, editor. Integrated broadband networks. Artech House, Boston, 1991. ISBN 0-89006-483-0.(PDF)

Brittle metrics in operating systems research Jeffrey C. Mogul In Proc. 7th IEEE Workshop on Hot Topics in Operating Systems (HotOS-VII) (PS)