Below is the calendar for this course. This is the preliminary schedule, which will be altered as the quarter progresses. It is the responsibility of the students to frequently check this web-page for schedule, readings, and assignment changes. As the professor, I will attempt to announce any change to the class, but this web-page should be viewed as authoritative. If you have any questions, please contact me (contact information is available at the course homepage).

DateTopicAssignments
Due
Readings for Discussion
(do readings before class)
01/06/25Introduction
(Slides)
Course syllabuslink
Chapter 2link
01/08/25History
(Slides)
P1: System Call (Due 1/23/25)
Chapter 4link
Ken Thompson. Reflections on Trusting Trust. Turing Award Lecture, 1984.link
01/13/25Processes
(Slides)
Chapters 5 and 6 link
01/15/25Memory
(Slides)
Review: Liedtke or Engler paper due
Chapters 13, 14, 15link
01/20/25Martin Luther King Jr Day - No class
01/22/25Extensibility
(Slides)
P2: Copy-on-Write (Due 2/11/25) and Quiz 1 (at Test Center 1/23-24/25)
Jochen Liedtke. On microkernel construction. SOSP '95.link
Dawson Engler, et al. Exokernel. SOSP '95.link
(Optional) Kevin Elphinstone, et al. L3 to seL4. SOSP '13.link
(Optional) Chia-Che Tsai, et al. Graphene-SGX. ATC '17.link
01/27/25Scheduling
(Slides)
Chapters 7, 8, 9link
01/29/25Isolation
(Slides)
Review: Wahbe or Narayanan paper due
Chapters 18 and 19link
Wahbe et al. Efficient Software Fault Isolation. SOSP '93.link
Narayanan et al. Isolation of Kernel Subsystems. USENIX ATC'19.link
(optional) Narayanan et al. Lightweight Kernel Isolation. VEE '20.link
(optional) Niclas Hedam. eBPF from a Programmer's Perspective. 2023.link
02/03/25Threads
(Slides)
Chapters 26, 27 link
Thomas Anderson et al. Scheduler Activations. SOSP '91. link
02/05/25Concurrency
(Slides)
Quiz 2 (Test Center 2/6-7/25)
Chapters 28 and 29link
02/10/25Semaphores
(Slides)
Review: Read-Copy Update due
Chapters 30 and 31link
02/12/25Concurrency Research
(Slides)
Midterm (Take Home - out 2/17/25 evening) due 2/19/25
Paul McKenney et al. Read-Copy Update. Ottawa Linux Symposium '02. link
02/17/25Presidents' Day - No class
02/19/25Scalability
(Slides)
P3: File Systems (Due 3/14/25)
Andrew Baumann et al. Barrelfish. SOSP '09.link
02/24/25Scalability
(Slides)
Review: Boyd-Wickizer due
Silas Boyd-Wickizer et al. Linux Scalability. OSDI '10.link
02/26/25File Systems
(Slides)
Quiz 3 (Test Center 2/25-26/25)
Chapters 39 and 40link
03/03/25File System Security
(Slides)
Review: Vijayakumar due
Chapter 45 and 55link
Hayawardh Vijawakumar et al. Finding Name Resolution Vulnerabilities. USENIX Security '12.link
03/05/25Input/Output
(Slides)
Chapter 36 and 37link
03/10/25Distibuted File Systems
(Slides)
Review: Shvachko Due and Quiz 4 (Test Center 3/10-11/25)
Chapter 48 and 49link
Konstantin Shvachko et al. Hadoop FS. MSST '10. link
03/12/25Virtualization/Containers
(Slides)
Paul Barham et al. Xen. SOSP '03.link
03/19/25Final Exam, 3-6pm, Location: BRNHL A125 (lecture room)
.