Printer-Friendly
Version
|
Lectures
Week |
Topic |
Print |
01
|
Microkernels and L4
(Introduction)
|
|
02
|
L4 Programming
(Introduction)
|
|
03
|
Caches
(What every OS Designer Must Know)
Papers: [Uhlig et al., 1994]
|
|
04
|
Microkernels
(In a bit more depth)
Papers: [Brinch Hansen, 70], [Liedtke, 95]
|
|
05
|
Virtual Machines
Papers: [Härtig et al., 97], [Barham et al., 03]
|
|
|
Itanium and vNUMA
(Virtualisation Case Study)
|
|
06
|
Microkernel Construction
(Part 1)
|
|
07
|
Microkernel Construction
(Part 2)
|
|
08
|
Hardware / Power Management
Papers: [Weiser et al, 94], [Weissel and Bellosa, 02], [Zeng et al, 02]
|
|
09
|
SMP/SMT
Why Threads Are A Bad Idea
Mac OS X's IOKit
Threading
Papers : [Mellor-Crummey 91]
[Volp 02]
[Behren
et al, 03]
|
|
10
|
Comparison of OS Designs! a>
|
11
|
Security
(An Advanced Introduction)
|
|
12
|
Real Time
(Systems Issues, Part 1)
Papers: [Burns et al., 95]
[ Sha et al., 90]
[Heidmann]
|
|
13
|
Real Time
(Systems Issues, Part 2)
Byzanthine Generals Problem
Papers: [Brandt et al., 05]
[
Lamport et al. 82]
|
\
|
14
|
Local Systems R&D
(and opportunities for students)
|
|
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 PDF slides which I use in lectures (note
that these are unsuitable for printing);
- the PostScript or PDF symbol is linked to an 6-up or 8-up version
suitable for printing.
Last modified:
02 Nov 2006.
|