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, 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)

PDF PPT Threads - Birrell Threads - Draves

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)

PDF PPT Eraser - Savage  
Storage Management

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)

Home work program 1: Due
Home work assignment 1: Assigned
Home work program 2: Assigned

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)

PDF PPT FS Trace - Ousterhout
I/O Systems

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)

PDF PPT Raid - Patterson
09/19/2002 Catch-up time PDF PPT  
Distributed Systems

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)

Home work assignment 1: Due
09/26/2002 Travel to Mobicom 2002. Guest lecture TBD.    

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)

Home work program 2: Due
Home work program 3: Assigned
PDF PPT Clocks - Lamport
Protection and Security

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)

PDF PPT Security - RSA
Case studies: I
10/8/2002 Multics (www.multicians.org) PDF PPT  


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)

PDF PPT Exokernel - Engler

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)

Home work program 3: Due
PDF PPT OS - Design Philosophy
10/17/2002 Reviews
Oct 19 - Oct 27: Fall Break

Mid term

Course project: Proposal Due


Project proposal presentation

Extensibility, Safety and Performance in the SPIN Operating System, Brian Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer, David Becker, Marc Fiuczynski, Craig Chambers, Susan Eggers, in "Proceedings of the 15th ACM Symposium on Operating System Principles (SOSP-15)", Copper Mountain, CO. pp. 267--284. (HTML )

PDF PPT SPIN - Bershad
File systems

SPIN (cont. from last class)

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)

Home work assignment 2: Assigned
PDF PPT SPIN - Bershad SnapMirror - Patterson - Design Philosophy

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)

PDF PPT Weak Connectivity - Mummert 

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)

Mid course project report: Due
PDF PPT Energy Management - Lorch
Energy Aware Management - Satyanarayan  

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)

PDF PPT Precious Joule - Carla
Ecosystem - Zeng  
Case Studies: II

Single Address Space Operating Systems: OPAL (HTML)

PDF PPT Opal - Chase  

Real time and embedded operating systems: QNX (HTML)

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)

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

PDF PPT OS Errors - Chou  
Nov 27 - Dec 1: Thanks giving
12/3/2002 Miscellaneous discussion on OS requirements for mobile devices.
12/5/2002 Miscellaneous discussion on peer-to-peer file systems - Chord, Ivy, Oceanstore

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)

12/10/2002 Travel to OSDI.    
12/12/2002 Course review.    
12/13/2002 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: Mon Dec 26 23:21:04 PST 2011