CPSC 722a: Advanced Systems Topics, Fall 2009
Instructor: Bryan Ford (AKW 211)
Course materials
For readings:
review form and
sample review and
Reading schedule
- Week 0: no meetings
- Week 1: Getting Started
- Week 2: Operating System Structure
- Tue Sep 15: Read this paper:
Liedtke, On Micro-Kernel Construction, SOSP'95
...and one of the following papers (your choice):
- Massalin and Pu, Threads and input/output in the synthesis kernel, SOSP'89
- Bomberger et al, The KeyKOS Nanokernel Architecture, 1992
- Hildebrand, An Architectural Overview of QNX, 1992
- Cheriton, A caching model of operating system functionality, OSDI'94
- Ford et al, Microkernels Meet Recursive Virtual Machines, OSDI'96
- Thu Sep 17: Read these two papers:
Engler, Kaashoek, O'Toole, Exokernel: An operating system architecture for application-level resource management, SOSP'95
David et al, CuriOS: Improving Reliability through Operating System Structure, OSDI'08
- Week 3: Parallel and Multicore Operating Systems
- Week 4: Transactions
- Week 5: Accountability
- Week 6: Accountability
- Week 7: Device Drivers
- Week 8: Presentations
- Week 9:
- Week 10:
- Week 11:
- Week 12: Thanksgiving break
- Week 13: Project Presentations
- Tue Dec 1: Jiewen Huang
- Thu Dec 3: Sen Hu and Xuan Zhang; Ersoy Bayramoglu