Lectures

Week	Topic	Print
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:

1. the "topic" is linked to PDF slides which I use in lectures (note that these are unsuitable for printing);
2. the PostScript or PDF symbol is linked to an 6-up or 8-up version suitable for printing.