CPCS 508 Graduate Operating Systems
2020 Winter Term 2 (i.e., Spring 2021)

Margo's Lecture Notes

• January 12, 2021:
  First Day Handout
  Introductory Lecture
  Hand: Are Virtual-Machine Monitors Microkernels Done Right?
  Heiser: Are Virtual-Machine Monitors Microkernels Done Right?
• January 14, 2021:
  Corbató: An Experimental Time-Sharing System
  Dijkstra: The Structure of the "THE" Multiprogramming System
• January 19, 2021:
  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
• January 21, 2021:
  Rashid: From RIG to Accent to Mach: The Evolution of a Network Operating System
  Leidtke: On micro-kernel Construction
• January 26, 2021
  Meyer: A virtal machine time-sharing system
  Bugnion: Disco: running commodity operating systems on scalable multiprocessors
• January 28, 2021
  Gamsa: Tornado: Maximizing Locality and Concurrency in a Shared Memory Multiprocessor Operating System
  Baumann: The Multikernel: A New OS Architecture for Scalable Multicore Systems
• February 2, 2021
  Waldspurger: Memory Resource Management in VMware ESX Server
• February 4, 2021
  Ford: Microkernels Meet Recursive Virtual Machines
  Barham: Xen and the Art of Virtualization
• February 9, 2021
  Banga: Resource Containers: A new Facility for Resource Management in Server Systems
  Menage: Adding Generic Process Containers to the Linux Kernel
• February 11, 2021
  Manco: My VM is Lighter (and safer) than your Containers
  Litton: Light-weight Contexts: An OS Abstraction for Safety and Performance
• February 23, 2021
  Engler: Exokernel: An Operating System Architecture for Application-Level Resource Management
  Porter: Rethinking the Library OS from the Top Down
• February 25, 2021
  Kivity: OSv—Optimizing the Operating System for Virtual Machines"
  Schatzberg: EbbRT: A Framework for Building Per-Application Library Operating Systems
• March 2, 2021
  Mosberger: Making Paths Explicit in the Scout Operating System
  Peter: Arrakis: The Operating System is the Control Plane"
• March 4, 2021
  Marty: Snap: a Microkernel Approach to Host Networking
• March 9, 2021
  Pu: The Synthesis Kernel
  Ford: The Flux OSKit: iA Substrate for Kernel and Language Research
• March 11, 2021
  seL4: Formal Verification of an OS Kernel
  Nelson: Hyperkernel: Push-Button Verification of an OS Kernel
• March 16, 2021
  Hagmann: Reimplementing the Cedar File System Using Logging and Group Commit
  Rosenblum: The Design and Implementation of a Log-Structured File System
• March 18, 2021
  Storage Systems are Distributed Systems (So Verify Them That Way!)
  Using Crash Hoare Logic for Certifying the FSCQ File System
• March 23, 2021
  Sandberg: Design and Implementation of the Sun Network Filesystem
  Howard: Scale and Performance in a Distributed File System
• March 25, 2021
  Anderson: Serverless Network File Systems
  Mickens: Blizzard: Fast, Cloud-scale Block Storage for Cloud-oblivious Applications
• March 30, 2021
  Schroeder: Experience with Grapevine: The Growth of a Distributed System
  Rinard: Enhancing Server Availability and Security Through Failure-Oblivious Computing