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
