Lectures
Times and locations
| Day | Weeks | Start | End | Location |
|---|---|---|---|---|
| Tuesday | 1–5,7–10 | 16:00 | 18:00 | H13 Lawrence Theatre (K-H13-G001) |
| Thursday | 1–5,7–10 | 15:00 | 17:00 | Civil Engineering G1 (K-H20-G1) |
Slides and Video
| Week | Day | Lecturer | Topic | Video | Slides |
|---|---|---|---|---|---|
| 1 | Tue | Gernot |
Introduction
(Microkernels and seL4)
Assumed knowledge: |
|
|
| 1 | Thu | Gernot | seL4 API and usage |
|
|
| 2 | Tue | Gernot |
OS Execution Models Events, Co-routines, Continuations, Threads Paper: [von Behren et al., 2003] |
|
|
| 2 | Thu | Kurt |
Hardware considerations – Caches and Devices (What every OS designer must know) |
|
|
| 3 | Tue | Peter |
Unix and Linux Internals
Papers: [McKenney, 2004], [McKenney et al 2002], [Ritchie & Thompson, 1974] |
|
|
| 3 | Thu |
Anna (Apple) |
Real-Time Systems Introduction Book: [Liu, 2000] Paper: [Lyons et al., 2018] |
|
|
| 4 | Tue | Gernot |
Multicore, Memory Ordering and Locking Paper: [Mellor-Crummey & Scott, 1991] |
|
|
| 4 | Thu | Gernot |
Virtual Machines
(Introduction and principles)
Assumed knowledge: Papers: [Barham et al., 2003], [Waldspurger, 2002] |
|
|
| 5 | Tue | Gernot |
Performance Measurement and Analysis Paper: [Fleming & Wallace, 1986] Other: [Gernot's List of Benchmarking Crimes] |
|
|
| 5 | Thu | Gernot |
Microkernel Design and Implementation
(with focus on seL4) Papers: [Liedtke, 1993], [Liedtke, 1995], [Heiser & Elphinstone, 2016] |
||
| 6 | Tue | – – | Flex week – no lecture | – – | – – |
| 6 | Thu | – – | Flex week – no lecture | – – | – – | The schedule for future lectures is tentative and subject to change! |
| The icon for the video indicates accessibility: | |
|---|---|
|
publicly accessible |
|
available to enrolled students |