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 |
| Jan 22 LEC 1: Introduction and overview Class begins |
Jan 23 | Jan 24 LEC 2: Review of undergrad OS basics |
Jan 25 | Jan 26 |
| Jan 29 LEC 3: OS Design: Paper 1 "Exokernel: An Operating System Architecture for Application-Level Resource Management" Engler et al. SOSP 1995. |
Jan 30 | Jan 31 LEC 4: OS Design: Paper 2 "The multikernel: a new OS architecture for scalable multicore systems" Baumann et al. SOSP 2009. |
Feb 1 | Feb 2 LEC 5: Make-up class. No paper due. |
| Feb 5 LEC 6: OS Design: Paper 3 "LegoOS: A Disseminated, Distributed OS for Hardware Resource Disaggregation" Shan et al. OSDI 2018. Best Paper |
Feb 6 | Feb 7 LEC 7: System call: Paper 4: "FlexSC: Flexible System Call Scheduling with Exception-Less System Calls" Soares and Stumm. OSDI 2010. |
Feb 8 | Feb 9 |
| Feb 12 LEC 8: Scheduler: Paper 5 "The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS" Bouron et al. ATC 2018. |
Feb 13 | Feb 14 LEC 9: Concurrency: Paper 6 "Everything You Always Wanted to Know About Synchronization but Were Afraid to Ask" David et al. SOSP 2013. |
Feb 15 | Feb 16 |
| Feb 19 No class |
Feb 20 | Feb 21 LEC 10: Concurrency: Paper 7 "FastTrack: Efficient and Precise Dynamic Race Detection" Flanagan and Freund. PLDI 2009. |
Feb 22 | Feb 23 |
| Feb 26 LEC 11: Concurrency: Paper 8 "Shared Memory Consistency Models: A Tutorial" Adve and Gharachorloo. IEEE Computer 1996. |
Feb 27 | Feb 28 LEC 12: Concurrency: Paper 9 "RCU Usage In the Linux Kernel: Eighteen Years Later" McKenney et al. OS Review 2020 |
Feb 29 | Mar 1 |
| Mar 4 LEC 13: No paper due. |
Mar 5 | Mar 6 Midterm exam |
Mar 7 | Mar 8 |
| Mar 11 Spring Recess |
Mar 12 Spring Recess |
Mar 13 Spring Recess |
Mar 14 Spring Recess |
Mar 15 Spring Recess |
| Mar 18 LEC 14: Memory: Paper 10 "Practical, transparent operating system support for superpages" Navarro et al. OSDI 2002. |
Mar 19 | Mar 20 LEC 15: Memory: Paper 11 "Hoard: A Scalable Memory Allocator for Multithreaded Applications" Berger et al. ASPLOS 2000. |
Mar 21 | Mar 22 LEC 16: Make-up class. |
| Mar 25 LEC 17: File Systems: Paper 12 "Analysis and Evolution of Journaling File Systems" Prabhakaran et al. ATC 2005. |
Mar 26 | Mar 27 LEC 18: File Systems: Paper 13 "The Linux B-Tree Filesystem" Rodeh et al. ACM TOS 2013. |
Mar 28 | Mar 29 |
| Apr 1 LEC 19: File Systems: Paper 14 "Speculative Execution in a Distributed File System" Nightingale et al. SOSP 2005. Best Paper |
Apr 2 | Apr 3 LEC 20: No paper due. |
Apr 4 | Apr 5 |
| Apr 8 LEC 21: Virtualization: Paper 15 "Memory Resource Management in VMware ESX Server" Waldspurger. OSDI 2002. Best Paper |
Apr 9 | Apr 10 LEC 22: Virtualization: Paper 16 "A Comparison of Software and Hardware Techniques for x86 Virtualization" Adams and Agesen ASPLOS 2006. |
Apr 11 | Apr 12 |
| Apr 15 LEC 23: Virtualization: Paper 17 "Virtualizing I/O Devices on VMware Workstation’s Hosted Virtual Machine Monitor" Sugerman et al. ATC 2001. DUE: Project proposal |
Apr 16 | Apr 17 LEC 24: Virtualization: Paper 18 "Xen and Art of Virtualization" Barham et al. SOSP 2003. |
Apr 18 | Apr 19 |
| Apr 22 LEC 25: Reliability: Paper 19 "REPT: Reverse Debugging of Failures in Deployed Software" Cui et al. OSDI 2018. Best Paper |
Apr 23 | Apr 24 LEC 26: No paper due. |
Apr 25 | Apr 26 |
| Apr 29 No class. Work on your project. |
Apr 30 | May 1 No class. Work on your project. |
May 2 | May 3 |
| May 6 DUE: Project final presetation and report |
May 7 | May 8 | May 9 | May 10 |
| May 13 Final exam (8:30 AM - 10:00 AM) |
May 14 | May 15 | May 16 | May 17 |