Home Teaching Research Publications

Summer 2021: Advanced Operating Systems (LV 7680) -- Master Information Science

News

07-Apr-2021 Corona: Video and audio materials online
We are looking at another "hybrid" semester with lectures as well as lab sessions on-line. To this end, I am preparing video streams of the lecture to be made available on the Amigo platform. Some slidesets are already available there, more will follow. The corresponding audio tracks are available here on this website (see audio links below) Lectures start

07-Apr-2021 Beginning of lectures and lab sessions
Lectures start on 19-Apr-21, 10:00, Lab sessions will start a week later, i.e. 20-Apr-21, 11:45. Due to the pandemic, lectures as well as lab sessions will have to be virtual until further notice. See ZAPP for links to the appropriate BBB rooms.

18-Apr-2021 Distribution of ODROIDKits
The ODROID C2 Kits needed for the lab sessions will be distributed on Monday, April 19 between 14:00 and 17:00. Details to be announced in the lecture. If possible, go pick your kit on monday afternoon.

Time Schedule

Beginning:19-Apr-2021
Tech discussions:(see later)

Slides

(video)(video)(video)(video)(video)
ChapterTitleRecommended reading
0 Prefix
by Robert Kaiser, HSRM
(slides) (audio) (video)
1 Introduction (Microkernels and seL4)
by Gernot Heiser, UNSW
(slides) (handout) (audio) (video)
2 seL4 API and Usage
by Gernot Heiser, UNSW
(slides) (handout) (audio) (video)
3 OS execution models
by Kevin Elphinstone, UNSW
(slides) (handout) (audio) (video)
Why threads are a bad idea (for most purposes)
by John Ousterhout, Sun Microsystems Labs
(slides) (handout) (audio) (video)
Why events are a bad idea (for high-concurrency servers)
by Rob von Behren et al, UCB
(slides) (handout) (audio) (video)
[von Behren et al., 2003]
4 Caches (What every OS designer must know)
by Gernot Heiser, UNSW
(slides) (handout) (audio)
[Clark, Emer 1985]
[Uhlig et al. 1994]
[Wiggins 2003]
[Schimmel 1994]
5 Virtual Machines
by Gernot Heiser, UNSW
(slides) (handout) (audio)
[Barham et al., 2003]
[Waldspurger, 2002]
[Dall and Nieh, 2013]
6 Performance Measurement and Analysis
by Gernot Heiser, UNSW
(slides) (handout) (audio)
[Fleming and Wallace, 1986]
[Gernot's Benchmarking Crimes]
7 Real-Time Systems Introduction
by Gernot Heiser, UNSW
(slides) (handout) (audio)
[Liu, 2000]
[Lyons et al., 2018]
8 Microkernel Design and Implementation (with focus on seL4)
by Gernot Heiser, UNSW
(slides) (handout) (audio)
[Liedtke 1993]
[Liedtke 1995]
[Blackham et al. 2012]
[Heiser & Elphinstone 2016]
9 Security Fundamentals
by Toby Murray and Gernot Heiser, UNSW
(slides) (handout) (audio)
[Miller et al, 2003]
10 Information Leakage (timing channels and speculation)
by Gernot Heiser, UNSW
(slides) (handout) (audio)
[Liu et al., 2015]
[Lipp et al., 2018]
[Kocher et al., 2019]
11 Formal Verification and seL4
by Gernot Heiser, UNSW
(slides) (handout) (audio)
[Klein et al., 2014]
[Heiser 2020]
12 UNIX and Linux Internals
by Peter Chubb, DATA61
(slides) (handout) (audio)
[McKenney, 2004]
[McKenney et al., 2002]
[Ritchie and Thompson, 1974]
13 SMP and Locking 1
by Kevin Elphinstone, UNSW
(slides) (handout) (audio)
[Anderson, 1990]
[Clements et al., 2013]
14 SMP and Locking 2
by Kevin Elphinstone, UNSW
(slides) (handout) (audio)
15 Multicore Operating Systems
by Ihor Kuz, UNSW
(slides) (handout) (audio)
16 Local OS Research (Having fun with seL4 and beyond)
by Gernot Heiser, UNSW
(slides) (handout) (audio)
[Biggs et al., 2018]
[Amani et al., 2016]
[Ge et al., 2019]
[Shen et al., 2019]
[Klein et al., 2018]

Lab sessions: Topics to discuss and lecture feedback questions

  1. Session #1