Week | Topic | |
01 | Introduction (Microkernels and seL4) | |
02 | Postscript to seL4 | |
Caches
(What every OS designer must know) Papers: [Clark, Emer 1985], [Uhlig et al. 1994], [Wiggins 2003] Book: [Schimmel 1994] |
||
03 | OS Execution Models | |
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] |
||
Static Analysis of Device Drivers: We Can Do Better |
||
04 |
Virtual Machines
[Barham et al., 2003], [Waldspurger, 2002], [Adams and Agesen, 2006] |
|
05 |
Device Drivers [Swift et al. 2003] [Leslie et al. 2005] |
|
Automatic Device Driver Synthesis with Termite |
||
06 |
Performance Evaluation [Fleming and Wallace, 1986] |
|
07 |
Multiprocessing |
|
Multiprocessing 2 |
||
08 |
Linux Internals |
|
Power Management |
||
09 | Microkernel Design (with focus on seL4) | |
10 |
Hot topics in OS research [Porter et al., 2011] [Ben-Yehuda et al., 2010] [Fähndrich et al., 2006] |
|
11 |
Local systems research [Klein et al, 2009] [Blackham et al, 2011] |
|
12 |
Security |
References in square brackets are recommended readings from the papers list.
All lecture notes are available in two formats: