ND Home | COE Home | Site Map
Date Description Notes Evaluation link

  • 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)
Register for online webct review forum at WEBCT
Home work program 1: assigned
Part 1: Operating system structures (Chapters 1, 2, 3)
Process Management

Processes and Threads (Chapters 4 and 5)

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

PDF PPT Threads - Birrell

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)

PDF PPT Threads - Draves Scheduler activation - Anderson
Storage Management

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)

PDF PPT Lottery Scheduling - Waldspurger Resource containers - Banga
Home work assignment 1: Assigned

Process Synchronization and Deadlocks (Chapters 7 and 8)

Storage management
Home work program 1: Due

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)

PDF PPT NUMA - LaRowe Superpages - Navarro

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)

PDF PPT FS Trace - Ousterhout FS Trace - Baker
Home work assignment 1: Due

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)

PDF PPT FFS - McKusick LFS - Rosenblum

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)

SnapMirror: File System Based Asynchronous Mirroring for Disaster Recovery, Hugo Patterson, Stephen Manley, Mike Federwisch, Dave Hitz, Steve Kleiman, Shane Owara, in USENIX Conference on File and Storage Technologies, January 2002. (PDF, PDF - mirror)
PDF PPT Raid - Patterson SnapMirror - Patterson

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

Protection and Security (Chapter 18 and 19)

Home work program 2: Due

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)

Authentication in Distributed Systems: Theory and Practice, Butler Lampson, Martin Abadi, Michael Burrows, Edward Wobber. DEC SRC Research Report 83. Also in Proceedings of the Thirteenth ACM Symposium on Operating Systems Principles. ( pdf, PS versions, ACM Digital Library)

PDF PPT Security - RSA Distributed Authentication - Lampson
Oct 20 - Oct 26: Fall Break

Mid term

Course project: Proposal Due

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)

PDF PPT Clocks - Lamport
11/04/2003 - 11/06/2003 Travel to ACM Multimedia 2003. Guest lecture TBD.    

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)

Recommended reading

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)

Mid course project report: Due
PDF PPT Energy Aware Management - Satyanarayan Ecosystem - Zeng
Virtual Machine

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


Case studies

Home work assignment 2: Assigned

Monolithic and microkernels

Multics (www.multicians.org)


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)

PDF PPT Exokernel - Engler

Single Address Space Operating Systems: OPAL (HTML)

PDF PPT Opal - Chase  

Real time and embedded operating systems: QNX (HTML)

Nov 27 - Nov 30, 2003: Thanks giving
OS Robustness and Reliability

Home work assignment 2: Due

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)

PDF PPT OS Errors - Chou OS Reliability - Swift

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)

PDF PPT OS - Design Philosophy
12/09/2003 Course review.    
12/XX/2003 Project presentations (1:00-5:00pm)
Course project final report: Due
Course project final exit interviews (anytime after presentation)
Dec 18: Final exams

Surendar Chandra
Last modified: 11/17/2003 23:58