Lecture Notes

CS422/522: Design and Implementation of Operating Systems, Fall 2022, Yale University

Lecture notes will be made shortly after each lecture.

  • Lecture 1 (Aug 31): Introduction (pdf)
  • Lecture 2 (Sep 2): The Kernel Abstraction (pdf)
  • Lecture 3 (Sep 7): Project Overview (pdf)
  • Lecture 4 (Sep 7-12): Memory Management & The Programming Interface (pdf)
  • Lecture 5 (Sep 12-14): Concurrency and Threads (pdf)
  • Lectures 6-8 (Sep 19-26): Synchronization (pdf)
  • Lectures 8-9 (Sep 26-28): Implementing Synchronization (pdf)
  • Lectures 10-11 (Oct 3-5): Multi-Object Synchronization (pdf)
  • Lecture 11 (Oct 5): CPU Scheduling (pdf)
  • Lecture 12 (Oct 10): Address Translation (pdf)
  • Lecture 13 (Oct 12): Cache and Virtual Memory (pdf)
  • Lecture 14 (Oct 17): I/O Devices and Drivers (pdf)
  • Lecture 15a (Oct 17-24): Certified Device Objects (pdf)
  • Lecture 15 (Oct 24): Storage Devices (pdf)
  • Lectures 15-17 (Oct 24-31): Files and Directories (pdf)
  • Lecture 17 (Oct 31): Midterm Review (pdf)
  • Lectures 17-18 (Oct 31-Nov 2): Reliable Storage (pdf)
  • Lectures 18-20 (Nov 2-9): Security and Trust (pdf)
  • Lecture 21 (Nov 14): CertiKOS (pdf)
  • Lecture 22 (Nov 16): Real-Time Systems (pdf)
  • Lecture 23 (Nov 28): Networking & Protocol Stacks (pdf)
  • Lecture 24 (Nov 30): Distributed Systems (pdf)
  • Lecture 25 (Dec 2): Replication and Consensus (pdf)
  • Lecture 26 (Dec 7): Consensus and Paxos (pdf)

  • The following are the lecture notes used in Fall 2021:
  • Lecture 1 (Sep 1): Introduction (pdf)
  • Lecture 2 (Sep 3-8): The Kernel Abstraction (pdf)
  • Lecture 3 (Sep 8): Project Overview (pdf)
  • Lecture 4 (Sep 8-13): Memory Management & The Programming Interface (pdf)
  • Lecture 5 (Sep 13): Concurrency and Threads (pdf)
  • Lectures 6-8 (Sep 15-22): Synchronization (pdf)
  • Lectures 8-9 (Sep 22-27): Implementing Synchronization (pdf)
  • Lectures 9-10 (Sep 27-29): Multi-Object Synchronization (pdf)
  • Lecture 11 (Oct 4): CPU Scheduling (pdf)
  • Lecture 12 (Oct 6): Address Translation (pdf)
  • Lecture 13 (Oct 11): Cache and Virtual Memory (pdf)
  • Lecture 14 (Oct 13): I/O Devices and Drivers (pdf)
  • Lectures 15a (Oct 13-18): Certified Device Objects (pdf)
  • Lecture 15 (Oct 18): Storage Devices (pdf)
  • Lectures 16-17 (Oct 25-27): Files and Directories (pdf)
  • Lectures 17-18 (Oct 27-Nov 1): Reliable Storage (pdf)
  • Lecture 18 (Nov 1): Midterm Review (pdf)
  • Lectures 19-20 (Nov 3-10): Security and Trust (pdf)
  • Lecture 21 (Nov 15): Networking & Protocol Stacks (pdf)
  • Lecture 22 (Nov 17): Distributed Systems (pdf)
  • Lecture 23 (Nov 29): Replication and Consensus (pdf)
  • Lecture 24 (Dec 1): Real-Time Systems (pdf)
  • Lecture 25 (Dec 6): Consensue and Paxos (pdf)
  • Lecture 26 (Dec 8): CertiKOS (pdf)

  • Copyright (c) 1995-2022, Zhong Shao, Dept. of Computer Science, Yale University