UCLA CS239--Advanced Operating Systems

Weekly material for Fall 99

This page is organized by the weeks of the quarter in which lectures were given and papers assigned. The weeks are in inverse order, on the assumption that you will most often be looking for the most recent week.

Week 10 (December 7 and 9)

Take-home final is now available (1pm on Friday, December 10); exam is due in my office (3564 Boelter Hall) at 5pm on Monday, December 13, 1999.

Lecture Slides:

NOTE: Please attend the Graduate Student Mentoring social from 2-3 Tuesday outside Boelter 4810; class will run from 3-4 only.

Lecture 15: Measuring Operating System Performance (6 up)

Week 9 (November 30 and Dec 2)

Lecture 13: Multiprocessor Operating Systems (6 up)

Textbook Reading:

Singhal, Chapter 17: Multiprocessor Operating Systems
Singhal, Chapter 16: Multiprocessor System Architectures

Week 8 (November 23)

Lecture Slides:

Lecture 12: Fault Tolerance (6 up)

Textbook Reading:

Singhal, Chapter 13: Fault Tolerance

Research Papers:

ARPANET crash of 1980; partition of 1986 [distributed in class]

Sources of Failure in the Public Switched Telephone Network, by D. Richard Kuhn, in IEEE Computer, Vol. 30, No. 4 (April, 1997), p. 31-36.

Papers on reserve in SEL/EMS Library (in CS239 folder)

IEEE Computer, April, 1997. Issue on Fault Tolerance.

Understanding Fault Tolerance and Reliability, p.45-50.
Beyond Fault Tolerance, p. 47-49.
Toward Systematic Design of Fault Tolerant Systems, p. 51-58. (postscript) (pdf)
Software-based Replication for Fault Tolerance, p. 68-74. (postscript) (pdf)

Papers by Jim Gray

Why do computers stop and what can be done about it? in Proceedings of the 5th Symposium on Reliable Distributed Systems , August, 1986.
High-Availability Computer Systems, in IEEE Computer, September, 1991. (postscript) (pdf)

Week 7 (November 16)

Lecture Slides:

Lecture 11: Distributed Shared Memory (6 up)

Textbook Reading:

Singhal, Chapter 10: Distributed Shared Memory

Research Papers:

Towards Transparent and Efficient Software DSM, by Scales and Gharachorloo, in Proceedings of the 16th Symposium on Operating Systems Principles, 1997.

Cashmere-2L: Software Coherent Shared Memory on a Clustered Remote-Write Network, by Stets et al, in Proceedings of the 16th Symposium on Operating Systems Principles, 1997.

Week 6 (November 9 and 11)

Lecture 10: Distributed File Systems (6 up)

Lecture 9: Novel Directions in File Systems (6 up)

Textbook Reading:

Singhal, Chapter 9: Distributed File Systems

Research Papers:

Perspectives on Optimistically Replicated Peer-to-Peer Filing, by T. W. Page, R. G. Guy, J. S. Heidemann, D. Ratner, P. Reiher, A. Goel, G. H. Kuenning, and G. J. Popek, in Software practice and Experience, v. 28, n.2, February, 1998.

A Pageable Memory Based Filesystem, by Marshall McKusick, Michael Karels, and Keith Bostic, in Proceedings of the 1990 Summer Usenix Conference.

A Flash-Memory Based File System, by Atsuo Kawaguchi, Shingo Nishioka, and Hiroshi Motoda, in Proceedings of the 1995 Winter Usenix Conference.

File-system development with stackable layers, by John Heidemann and Gerald Popek, in ACM Transactions on Computer Systems, 12(1):58-89, 1994.

Week 5 (November 2 and 4)

Midterm Exam:

The midterm exam is available here as of the end of class on November 4. It is due at the beginning of class on Tuesday, November 9.

Lecture Slides:

Lecture 8: File Systems Performance (6 up)

Lecture 7: Theoretical Foundations of Distributed Systems (part II) (6 up)

