| Week |
Topic |
Print |
|
01
|
Microkernels and L4
(Introduction)
|
|
|
02
|
L4 Programming
(OKL4 API in detail)
|
|
|
03
|
Microkernels
(In a bit more depth)
Papers:
[Brinch Hansen, 1970],
[Chen & Bershad, 1993]
[Liedtke, 1995]
[Härtig et al., 1997]
[Fleisch et al., 1998]
[Schach et al., 2002]
|
|
|
04
|
Caches
(What every OS Designer Must Know)
Papers:
[Clark, Emer 1985],
[Uhlig et al. 1994],
[Wiggins 2003]
Book:
[Schimmel 1994]
|
|
|
05
|
Thread Models Recap
|
|
|
|
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]
|
|
|
|
Kernel Thread Construction Alternatives
(continuation-based and stateless kernels)
|
|
|
06
|
Security
(An advanced introduction)
[Arbaugh et al. 1997],
[DoD 1986]
[Shapiro and
Weber 2000]
|
|
|
07
|
Dynamic Memory I
|
|
|
|
Dynamic Memory II
|
|
|
08
|
Microkernel Construction 1
(A look at some small kernel construction issues)
|
|
|
|
Microkernel Construction 2
|
|
|
09
|
Real Time Systems
|
|
|
10
|
Towards a Practical, Verified Kernel
Paper: [Elphinstone et al., 2007]
|
|
|
|
Kernel Design for Isolation and Assurance of Physical Memory
Paper: [Elkaduwe et al., 2008]
|
|
|
11
|
Virtual Machines
[Barham et al., 2003],
[Waldspurger, 2002],
[Adams and Agesen, 2006]
|
|
|
12
|
Multiprocessing Issues
[Anderson, 1990]
|
|
|
|
Local R&D Overview
|
|