Below is the calendar for this course. This is the preliminary schedule, which may be altered as the term 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).
| Date | Topic | Lecture | Assignments | Presenter |
| 1/17 |
|
|
C4: Efficient Reading of Papers in Science and Technology |
|
| 1/19 |
|
|
|
|
| 1/22 |
|
|
C4: "The nucleus of a multiprogramming system" (Comm. ACM '70) |
|
| 1/24 |
|
|
|
|
| 1/26 |
|
|
|
|
| 1/29 |
|
|
C4: "Reflections on an operating system design" (Comm. ACM '75) C4: "The structuring of systems using upcalls" (SOSP'85) |
|
| 1/31 |
|
|
|
|
| 2/02 |
|
|
MP1 Out! |
|
| 2/05 |
|
|
|
|
| 2/07 |
|
|
|
|
| 2/09 |
|
|
|
|
| 2/12 |
|
|
C4: "Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism" (Trans. Comp. Sys. '92) C4: "The Linux Scheduler: a Decade of Wasted Cores" (EuroSys'16) |
|
| 2/14 |
|
|
|
|
| 2/16 |
|
|
|
|
| 2/19 |
|
|
C4: "The Multics Virtual Memory: Concepts and Design" (Comm. ACM'72) |
|
| 2/21 |
|
|
|
|
| 2/23 |
|
|
|
|
| 2/26 |
|
|
C4: "Difference Engine: Harnessing Memory Redundancy in Virtual Machines" (OSDI'08) |
|
| 2/28 |
|
|
|
|
| 3/02 |
|
|
|
|
| 3/05 |
|
|
C4: A retrospective on the VAX VMM security kernel (IEEE TOSE '91) |
|
| 3/07 |
|
|
|
|
| 3/09 |
|
|
|
|
| 3/12 |
|
|
C4: "Are virtual-machine monitors microkernels done right?" (ACM SIGOPS '06) |
|
| 3/14 |
|
|
|
|
| 3/16 |
|
|
|
|
| 3/19 |
|
|
|
|
| 3/21 |
|
|
|
|
| 3/23 |
|
|
|
|
| 3/26 |
|
|
C4: The design and implementation of a log-structured file system (TOCS'92) C4: An Implementation of A Log-Structured File System for UNIX (USENIX '93) MP3 Out! |
|
| 3/28 |
|
|
|
|
| 3/30 |
|
|
|
|
| 4/02 |
|
|
|
|
| 4/04 |
|
|
|
|
| 4/06 |
|
|
|
|
| 4/09 |
|
|
|
|
| 4/11 |
|
|
|
|
| 4/13 |
|
|
|
|
| 4/16 |
|
|
C4: Analyzing Integrity Protection in the SELinux Example Policy (USENIX Security '03) |
|
| 4/18 |
|
|
|
|
| 4/20 |
|
|
|
|
| 4/23 |
|
|
|
|
| 4/25 |
|
|
|
|
| 4/27 |
|
|
|
|
| 4/30 |
|
|
|
|
| 5/02 |
|
|
|
|
| 5/04 |
|
|
|
|
| 5/07 |
|
|
|
|