Lectures

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

1. the "topic" is linked to full-size PDF slides suitable for on-screen viewing;
2. the PostScript or PDF symbol is linked to an 6-up or 4-up version suitable for printing.