Tentative Course Schedule:

• General introduction and ground rules.
• Course project expectations

Recommended reading:

• Hints on how to read research papers ( postscript)
• Hints on how to write a good systems research paper (postscript)

PDF

PPT

SHP 1 assigned              

Review: Operating system structures (Chapters 1, 2, 3)

Review: Processes and Threads (Chapters 4 and 5)

Review: CPU scheduling (Chapter 6)

SHP 2 assigned

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)

Recommended reading:

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

SHP 1 due

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)

Recommended reading

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)

Process Synchronization and Deadlocks (Chapters 7 and 8)

Home work assignment 1 assigned

SHP 2 due

RacerX: Effective, Static Detection of Race Conditions and Deadlocks Dawson Engler, Ken Ashcraft (Stanford University), in Proceedings of SOSP, 2003 (ACM Digital LIbrary)

SHP 4 assigned

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

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

Recommnded Reading

• The Cambridge File Server Jeremy Dion. ACM SIGOPS Operating Systems Review, Volume 14 , Issue 4 (October 1980) Pages: 26 - 35 (ACM Digital Library)

SHP 3 due

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)

Home work assignment 1: Due

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)

Project Proposal Due
SHP 5 assigned
Out of town to IEEE SECON - Guest lecture: William Acosta

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)

Recommended reading

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

NFSv3, NFSv4, AFS, Coda, Ficus, Oceanstore

Recommended reading:

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

SHP 5 due
Course project: Project check point report I due

Distributed file systems (cont)

Mid term reviews

Mid term

Distributed file systems (AFS, NFS etc. continued)

Review: Distributed Coordination (Chapter 17)

Recommended reading:  	    

• Epidemic algorithms for replicated database maintenance. Alan Demers, Dan Greene, Carl Hauser, Wes Irish, John Larson.Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, 1987 Pages: 1 - 12 (ACM Digital Library)

Out of town: Guest lecture

Review: Memory Management and Virtual Memory (Chapters 9 and 10)

Recommended reading:

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

Home work assignment 2: Assigned

Review: Virtual Memory (Chapter 10) (cont)

Review: 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)

Out of town. Guest lecture by Prof. Lambert Schaelicke

Beyond Multiprocessing Multithreading the SunOS Kernel J.R. Eykholt, S.R. Kleiman, S. Barton, R. Faulkner, A. Shivalingiah, M. Smith, D. Stein, J. Voll, M. Weeks, D. Williams. In Proceedings of the Summer 1992 USENIX Technical Conference and Exhibition (PDF)

Lecture which outlines OS variations; Monolithic vs microkernels, SASOS, RTOS

Multics (www.multicians.org)

MACH (HTML)

Single Address Space Operating Systems: OPAL (HTML)

Real time and embedded operating systems: QNX (HTML)

Course review by William Acosta (Dec 6 - 8, out of town to OSDI conference)