Lectures

Week	Lecturer	Topic	View	Print
01	Gernot	Introduction (Microkernels and seL4)
02	Kevin	OS Execution Models
		Why Threads are a Bad Idea (for most purposes)
		Why Events are a Bad Idea (for high-concurrency servers) Paper: [von Behren et al., 2003]
03	Gernot	Caches (What every OS designer must know) Papers: [Clark & Emer 1985], [Uhlig et al., 1994], [Wiggins, 2003] Book: [Schimmel, 1994]
04	Gernot	Virtual Machines Papers: [Barham et al., 2004], [Waldspurger, 2002], [Dall & Nieh, 2014]
05	Kevin	SMP and Locking Papers: [Anderson, 1990], [Clements et al. 2013]
06	Gernot	Real-Time Systems Book: [Liu, 2000]
07	Gernot	Performance Evaluation (measuring and analysing) Paper: [Fleming & Wallace, 1986] Other: [Gernot's Benchmarking Crimes]
08	Gernot	OS Security Papers: [Miller, 2003], [Watson et al., 2008]
09	Gernot	Microkernel Design & Implementation (with focus on seL4) Papers: [Liedtke, 1993], [Liedtke, 1995], [Blackham et al., 2012], [Heiser & Elphinstone, 2016]
10	Peter	Linux Internals Papers: [McKenney, 2004], [McKenney et al 2009], [Ritchie & Thompson, 1974]
11	Ihor	Multiprocessors Paper: [Porter et al., 2011]
12	Gernot	Exam preparation and Local Systems Research Papers: [Klein et al., 2014], [Amani et al., 2016], [Shen & Elphinstone, 2015]

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.