Research Papers:

UNIX disk access patterns, by Chris Ruemmler and John Wilkes, in Proceedings of the Winter '93 USENIX Conference, 405-420, January, 1993.

A Fast File System for UNIX, by Michael K. McKusick, W. N. Joy, S. J. Leffler, and R. S. Fabry, in ACM Transactions on Computer Systems, 2(3):181-197, August 1984.

A Log-Structured File System for UNIX, by Seltzer, M., Bostic, K., McKusick., M., Staelin, C., in Proceedings of the 1993 Winter Usenix Conference.

A Case for Redundant Arrays of Inexpensive Disks (RAID), by David A. Patterson and Garth Gibson and Randy H. Katz, in ACM SIGMOD Conference Proceedings, 109-116, 1988.

The Zebra Striped Network File System, by John H. Hartman, John K. Ousterhout, in ACM Transactions on Computer Systems, 13(3): 274-310, 1995.

Serverless Network File Systems, by T. Anderson, M. Dahlin, J. Neefe, D. Patterson, D. Roselli, and R. Wang, in Proceedings of the 15th Symposium on Operating Systems Principles, 1995.

More references (optional reading)

Petal: Distributed Virtual Disks, by Edward K. Lee and Chandramohan A. Thekkath, in Seventh International Conference on Architectural Support for Programming Languages and Operating Systems, 1996.

Frangipani: A Scalable Distributed File System, by Chandramohan A. Thekkath, Timothy Mann, and Edward K. Lee, in Proceedings of the 16th Symposium on Operating Systems Principles, 1997.

Week 4 (October 26 & October 28)

Lecture Slides:

Lecture 6: Theoretical Foundations of Distributed Systems (part I) (6 up)

Lecture 5: Distributed Systems Architectures (6 up)

Textbook Reading:

Singhal, Chapter 4: Architectures of Distributed Systems
Singhal, Chapter 5: Theoretical Foundations
Singhal, Chapter 8: Agreement Protocols

Week 3 (October 19)

Lecture Slides:

Lecture 4: Synchronization & Deadlocks (6 up)

Textbook Reading:

Singhal, Chapter 2: Synchronization Mechanisms
Singhal, Chapter 3: Process Deadlocks

Research Papers:

A Revisitation of Kernel Synchronization Schemes, by Christopher Small and Stephen Manley, in Proceedings of the USENIX 1997 Annual Technical Conference.

Secondary Research Papers:

The Synergy Between Non-blocking Synchronization and Operating System Structure, by Michael Greenwald and David Cheriton, in Proceedings of the Second USENIX Symposium on Operating Systems Design and Implementation, 1996.

Week 2 (October 12 & October 14)

Lecture Slides:

Lecture 3: OS Ext. & 64-Bit systems (6 up)

Textbook Reading:

Research Papers:

Lecture 3:

Sharing and Protection in a Single-Address-Space Operating System, by Jeff Chase, Hank Levy, Michael Feeley, and Edward Lazowska, in ACM Transactions on Computer Systems, November 1994.

Anonymous RPC: Low-Latency Protection in a 64-Bit Address Space, by Curtis Yarvin, Richard Bukowski, and Thomas Anderson, in USENIX Conference Proceedings, Summer 1993.

The Expected Lifetime of "Single-Address-Space" Operating Systems, by David Kotz and Preston Chow, Dartmouth College Technical Report PCS-TR93-198 (revised 1996).

Week 1 (October 5 & October 7)

Lecture Slides:

Lecture 2: OS Extensibility (3 up) (6 up)

Lecture 1: OS Architectures (3 up) (6 up)

Textbook Reading:

Singhal, Chapter 1: Operating System Overview.
Tanenbaum, Chapter 7: Amoeba Case Study [SEL Reserve]
Tanenbaum, Chapter 8: Mach Case Study [SEL Reserve]
Stallings, Chapter 2: Windows NT [SEL Reserve]

Primary Research Papers:

Lecture 1:

