Course Schedule:

Also available in iTunesU, Podcast, HD Podcast and in Google video. Read the paper summaries in blogger.

Date	Description	Deadlines	Notes
Introduction
08/26/2008	General introduction and ground rules. Course project expectations Recommended reading: Hints on how to read research papers (PDF) Hints on how to write a good systems research paper (postscript) Hints for Computer System Design, Butler Lampson, SOSP '83 (PDF from Lampson)		PDF, PPT, GoogleDocs, audio, video, HD video, Podcast, HD Podcast, GoogleVideo
Operating Systems (Historical Perspective)
8/28/2008	The structure of the “THE”-multiprogramming system, Dijkstra, E. W. SOSP '68 (ACM Digital Library, Local copy) Further reading: The UNIX time-sharing system. Ritchie, D. M. and Thompson, K. CACM '74 (ACM Digital Library)		PDF, PPT, GoogleDocs, audio, video, AppleTV, Podcast, HD Podcast, GoogleVideo
09/02/2008	The impact of operating system structure on memory system performance, Chen, J. B. and Bershad, B. N. SOSP '93 (ACM Digital Library) Further reading: Mach: A new kernel foundation for UNIX development, Mike Accetta, Robert Baron, William Bolosky, David Golub, Richard Rashid, Avadis Tevanian and Michael Young, Winter USENIX '86 (PDF)		PDF PPT GoogleDocs audio, video AppleTV Podcast, HD Podcast GoogleVideo
09/04/2008	Exokernel: an operating system architecture for application-level resource management. Dawson R. Engler, M. Frans Kaashoek, and James O'Toole Jr, SOSP '95. (ACM Digital Library) Further reading: Singularity: Rethinking the Software Stack, Galen Hunt and James Larus. Operating Systems Review, (PDF)	Home work 1 assigned	PDF PPT GoogleDocs audio, video AppleTV Podcast, HD Podcast GoogleVideo
CPU (Process/threads/scheduling, synchronization and deadlocks)
09/09/2008	Why threads are a bad idea (for most purposes). J Ousterhout - Keynote at the 1996 Usenix Annual Technical (PDF) Why Events Are A Bad Idea (for high-concurrency servers) Rob von Behren, Jeremy Condit and Eric Brewer, HotOS IX (USENIX) Cooperative Task Management without Manual Stack Management or Event-driven Programming is Not the Opposite of Threaded Programming, Atul Adya, Jon Howell, Marvin Theimer, William J. Bolosky, John R. Douceur. USENIX '02 (USENIX)		PDF PPT GoogleDocs audio, video AppleTV Podcast, HD Podcast GoogleVideo
09/11/2008	Using Continuations to Implement Thread Management and Communication in Operating Systems Richard P. Draves, Brian N. Bershad, Richard F. Rashid, Randall W. Dean. SOSP '91(ACM Digital Library)		PDF PPT GoogleDocs audio, video AppleTV Podcast, HD Podcast GoogleVideo
09/16/2008	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, SOSP '91 (ACM Digital library)	Home work 1 due	PDF PPT GoogleDocs audio, video AppleTV Podcast, HD Podcast GoogleVideo
09/18/2008	Resource Containers: A New Facility for Resource Management in Server Systems. Gaurav Banga, Peter Druschel, and Jeffrey C. Mogul, OSDI'99 (USENIX)	Home work 2 assigned	PDF PPT GoogleDocs audio, video AppleTV Podcast, HD Podcast GoogleVideo
09/23/2008	Extensibility safety and performance in the SPIN operating system Bershad, B. N., Savage, S., Pardyak, P., Sirer, E. G., Fiuczynski, M. E., Becker, D., Chambers, C., and Eggers, S. SOSP '95 (ACM Digital Library)		PDF PPT AuthorSlides, GoogleDocs audio, video AppleTV Podcast, HD Podcast GoogleVideo
09/25/2008	Safe Kernel Extensions Without Run-Time Checking, George C. Necula and Peter Lee, OSDI '96 (USENIX)		PDF PPT AuthorSlides GoogleDocs audio, video AppleTV Podcast, HD Podcast GoogleVideo
9/30/2008	Improving the reliability of commodity operating systems. Swift, M. M., Bershad, B. N., and Levy, H. M. 2005. ACM TOCS. 23, 1 (Feb. 2005), 77-110 (ACM Digital Library)	Home work 2 due	PDF PPT AuthorSlides_modified, GoogleDocs audio, video AppleTV Podcast, HD Podcast GoogleVideo
10/2/2008	Implementing Fault-Tolerant Services Using the State Machine Approach: a tutorial Fred B. Schneider, ACM Computing Surveys 22(4):299-319, December 1990 (ACM Digital Library)		PDF PPT GoogleDocs audio, video AppleTV Podcast, HD Podcast GoogleVideo
Memory management
10/0/72008	Enhancing Server Availability and Security Through Failure-Oblivious Computing Martin Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, and William S. Beebee, Jr., OSDI '04 (USENIX)	Home work 3 assigned	PDF PPT GoogleDocs audio, video AppleTV Podcast, HD Podcast GoogleVideo
10/09/2008	The duality of memory and communication in the implementation of a multiprocessor operating system. Young, M., Tevanian, A., Rashid, R., Golub, D., and Eppinger, J. SOSP '87 (ACM Digitial Library)		PDF PPT GoogleDocs audio, video AppleTV Podcast, HD Podcast GoogleVideo
10/14/2008	Project 1 presentation
10/16/2008	Memory Resource Management in VMware ESX Server, Carl A. Waldspurger, OSDI '02 (USENIX)	Project 1 report due, Home work 3 due. mid term assigned.	PDF PPT AuthorPDF audio, video AppleTV Podcast, HD Podcast GoogleVideo
Oct 20 - Oct 24: Fall Break
10/28/2008	Travel to ACM MM, Vancouver, CA Practical, Transparent Operating System Support for Superpages Juan Navarro, Sitaram Iyer, Peter Druschel, and Alan Cox, OSDI '02 (USENIX)
10/30/2008	Travel to ACM MM, Vancouver, CA, guest lecture: Prof. Thain The robustness of NUMA Memory Management Richard P. LaRowe Jr., Carla Schlatter Ellis and Laurence S. Kaplan SOSP '91 (ACM Digital Library)
Storage
11/4/2008	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. SOSP '85. (ACM Digital library) Measurements of a distributed file systemMary G. Baker, John H. Hartman, Michael D. Kupfer, Ken W. Shirriff and John K. Ousterhout, SOSP '91. (ACM Digital library)	Mid term due	PDF PPT audio, video AppleTV Podcast, HD Podcast GoogleVideo
11/06/2008	A Fast File System For UNIX. M.K. McKusick, W.N. Joy, S.J. Leffler, and R.S. Fabry. ACM TOCS. Vol. 2, No. 3 (August 1984), pp. 181-197. (ACM Digital library)		PDF PPT audio, video AppleTV Podcast, HD Podcast GoogleVideo
11/11/2008	The Design and Implementation of a Log-Structured File System. M. Rosenblum, and J.K. Ousterhout. ACM TOCS. Vol. 10, No. 1 (Feb 1992), pp. 26-52 (ACM Digital library)	Home work 4 assigned	PDF PPT audio, video AppleTV Podcast, HD Podcast GoogleVideo
11/13/2008	The Zebra striped network file system. Hartman, J. H. and Ousterhout, J. K. SOSP '93. (ACM Digital Library)		PDF PPT audio, video AppleTV Podcast, HD Podcast GoogleVideo
11/18/2008	Rethink the sync. Nightingale, E. B., Veeraraghavan, K., Chen, P. M., and Flinn, J. OSDI '06 and TOCS '08(ACM Digital Library)		PDF PPT audio, video AppleTV Podcast, HD Podcast GoogleVideo
Distributed Systems
11/20/2008	Spritely NFS: experiments with cache-consistency protocols. Srinivasan, V. and Mogul, J. SOSP '89 (ACM Digital Library) Further reading: Design and Implementation of the Sun Network Filesystem. Russel Sandberg, David Goldberg, Steve Kleiman, Dan Walsh, and Bob Lyon. Summer USENIX '85 (PDF)	Home work 4 due	PDF PPT audio, video AppleTV Podcast, HD Podcast GoogleVideo
11/25/2008	Scale and performance in a distributed file system. Howard, J. H., Kazar, M. L., Menees, S. G., Nichols, D. A., Satyanarayanan, M., Sidebotham, R. N., and West, M. J. . ACM TOCS 6, 1 (Feb. 1988). (ACM Digital Library)	Home work 5 assigned	PDF PPT audio, video AppleTV Podcast, HD Podcast GoogleVideo
Nov 27, 2008: Thanks giving
12/02/2008	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) The ABCDs of Paxos, Butler W. Lampson, PODC 2001 (PDF)		PDF PPT
12/04/2008	Sharing and protection in a single-address-space operating system. Chase, J. S., Levy, H. M., Feeley, M. J., and Lazowska, E. D. 1994. ACM TOCS 12, 4 (Nov. 1994), 271-307. (ACM Digital Library)		PDF PPT
12/09/2008	Travel to OSDI The LOCUS distributed operating system Walker, B., Popek, G., English, R., Kline, C., and Thiel, G. SOSP '83 (ACM Digital Library)
12/11/2008	Authentication in Distributed Systems: Theory and Practice, Butler Lampson, Martin Abadi, Michael Burrows, Edward Wobber. DEC SRC Research Report 83. Also in SOSP '91 ( pdf, PS versions, ACM Digital Library) Further reading: A Logic of Authentication. Michael Burrows, Martin Abadi, and Roger Needham, ACM TOCS 8(1):18-36, February 1990 (ACM Digital Library)	Home work 5 due. Final exam assigned.	PDF PPT

