CS 261: Research Topics in Operating Systems

Lecture Notes

Margo's Lecture Notes

• 9/3/09: Introductory Lecture
• 9/5/09: Corbató: An Experimental Time-Sharing System, Dijkstra: The Structure of the "THE" Multiprogramming System
• 9/10/09: Kilburn: One Level Storage System
  Daley: Virtual Memory, Processes, and Sharing in MULTICS
• 9/15/09: Rashid: From RIG to Accent to Mach: The Evolution of a Network Operating System Leidtke: On micro-kernel Construction
• 9/17/09: Tucker: Process Control and Scheduling Issues for Multiprogrammed Shared-Memory Multiprocessors, Baumann: The Multikernel: A New OS Architecture for Scalable Multicore Systems
• 9/22/09: Rosenblum: The Reincarnation of Virtual Machines
  Creasy: The Origin of the VM/370 Time-Sharing System
  Bugnion: Disco: running commodity operating systems on scalable multiprocessors
• 9/24/09: Waldspurger: Memory Resource Management in VMware ESX Server
  Barham: Xen and the Art of Virtualization
• 9/26/09: Hand: Are Virtual Machine Monitors Microkernels Done Right?
  Heiser: Are Virtual-Machine Monitors Microkernels Done Right?
  Roscoe: Hype and Virtue
• 10/1/09: Hagmann: Reimplementing the Cedar File System Using Logging and Group Commit
• 10/6/09: Sandberg: Design and Implementation of the Sun Network Filesystem
  Howard: Scale and Performance in a Distributed File System
• 10/8/09: Gifford: Semantic File Systems
  Salmon: Perspective: Semantic Data Management for the Home
• 10/13/09: Frost: Generalized File System Dependencies
  Muniswamy-Reddy: Layering in Provenance Systems
• 10/15/09: Welch: Scalable Performance of the Panasas Parallel File System
  Eisler: Data ONTAP GX: A Scalable Storage Cluster
• 10/20/09: Ghemewat: The Google File System
  Schroeder: Disk Failures in the Real World: What Does an MTTF of 1,000,000 Hours Mean to You?
• 10/22/09: Beebe: Digital Forensic Implications of ZFS
  Birrell: Implementing Remote Procedure Calls
• 10/27/09: Schroeder: Experience with Grapevine: The Growth of a Distributed System
• 10/29/09: Stoica: Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications
  Rowstrom: Pastry: Scalable, distributed object location and routing for large-scale peer-to-peer systems
• 11/3/09: Burrows: The Chubby lock service for loosely-coupled distributed systems
  Badam: HashCache: Cache Storage for the Next Billion
• 11/5/09: Peterson: AntFarm: Efficient Content Distribution with Managed Swarms
  Ledlie: Network Coordinates in the Wild
• 11/10/09: Dean: MapReduce: Simplified Data Processing on Large Clusters
  Armbrust: Above the Clouds: A Berkeley View of Cloud Computing
• 11/12/09: Rinard: Enhancing Server Availability and Security Through Failure-Oblivious Computing
  Qin: Rx: Treating Bugs as Software Allergies -- A Safe way to Survive Software Failures
• 11/17/09: Engler: Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code
  Cadar: Klee: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
• 11/19/09: I cleverly deleted my notes before posting them. Apologies!