Printer-Friendly
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]
|
|
04
|
Performance Evaluation
[Fleming and
Wallace, 1986]
[Gernot's
Benchmarking Crimes]
|
|
05
|
Microkernel Design
(with focus on seL4)
Papers: [Liedtke 1993],
[Liedtke 1995],
[Blackham et al. 2012],
[Elphinstone &Heiser 2013]
|
|
06
|
Scalability and Linux Internals
Papers: [Schimmel 1994],
[McKenney et al. 2002]
|
|
07
|
Security
[Watson et al., 2010],
[Roesner et al., 2012],
[Murray et al., 2013]
|
|
08
|
Virtual Machines
[Barham et al., 2003],
[Waldspurger, 2002],
[Ben-Yehuda et al., 2010]
|
|
09
|
Real-Time Systems
[Liu, 2000]
|
|
10
|
SMP and Locking
[Anderson, 1990],
[Clements et al. 2013]
|
|
11
|
Multiprocessors 2,
Drawbridge
[Porter et al., 2011]
|
|
12
|
Local Systems Research
[Klein et al., 2009]
|
|
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:
25 Oct 2013.
|