Why Aren't Operating Systems Getting Faster as Fast as Hardware?, by John Ousterhout, in USENIX Conference Proceedings, Summer 1990.

The Interaction of Architecture and Operating System Design, by Thomas Anderson, Hank Levy, Brian Bershad, and Ed Lazowska, in Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 1991.

Plan 9 from Bell Labs, by Rob Pike, Dave Presotto, Sean Dorward, Bob Flandrena, Ken Thompson, Howard Trickey, and Phil Winterbottom, in Plan 9, Volume 2: The Documents.

Lecture 2:

The Performance of u-Kernel-Based Systems, by Hernamm Hartig, Michael Hohmuth, Jochen Liedtke, Sebastian Schonber, and Jean Wolter, in Proceedings of the 16th Symposium on Operating Systems Principles, 1997.

Extensibility, Safety and Performance in the SPIN Operating System,, by Brian Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer, David Becker, March Fiuczynski, Craig Chambers, Susan Eggers, in Proceedings of the 15th Symposium on Operating Systems Principles, 1995.

Exokernel: An Operating System Architecture for Application-Level Resource Management, by Dawson Engler, Frans Kaashoek, and James O'Toole, in Proceedings of the 15th Symposium on Operating Systems Principles, 1995.

Microkernels Meet Recursive Virtual Machines, by Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullman, Godmar Back, and Stephen Clawson, in Proceedings of the Second USENIX Symposium on Operating Systems Design and Implementation, 1996.

SLIC: An Extensibility System for Commodity Operating Systems, by Douglas Ghormley, David Petrou, Steven Rodrigues, and Thomas Anderson, in Proceedings of the USENIX 1998 Annual Technical Conference.
[The above paper is in PostScript Level 3, from a PDF document. If your software/printer chokes on it, try this earlier version as submitted, without corrections.]

A Comparison of OS Extension Technologies, by Christopher Small and Margo Seltzer, in Proceedings of the USENIX 1996 Annual Technical Conference.

Secondary Research Papers:

The Impact of Archtectural Trends on Operating System Performance, by Mendel Rosenblum, Edouard Bugnion, Stephen Herrod, Emmett Witchel, and Anoop Gupta, in Proceedings of the 15th Symposium on Operating Systems Principles, 1995.

On u-Kernel Construction, by Jochen Liedtke, in Proceedings of the 15th Symposium on Operating Systems Principles, 1995.

Porting UNIX to Windows NT, by David Korn, in Proceedings of the USENIX 1997 Annual Technical Conference.

Flexibility in Object-Oriented Operating Systems: A Review, by Vinny Cahill, Technical Report TCD-CS-96-05, Trinity College Dublin, 1996.

Application Performance and Flexibility on Exokernel Systems, by Frans Kaashoek, Dawson Engler, Gregory Ganger, Hector Briceno, Russell Hunt, David Mazieres, Thomas Pinckney, Robert Grimm, John Jannotti, and Kenneth Mackenzie, in Proceedings of the 16th Symposium on Operating Systems Principles, 1997.

The Flux OSKit: A Substrate for Kernel and Language Research, by Bryan Ford, Godmar Black, Greg Benson, Jay Lepreau, Albert Lin, and Olin Shivers, in Proceedings of the 16th Symposium on Operating Systems Principles, 1997.

Opal: A Single Address Space System for 64-bit Architectures, by Jeff Chase, Hank Levy, Miche Baker-Harvey, and Ed Lazowska, in Proceedings of the IEEE Workshop on Workstation Operating Systems, 1992.

Architectural Support for Single Address Space Operating Systems, by Jeff Chase, Hank Levy, Miche Baker-Harvey, and Ed Lazowska, in Proceedings of the IEEE Workshop on Workstation Operating Systems, 1992.

Week 0 (September 30)

Lecture Slides:

Introduction


CS239 Home | Course Overview | Weekly Material | CS Dept | UCLA


(c)1999 Richard Guy
For information about these pages, contact Richard Guy.