Week | Topic | |
01 | Microkernels and L4 (Introduction) | |
02 | L4 Programming (OKL4 API in detail) | |
03 |
Microkernels
(In a bit more depth) Papers: [Brinch Hansen, 1970], [Chen & Bershad, 1993] [Liedtke, 1995] [Härtig et al., 1997] [Fleisch et al., 1998] [Schach et al., 2002] |
|
04 | Threads & Events - A recap and closer look | |
Why Threads are a Bad Idea (for most purposes) | ||
Why Events are a Bad Idea
(for high-concurrency servers) Papers: [von Behren et al., 2003] |
||
05 |
Caches
(What every OS Designer Must Know) Papers: [Clark, Emer 1985], [Uhlig et al. 1994], [Wiggins 2003] Book: [Schimmel 1994] |
|
06 |
Virtual Machines
[Barham et al., 2003], [Waldspurger, 2002], [Adams and Agesen, 2006] |
|
07 |
Security
(An advanced introduction) [Saltzer and Schroeder 1975], [Arbaugh et al. 1997], [DoD 1986] [Shapiro and Weber 2000] |
|
08 | Performance Evaluation | |
09 |
Device Drivers [Swift et al. 2003] [Leslie et al. 2005] |
|
10 | Towards Trustworthy Systems | |
11 | OS X Audio | |
12 | Scalability | |
I/O Scheduling |
References in square brackets are recommended readings from the papers list.
All lecture notes are available in two formats: