Screen Version

Lectures

Week	Topic	Print
01	Introduction (Microkernels and seL4)
02	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] Lecture recording
04	Performance Evaluation [Fleming and Wallace, 1986] [Gernot's Benchmarking Crimes]
05	SMP and Locking [Anderson, 1990], [Clements et al. 2013] Lecture recording
06	Virtual Machines [Barham et al., 2003], [Waldspurger, 2002], [Dall & Nieh, 2014] Lecture recording
07	Microkernel Design (with focus on seL4) Papers: [Liedtke 1993], [Liedtke 1995], [Blackham et al. 2012], [Elphinstone &Heiser 2013]
08	Linux Papers: [McKenney 2004], [McKenney et al 2009], [Ritchie & Thompson 1974]
09	Real-Time Systems [Liu, 2000]
10	Multiprocessors 2, Drawbridge [Porter et al., 2011]
11	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.