• 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, Threads and CPU Scheduling (Chapters 4, 5 and 6)

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

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) (PS, PS - local copy)

Process Synchronization and Deadlocks (Chapters 7 and 8)

Eraser: A Dynamic Race Detector for Multi-Threaded Programs Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro and Thomas Anderson, ACM Transactions on Computer Systems, pp. 391-411, v 15, no 4, November 1997. (PDF, pdf - local copy)

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. (PS PS - Local copy)

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. (PDF, PDF - local copy)

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. (PDF, PDF - local copy)

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)

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)

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)

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. (PS)

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 researchJeffrey C. Mogul In Proc. 7th IEEE Workshop on Hot Topics in Operating Systems (HotOS-VII) (PS)

Mid term

Project proposal presentation

SPIN (cont. from last class)

Exploiting Weak Connectivity for Mobile File Access Mummert, L.B., Ebling, M.R., Satyanarayanan, M. Proceedings of the 15th ACM Symposium on Operating Systems Principles, Dec. 1995, Copper Mountain Resort, CO (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)

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)

Every Joule is Precious: A Case for Revisiting Operating System Design for Energy Efficiency, Amin Vahdat, Alvin R. Lebeck, Carla S. Ellis, in the 9th ACM SIGOPS European Workshop, September 2000 (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)

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)

How to give a good oral presentation. (Mark Hill @ Wisconsin HTML)

OceanStore: An Architecture for Global-Scale Persistent Storage John Kubiatowicz, David Bindel, Yan Chen, Steven Czerwinski, Patrick Eaton, Dennis Geels, Ramakrishna Gummadi, Sean Rhea, Hakim Weatherspoon, Westley Weimer, Chris Wells, and Ben Zhao. Proceedings of the Ninth international Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2000), November 2000. (PDF)