Week | Topic | |
01 | Microkernels and L4 (Introduction) | |
02 | L4 Programming (Introduction) | |
03 |
Caches
(What every OS Designer Must Know) Papers: [Uhlig et al., 1994] |
|
04 |
Microkernels
(In a bit more depth) Papers: [Brinch Hansen, 1970], [Liedtke, 1995] |
|
05 |
Virtual Machines Papers: [Härtig et al., 1997], [Barham et al., 2003] |
|
06 |
Security
(An Advanced Introduction) Papers: [Arbaugh et al., 1997] |
|
08 |
Hardware / Power Management Papers: [Weiser et al, 94], [Weissel and Bellosa, 02], [Zeng et al, 02] |
|
10 |
Byzantine Generals Problem Papers: [Lamport et al., 1982] |
|
Farsite Papers: [Adya et al., 2002] |
||
Why threads are a bad idea! | ||
Why events are a bad idea! Papers: [von Behren et al., 2003] |
||
11 | Microkernel Construction (Part 1) | |
Microkernel Construction (Part 2) | ||
12 | Real Time Systems | |
13 | Exam Scheduling Notes | |
Backtracking Instrusions Papers: [King and Chen, 2003] |
||
Taser Intrusion Recovery Papers: [Goel et al., 2005] |
||
File System Workloads |
References in square brackets are recommended readings from the papers list.
All lecture notes are available in two formats: