| Week | Lectures | Chapter and/or Papers |
|---|---|---|
| 0 | (no class) | |
| Course Introduction | ||
| 1 | OS Architectures | SS1; OS not Faster?; Arch&OS(2); Mach, Amoeba, Plan9, NT |
| OS Architectures & Extensibility | uKerPerf(2) | |
| 2 | OS Extensibility | UNIX-NT;SPIN;Exokernel;Fluke;SLIC |
| Synchronization and Deadlocks | SS2-3; Revisiting Kernel Synchronization | |
| 3 | Distributed OS Architecture Theoretical Foundations | SS4, SS5;Lamport's Time; |
| Agreement Protocols | SS8; Chandy's Snapshots | |
| 4 | File Systems Performance CS201 Seminar: Petal & Frangipani | Unix disk; FFS; LFS; RAID; Zebra; Serverless |
| Extensibility in File Systems | Flash; Pageable;Layers | |
| 5 | Failure Recovery | SS12 |
| Fault Tolerance | SS13; IEEE 4/97; Gray(2) | |
| 6 | Security & Protection/Encapsulated Environments | SS14 |
| Encryption | SS15 | |
| 7 | (no class--work on midterm) | |
| (no class--work on midterm) | ||
| 8 | Predictive Methods in Operating Systems (Reiher) | |
| Thanksgiving HOLIDAY | ||
| 9 | Multiprocessor Operating Systems | SS16-17 |
| Database OS/Concurrency Control Theory | SS18-19 | |
| 10 | Concurrency Control Algorithms | SS20 |
| Hot Topics |