Printer-Friendly
Version
|
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]
|
|
|
The schedule for future lectures is tentative and subject to change!
References in square brackets are recommended readings from the papers list.
All lecture notes are
available in two formats:
- the "topic" is linked to full-size PDF slides suitable for on-screen
viewing;
- the PostScript or PDF symbol is linked to an 6-up or 4-up version
suitable for printing.
Last modified:
23 Oct 2017.
|