Lectures
Times and locations
Day | Weeks | Start | End | Location |
---|---|---|---|---|
Wednesay | 1–5, 7–10 | 9:00 | 11:00 | Webster Theatre B (K-G15-290) & Online |
Thursday | 1–5, 7–10 | 16:00 | 18:00 | Webster Theatre A (K-G15-190) & Online |
Slides and Video
Week | Day | Lecturer | Topic | Video | Slides |
---|---|---|---|---|---|
1 | Wed | Gernot | Introduction (Microkernels and seL4) | ||
1 | Thu | Gernot | seL4 API and usage | ||
2 | Wed | Kevin | OS Execution Models | ||
2 | Thu | Kevin |
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] |
|
|
3 | Wed | Gernot |
Caches
(What every OS designer must know) Papers: [Clark & Emer 1985], [Uhlig et al., 1994], [Wiggins, 2003] Book: [Schimmel, 1994] |
||
3 | Thu | Gernot |
Virtual Machines
(Introduction and principles) Papers: [Barham et al., 2003], [Waldspurger, 2002] |
||
4 | Wed | Gernot |
Performance Measurement and Analysis Paper: [Fleming & Wallace, 1986] Other: [Gernot's List of Benchmarking Crimes] |
||
4 | Thu | Gernot |
Real-Time Systems Introduction Book: [Liu, 2000] Papers: [Lyons et al., 2018] | ||
5 | Wed | Peter |
Unix and Linux Internals Papers: [McKenney, 2004], [McKenney et al 2009], [Ritchie & Thompson, 1974] |
||
5 | Thu | Gernot |
Security Fundamentals Reference: [Miller et al., 2003] [Jaeger, 2008] [Bos, 2019] |
||
6 | Wed | – – | Flex week – no lecture | – – | – – |
6 | Thu | – – | Flex week – no lecture | – – | – – |
7 | Wed | Kevin |
SMP and Locking 1 Papers: [Anderson, 1990], [Clements et al. 2013] |
||
7 | Thu | Kevin | SMP and Locking 2 | ||
8 | Wed | Ihor | Multicore Operating Systems | ||
9 | Wed | Gernot |
Secure Operating Systems Information Leakage (timing channels and speculation) Papers: [Liu et al., 2015], [Lipp et al., 2018], [Kocher et al., 2019] |
||
9 | Thu | Gernot |
Microkernel Design and Implementation
(with focus on seL4) Papers: [Liedtke, 1993], [Liedtke, 1995], [Heiser & Elphinstone, 2016] |
||
10 | Wed | Gernot |
Formal Verification and seL4 Papers: [Klein et al., 2014], [Sewell et al., 2017], [Heiser 2020] |
||
10 | Thu | Gernot | Exam preparation (0.5h) | – – | |
10 | Thu | Gernot |
Local OS Research (1.5h) Having fun with seL4 and beyond [Biggs et al., 2018], [Amani et al., 2016], [Ge et al., 2019], [Klein et al., 2018] |
References in square brackets are recommended readings from the papers list.
The icon for the video indicates accessibility: | |
---|---|
accessible to UNSW staff and students | |
freely accessible on the UNSW CSeLearning COMP9242 YouTube channel |