Interesting papers:

The V distributed system. Cheriton, D. 1988.. Commun. ACM 31, 3 (Mar. 1988), 314-333. (ACM Digital Library)

Kistler, J. J. and Satyanarayanan, M. 1992. Disconnected operation in the Coda File System. ACM Trans. Comput. Syst. 10, 1 (Feb. 1992), 3-25. DOI= http://doi.acm.org/10.1145/146941.146942

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)

Birrell, A. D., Levin, R., Needham, R. M., and Schroeder, M. D. 1981. Grapevine: An exercise in distributed computing. In Proceedings of the Eighth ACM Symposium on Operating Systems Principles (Pacific Grove, California, United States, December 14 - 16, 1981). SOSP '81. ACM, New York, NY, 178-179. DOI= http://doi.acm.org/10.1145/800216.806606

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)

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

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

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)

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

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)

Andrew D. Birrell and Bruce Jay Nelson, Implementing Remote Procedure Calls, ACM Transactions on Computer Systems 2(1):39-59, February 1984

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

Eliminating Receive Livelock in an Interrupt-driven Kernel, Jeffrey Mogul and K. K. Ramakrishnan, USENIX ATX '96

Gray, C. and Cheriton, D. 1989. Leases: an efficient fault-tolerant mechanism for distributed file cache consistency. In Proceedings of the Twelfth ACM Symposium on Operating Systems Principles SOSP '89. ACM, New York, NY, 202-210. DOI= http://doi.acm.org/10.1145/74850.74870

Lottery Scheduling: Flexible Proportional Share Resource Management. C. Waldspurger, and W. Weihl OSDI '94 (USENIX)

End-To-End Arguments in System Design, J. H. Saltzer, D. P. Reed, and D. D. Clark,, ACM TOCS 2(4):277-288, November 1984

Wulf, W., Cohen, E., Corwin, W., Jones, A., Levin, R., Pierson, C., and Pollack, F. 1974. HYDRA: the kernel of a multiprocessor operating system. Commun. ACM 17, 6 (Jun. 1974), 337-345. DOI= http://doi.acm.org/10.1145/355616.364017

Surendar Chandra
Last modified: 11/25/2008 14:50