Schedule¶
The schedule may change as the course progresses, in part based on student interests. If you are particularly interested in some topic not covered here, email to the course instructor.
| Monday | Tuesday | Wednesday | Thursday | Friday |
| Aug 24 LEC 1: Introduction and overview Class begins |
Aug 25 | Aug 26 LEC 2: Review of undergrad OS basics |
Aug 27 | Aug 28 |
| Aug 31 LEC 3: OS Design: Paper 1 "Exokernel: An Operating System Architecture for Application-Level Resource Management" Engler et al. SOSP 1995. |
Sep 1 | Sep 2 LEC 4: OS Design: Paper 2 "The multikernel: a new OS architecture for scalable multicore systems" Baumann et al. SOSP 2009. |
Sep 3 | Sep 4 |
| Sep 7 Labor Day |
Sep 8 | Sep 9 LEC 5: System call: Paper 3: "FlexSC: Flexible System Call Scheduling with Exception-Less System Calls" Soares and Stumm. OSDI 2010. |
Sep 10 | Sep 11 |
| Sep 14 LEC 6: Scheduler: Paper 4 "The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS" Bouron et al. ATC 2018. |
Sep 15 | Sep 16 LEC 7: Scheduler: Paper 5 "ghOSt: Fast & Flexible User-Space Delegation of Linux Scheduling" Humphries et al. SOSP 2021. |
Sep 17 | Sep 18 |
| Sep 21 LEC 8: OS Extension: Paper 6 "PageFlex: Flexible and Efficient User-space Delegation of Linux Paging Policies with eBPF" Yelam et al. ATC 2025. |
Sep 22 | Sep 23 LEC 9: OS Extension: Paper 7 "XRP: In-Kernel Storage Functions with eBPF" Zhong et al. OSDI 2022. Best Paper. |
Sep 24 | Sep 25 DUE: Project proposal |
| Sep 28 LEC 10: Concurrency: Paper 8 "Everything You Always Wanted to Know About Synchronization but Were Afraid to Ask" David et al. SOSP 2013. |
Sep 29 | Sep 30 LEC 11: Concurrency: Paper 9 "Shared Memory Consistency Models: A Tutorial" Adve and Gharachorloo. IEEE Computer 1996. |
Oct 1 | Oct 2 |
| Oct 5 LEC 12: Concurrency: Paper 10 "RCU Usage In the Linux Kernel: Eighteen Years Later" McKenney et al. OS Review 2020 |
Oct 6 | Oct 7 Midterm exam (TBD) |
Oct 8 | Oct 9 |
| Oct 12 Fall Break |
Oct 13 Fall Break |
Oct 14 LEC 13: Memory: Paper 11 "Practical, transparent operating system support for superpages" Navarro et al. OSDI 2002. |
Oct 15 | Oct 16 DUE: Progress report #1 |
| Oct 19 LEC 14: Memory: Paper 12 "Hydra: Scalable and Effective Page-table and TLB Management on NUMA Systems" Gao et al. ATC 2024. |
Oct 20 | Oct 21 LEC 15: File Systems: Paper 13 "Analysis and Evolution of Journaling File Systems" Prabhakaran et al. ATC 2005. |
Oct 22 | Oct 23 |
| Oct 26 LEC 16: File Systems: Paper 14 "Rearchitecting Linux Storage Stack for µs Latency and High Throughput" Hwang et al. OSDI 2021. |
Oct 27 | Oct 28 LEC 17: Virtualization: Paper 15 "Memory Resource Management in VMware ESX Server" Waldspurger. OSDI 2002. Best Paper |
Oct 29 | Oct 30 |
| Nov 2 MICRO (TBD) |
Nov 3 | Nov 4 MICRO (TBD) |
Nov 5 | Nov 6 DUE: Progress report #2 |
| Nov 9 LEC 18: Virtualization: Paper 16 "A Comparison of Software and Hardware Techniques for x86 Virtualization" Adams and Agesen ASPLOS 2006. |
Nov 10 | Nov 11 LEC 19: Virtualization: Paper 17 "Xen and Art of Virtualization" Barham et al. SOSP 2003. |
Nov 12 | Nov 13 |
| Nov 16 LEC 20: Virtualization: Paper 18 "Firecracker: Lightweight Virtualization for Serverless Applications" Agache et al. NSDI 2020. |
Nov 17 | Nov 18 LEC 21: Reliability: Paper 19 "REPT: Reverse Debugging of Failures in Deployed Software" Cui et al. OSDI 2018. Best Paper |
Nov 19 | Nov 20 |
| Nov 23 LEC 22: Reliability: Paper 20 "X-ray: Automating Root-Cause Diagnosis of Performance Anomalies in Production Software" Attariyan et al. OSDI 2012. Best Paper |
Nov 24 | Nov 25 Thanksgiving Break |
Nov 26 Thanksgiving Break |
Nov 27 Thanksgiving Break |
| Nov 30 LEC 23: Reliability: Paper 21 Early Detection of Configuration Errors to Reduce Failure Damage Xu et al. OSDI 2016. Best Paper |
Dec 1 | Dec 2 LEC 24: TBD |
Dec 3 | Dec 4 DUE: Project final presetation and report |
| Dec 7 LEC 25: TBD Class ends |
Dec 8 | Dec 9 | Dec 10 | Dec 11 |
| Dec 14 Final exam |
Dec 15 | Dec 16 | Dec 17 | Dec 18 |