CS262: Advanced Topics in Operating Systems
Fall 1996

Prof. Eric A. Brewer

Tuesday, Thursday 11-12:30
310 Soda

Fall 1996 Admission List

Current list of projects

Presentation Schedule

Monday, December 9th, 3-6, Room 508, (2 overhead projectors)

3:00

Kimball, Mattis and Scott

3:30

Eastham and Grigorescu

4:00

Fromm and Treuhaft

4:30

Chenney, Cho and Costello

5:00

Belani, Zhou and Thronton

5:30

Gebis

Tuesday, December 10th, 9:30-1, Room TBA

9:30

Chen and Wong

10:00

Raman and Tung

10:30

Romer, Cardwell and Bowman

11:00

Cheng and Hsu

11:30

Wong and Kozyrakis

12:00

Thomas, Anderson and Tene

12:30

Lippe, Tawai and Morris

Handouts

• Handout 1: Course Information
  
• Problem Set, Due December 16th
  

Reading List

8/27: UNIX

The UNIX Time-Sharing System
Dennis M. Richie and Ken Thompson
(New electronic version)

9/4: Multics (treat these as one paper)

• Multics General Information
• Multics Features
• Multics Virtual Memory -- Tutorial and Reflections
  Paul Green
  [PostScript version with paragraph numbers (153K)]

9/6: Unix File System + Measurements

• A Fast File System for UNIX
  McKusick, Joy, Leffler and Fabry
  Copies available outside 623 Soda
• Measurements of a Distributed File System
  Baker, Hartman, Kupfer, Shirriff and Ousterhout (409K)

9/10: The Log-Structured File System, HP AutoRAID

• The Design and Implementation of a Log-Structured File System
  Rosenblum and Ousterhout (229K)
• The HP AutoRAID Hierarchical Storage System (pdf)
  Wilkes, Golding, Staelin and Sullivan

9/12: xFS

Serverless Network File Systems
Anderson, Dahlin, Neefe, Patterson, Roselli and Wang

9/17: The Coda File System

Disconnected Operation in the Coda File System
Kistler and Satyanarayanan
(ghostview has trouble with this paper, but it prints fine)

9/19: No new reading.

Finish File Systems, talk about projects.

9/24: Virtual Memory

Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures
Rashid, Tavanian, Young, Golub, Baron, Black, Bolosky and Chew
Don't worry about the details of the calls.

9/26: User-Level Virtual Memory

• Application-Controlled Physical Memory using External Page-Cache Management
  Harty and Cheriton
  
• Virtual Memory Primitives for User Programs
  Appel and Li
  

10/1: No Class

10/2: Optional Windows NT talk, 9-12, (Wednesday)

10/3: No Class

10/7: (Monday 12:30-2, Room 405!!)

• Lightweight Recoverable Virtual Memory
• Logged Virtual Memory
  This paper is hard to print, I will put copies outside my office sometime around noon on Saturday. I will not require a summary for this paper, but you should read it.

10/8: Software Fault Isolation

Efficient Software Fault Isolation
Wahbe, Lucco, Anderson and Graham

10/10: Java

The Java Language Environment: A White Paper
Gosling and McGilton

10/17: On-Demand Distillation

Adapting to Client Variability via On-Demand Dynamic Distillation
Fox, Gribble, Brewer and Amir

10/22: X-Kernel

The x-Kernel: An Architecture for Implementing Network Protocols
Hutchinson and Peterson

10/24: Active Messages

• Active Messages: A Mechanism for Integrated Communication and Control
  von Eicken, Culler, Goldstein, and Schauser
• U-Net: A User-Level Network Interface for Parallel and Distributed Computing
  Basu, Buch, Vogels, and von Eicken

10/29: Global Network Scheduling

• How to Get Good Peformance from the CM-5 Data Network
  Brewer and Kuszmaul [Alternate Link]
• Congestion Avoidance and Control
  Jacobson and Karels [optional: no summary necessary]

10/31: Network Optimization

• Remote Queues: Message Queues for Atomicity and Optimization
  Brewer, Chong, Lui, Sharma, Kubiatowicz
• NIFDY: A Low Overhead, High Throughput Network Interface
  Callahan and Goldstein

11/5: Synchronization

• Experience with Processes and Monitors in Mesa
  Lampson and Redell
  
• Reactive Synchronization Algorithms for Multiprocessors
  Lim and Agarwal

11/7: Scheduling

• Fast Mutual Exclusion for Uniprocessors
  Bershad, Redell, and Ellis
• Threads and Input/Output in the Synthesis Kernel
  Massalin and Pu

11/14: Scheduling

• Lottery Scheduling: Flexible Proportional-Share Resource Management
  Waldspurger and Weihl
• Scheduler Activations
  Anderson, Bershad, Lazowska and Levy [outside 623]

11/19: Extensible Operating Systems

Extensibility, Safety and Performance in the SPIN Operating System
Bershad et al.

11/21: Exokernel

Exokernel: An Operating System Architecture for Application-Level Resource Management
Engler, Kaashoek and O'Toole

11/26: Security

• Reflections on Trusting trust
  Ken Thompson
• Randomness and the Netscape Browser, Dr. Dobb's Journal
  Ian Goldberg and David Wagner
• Endpoint Security
  Gauthier, Brewer, Goldberg and Wagner
  

Project Information

Past Projects

• NIFDY Network Interface Design, Seth Goldstein and Tim Callahan
• Investigating Virtual Memory Compression on Portable Architectures, Mark Stemm
• An Exploration of Network RAM, Jeanna Neefe and Eric Anderson

Recent and Upcoming Systems Conferences

1995 Symposium on Operating Systems Principles (SOSP)

OSDI '96

ASPLOS VII

Slides

• 8/27: Introduction, Unix Timesharing
  
• 9/4: Multics
  
• 9/6: FFS, Measurements of a Distributed File System
  
• 9/10: The Log-Structured File System
  
  • Self-Similarity Slides (by Steve Gribble)
  • Self-Similarity in File Systems: Measurement and Applications
    Steven D. Gribble, Gurmeet Singh Manku and Eric A. Brewer
• 9/12: The HP AutoRAID
  
• 9/17: xFS (and Zebra)
  
• 9/19: Coda, File system wrap up (and project ideas)
  
• 9/24: Mach Virtual Memory
  
• 9/26: User-level VM
  
• 10/7: LVM, LRVM
  
• 10/22: x-Kernel, Lightweight RPC
  
• 10/24: Active Messages
  
• 10/29: Network Congestion
  

Entrance Exam