Screen Version

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, 70], [Liedtke, 95]
05	Virtual Machines Papers: [Härtig et al., 97], [Barham et al., 03]
	Itanium and vNUMA (Virtualisation Case Study)
06	Microkernel Construction (Part 1)
07	Microkernel Construction (Part 2)
08	Hardware / Power Management Papers: [Weiser et al, 94], [Weissel and Bellosa, 02], [Zeng et al, 02]
09	SMP/SMT Why Threads Are A Bad Idea Mac OS X's IOKit Threading Papers : [Mellor-Crummey 91] [Volp 02] [Behren et al, 03]
10	Comparison of OS Designs
11	Security (An Advanced Introduction)
12	Real Time (Systems Issues, Part 1) Papers: [Burns et al., 95] [ Sha et al., 90] [Heidmann]
13	Real Time (Systems Issues, Part 2) Byzanthine Generals Problem Papers: [Brandt et al., 05] [ Lamport et al. 82]	\
14	Local Systems R&D (and opportunities for students)

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.