CPSC 508 Graduate Operating Systems
2019 Winter Term 1

Margo's Lecture Notes

• September 5, 2019:
  Introductory Lecture
  First Day Handout
  Hand: Are Virtual-Machine Monitors Microkernels Done Right?
  Heiser: Are Virtual-Machine Monitors Microkernels Done Right?
• September 10, 2019:
  Corbató: An Experimental Time-Sharing System
  Dijkstra: The Structure of the "THE" Multiprogramming System
• September 12, 2019:
  Kilburn: One Level Storage System
  Daley: Virtual Memory, Processes, and Sharing in MULTICS
  Bensoussan: The Multics Virtual Memory System: Concepts and Design
  Daniel Margo's notes on the papers
• September 17, 2019:
  Rashid: From RIG to Accent to Mach: The Evolution of a Network Operating System
  Leidtke: On micro-kernel Construction
• September 19, 2019
  Gamsa: Tornado: Maximizing Locality and Concurrency in a Shared Memory Multiprocessor Operating System
  Baumann: The Multikernel: A New OS Architecture for Scalable Multicore Systems
• September 24, 2019
  Meyer: A virtal machine time-sharing system
  Bugnion: Disco: running commodity operating systems on scalable multiprocessors
• September 26, 2019
  Waldspurger: Memory Resource Management in VMware ESX Server
• October 1, 2019
  Ford: Microkernels Meet Recursive Virtual Machines
  Barham: Xen and the Art of Virtualization
• October 3, 2019
  Banga: Resource Containers: A new Facility for Resource Management in Server Systems
  Menage: Adding Generic Process Containers to the Linux Kernel
• October 8, 2019
  Litton: Light-weight Contexts: An OS Abstraction for Safety and Performance
  Manco: My VM is Lighter (and safer) than your Containers
• October 10, 2019
  Engler: Exokernel: An Operating System Architecture for Application-Level Resource Management
  Porter: Rethinking the Library OS from the Top Down
• October 15, 2019
  Kivity: OSv—Optimizing the Operating System for Virtual Machines"
  Schatzberg: EbbRT: A Framework for Building Per-Application Library Operating Systems
• October 17, 2019
  Mosberger: Making Paths Explicit in the Scout Operating System
  Peter: Arrakis: The Operating System is the Control Plane"
• October 22, 2019
  Ford: The Flux OSKit: A Substrate for Kernel and Language Research
• October 24, 2019
  Jorgensen: The eXpress Data Path: Fast Programmable Packet Processing in the Operating System Kernel
  Pu: The Synthesis Kernel
• October 29, 2019
  seL4: Formal Verification of an OS Kernel
  Using Crash Hoare Logic for Certifying the FSCQ File System
• October 31, 2019
  Nelson: Hyperkernel: Push-Button Verification of an OS Kernel
  Gu: CertiKOS:An extensible Architecture for Building Certified Concurrent OS Kernels
• November 5, 2019
  Hagmann: Reimplementing the Cedar File System Using Logging and Group Commit
  Rosenblum: The Design and Implementation of a Log-Structured File System
• November 7, 2019
  Sandberg: Design and Implementation of the Sun Network Filesystem
  Howard: Scale and Performance in a Distributed File System
• November 12, 2019
  Anderson: Serverless Network File Systems
  Mickens: Blizzard: Fast, Cloud-scale Block Storage for Cloud-oblivious Applications
• November 14, 2019
  Schroeder: Experience with Grapevine: The Growth of a Distributed System
  Rinard: Enhancing Server Availability and Security Through Failure-Oblivious Computing