CPSC 508 Graduate Operating Systems
2022 Winter Term 1 (i.e., Fall 2022)

Margo's Lecture Notes

• September 8, 2022:
  First Day Handout
  Introductory Lecture
  Hand: Are Virtual-Machine Monitors Microkernels Done Right?
  Heiser: Are Virtual-Machine Monitors Microkernels Done Right?
• September 13, 2022:
  Corbató: An Experimental Time-Sharing System
  Dijkstra: The Structure of the "THE" Multiprogramming System
• September 15, 2022:
  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 20, 2022:
  Rashid: From RIG to Accent to Mach: The Evolution of a Network Operating System
  Leidtke: On micro-kernel Construction
• September 22, 2022
  Meyer: A virtal machine time-sharing system
  Bugnion: Disco: running commodity operating systems on scalable multiprocessors
• September 27, 2022
  Barham: Xen and the Art of Virtualization
  Kivity: OSv—Optimizing the
• September 29, 2022
  Soltesz: Container-based Operating System Virtualization
  Agache: Firecracker: Lightweight Virtualization for Serverless Applications
• October 4, 2022
  Engler: Exokernel: An Operating System Architecture for Application-Level Resource Management
  Porter: Rethinking the Library OS from the Top Down
• October 6, 2022
  Litton: Light-weight Contexts: An OS Abstraction for Safety and Performance
  LXDs: Towards Isolation of Kernel Subsystems
• October 11, 2022
  Hunt: An Overview of the Singularity Project
  Narayanan: RedLeaf: Isolation and Communication in a Safe Operating System
• October 13, 2022
  Boos: Theseus: an Experiment in Operating System Structure and State Management
  Wang: Tinkertoy: Build your own operating systems for IoT devices
• October 18, 2022
  Gamsa: Tornado: Maximizing Locality and Concurrency in a Shared Memory Multiprocessor Operating System
  
• October 20, 2022
  Baumann: The Multikernel: A New OS Architecture for Scalable Multicore Systems
  Bhardwaj: NrOS: Effective Replication and Sharing in an Operating System
• October 25, 2022
  Korolija: Do OS abstractions make sense on FPGAs?
  Cock: Enzian: An Open, General, CPU/FPGA Platform for Systems Software Research
• October 27, 2022
  Shan: LegoOS: A Disseminated, Distributed OS for Hardware Resource Disaggregation
  Jing: Operating System Support for Safe and Efficient Auxiliary Execution
• November 1, 2022
  Peter: Arrakis: The Operating System is the Control Plane"
  Zhang: The Demikernel Datapath OS Architecture for Microsecond-scale Datacenter Systems
• November 3, 2022
  Shillaker: Faasm: Lightweight Isolation for Efficient Stateful Serverless Computing
  Sriraman: µSuite: A Benchmark Suite for Microservices
• Nov 8, 2022
  seL4: Formal Verification of an OS Kernel
  Nelson: Hyperkernel: Push-Button Verification of an OS Kernel
• November 15, 2022
  McKusick: A Fast File System for UNIX
  Rosenblum: The Design and Implementation of a Log-Structured File System
• November 17, 2022
  Sandberg: Design and Implementation of the Sun Network Filesystem
  Howard: Scale and Performance in a Distributed File System
• November 22, 2022
  Kim: A Space-Efficient Flash Translation Layer for Compact Flash Systems
  Wu: SCMFS: A File System for Storage Class Memory
• November 24, 2022
  Bittman: Twizzler: a Data-Centric OS for Non-Volatile Memory