ND Home | COE Home | Site Map

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:

 

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
  1. Why threads are a bad idea (for most purposes). J Ousterhout - Keynote at the 1996 Usenix Annual Technical (PDF)
  2. Why Events Are A Bad Idea (for high-concurrency servers) Rob von Behren, Jeremy Condit and Eric Brewer, HotOS IX (USENIX)
  3. 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
  1. 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)
  2. 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