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
|
Anna
|
Real-Time Systems
Book: [Liu, 2000]
Papers: [Lyons_MAH_18]
|
|
|
05
|
Gernot
|
Virtual Machines
Papers: [Barham et al., 2003],
[Waldspurger, 2002],
[Dall & Nieh, 2014] |
|
|
06
|
Gernot
|
Performance Evaluation
(measuring and analysing)
Paper: [Fleming &
Wallace, 1986]
Other: [Gernot's
Benchmarking Crimes]
|
|
|
07
|
Gernot
|
Microkernel Design &
Implementation
(with focus on seL4)
Papers: [Liedtke, 1993],
[Liedtke, 1995],
[Blackham et al., 2012],
[Heiser & Elphinstone, 2016]
|
|
|
08
|
Kevin
|
SMP and Locking
Papers: [Anderson, 1990],
[Clements et al. 2013]
|
|
|
09
|
Gernot
|
OS Security
Miller, 2003]
|
|
|
10
|
Peter
|
Linux Internals
Papers: [McKenney, 2004],
[McKenney
et al 2009],
[Ritchie & Thompson, 1974]
|
|
|
11
|
Ihor
|
Multiprocessors
Paper: [Porter et al., 2011]
|
|
|
12
|
N/A
|
Buffer
|
|
|
13
|
Gernot
|
Exam preparation and
Local Systems Research
Papers: [Klein et al., 2014],
[Amani et al., 2016],
[Shen & Elphinstone, 2015]
[Klein et al., 2018],
|
|
|