|
Tentative Schedule
Week 0 |
Thu 9/23 |
Course introduction, x86 assembly |
Week 1 |
Tue 9/28 |
x86 assembly and memory management
|
|
Thu 9/30 |
Operating system bugs
"Debugging in the (Very) Large: Ten Years of Implementation and Experience", Kirk Glerum, Kinshuman Kinshumann, Steve Greenberg, Gabriel Aul, Vince Orgovan, Greg Nichols, David Grant, Gretchen Loihle, and Galen Hunt, Proc. 22nd SOSP, Oct. 2009
Further reading on OS bug finding:
|
Week 2 |
Tue 10/5 |
No class |
|
Thu 10/7 |
Virtual memory
Further reading on garbage collection and virtual memory:
|
|
Fri 10/8 |
|
Week 3 |
Tue 10/12 |
Virtual memory and virtual machines
Further reading on VMM page sharing:
"Difference Engine: Harnessing Memory Redundancy in Virtual Machines", Diwaker Gupta, Lee, Michael Vrable, Stefan Savage, Alex C. Snoeren, George Varghese, Geoffrey M. Voelker, and Amin Vahdat, Proc. 8th OSDI 2008, Dec. 2008
Further reading on Disco:
|
|
Thu 10/14 |
Virtual machine designs
"Xen and the Art of Virtualization", Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, and Andrew Warfield, Proc. 19th SOSP, Oct. 2003, pp.164-177
|
Week 4 |
Tue 10/19 |
Operating systems interfaces: Unix
|
|
Thu 10/21 |
Kernel design: exokernels
Further reading on exokernels:
"Application Performance and Flexibility on Exokernel Systems", M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, David Mazières, Thomas Pinckney, Robert Grimm, John Jannotti, and Kenneth Mackenzie, Proc. 17th SOSP, Oct. 1997, pp.52-65
|
|
Fri 10/22 |
|
Week 5 |
Tue 10/26 |
Kernel design: microkernels
|
|
Thu 10/28 |
Scheduling
|
Week 6 |
Tue 11/2 |
Test 1 |
|
Thu 11/4 |
Synchronization I
|
|
Fri 11/5 |
|
Week 7 |
Tue 11/9 |
Synchronization II
"Read-Copy Update", Paul E. McKenney, Jonathan Appavoo, Andi Kleen, Orran Krieger, Rusty Russell, Dipankar Sarma, and Maneesh Soni, Proc. Ottawa Linux Symposium 2001
This lecture will focus on read-copy-update, an interesting technique for fast concurrency management in multiprocessors. You can also glance through the talk and/or the articles below to get a feeling for RCU's goals.
A paper on transactional memory:
|
|
Thu 11/11 |
Veterans Day Holiday |
Week 8 |
Tue 11/16 |
File systems
|
|
Thu 11/18 |
Distributed systems
|
|
Fri 11/19 |
|
Week 9 |
Tue 11/23 |
TBA |
|
Thu 11/25 |
Thanksgiving Holiday |
Week 10 |
Tue 11/30 |
Security & the OS interface
|
|
Thu 12/2 |
Test 2 |
Finals Week |
Fri 12/10 |
Lab 5 due (no extensions) |
Back to CS 235 Advanced Operating Systems
|