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

Last modified: November 27, 2022.

8/31:

Lecture: Introduction (AD 1)

9/2:

Lecture: The Kernel Abstraction (AD 2.1-2.6, 2.9); Project Overview

---

9/5:

Labor Day; classes do not meet

9/7:

Lecture: Memory Management (AD 8.1-8.2); The Programming Interface (AD 3.1-3.5)

---

9/12:

Lecture: Concurrency and Threads (AD 4.1-4.8)

9/14:

Lecture: Synchronization; Locks (AD 5.1-5.4);

9/15:

Assignment 1 Due.

---

9/19:

Lecture: Condition Variables (AD 5.1-5.4);

9/21:

Lecture: Synchronization Case Studies (AD 5.3-5.6)

---

9/26:

Lecture: Implementing Synchronization Objects (AD 5.7-5.8)

9/28:

Lecture: Multi-Object Synchronization (AD 6.1-6.5)

9/29:

Assignment 2 Due.

---

10/3:

Lecture: CPU Scheduling (AD 7.1-7.7)

10/5:

Lecture: Address Translation (AD 8.1-8.3)

---

10/10:

Lecture: Cache and Virtual Memory (AD 9.1-9.7)

10/12:

Lecture: I/O Devices and Drivers (AD 11.1-11.4)

10/13:

Assignment 3 Due.

---

10/17:

Lecture: Certified Device Objects; Storage Devices (AD 12.1-12.2)

10/19:

October Recess; classes do not meet

---

10/24:

Lecture: Storage Devices; Files and Directories (AD 13.1-13.4)

10/26:

Lecture: Files and Directories (AD 13.1-13.4)

---

10/31:

Lecture: Reliable Storage (AD 14.1-14.3); Midterm Review

Assignment 4 Due.

11/2:

Lecture: Security and Trust

---

11/7:

Midterm Exam (in class, closed book)

11/9:

Lecture: More on Security and Trust

---

11/14:

Lecture: CertiKOS

11/16:

Lecture: Real-Time Systems

11/20:

Assignment 5 Due.

---

11/21:

November Recess; classes do not meet

11/23:

November Recess; classes do not meet

---

11/28:

Lecture: Networking & Protocol Stacks

11/30:

Lecture: Distribtued Systems

12/2:

Lecture: Replication and Consistency Models (2:30-3:45pm ET, Room 200 AKW, Makeup Lecture for 12/7)

---

12/5:

Lecture: Consensus and Paxos

12/7:

No Lecture

---

12/13:

Assignment 6 Due.