Summer 2018: Technical Seminar on Advanced Operating Systems -- Master Information Science
News
- 22.05.18 Meltown/Spectre; the story continues
- more speculative execution based side channel attacks have been disclosed. See here, here and here. (Be sure to look at the acknowledgment section, you may find that you know some of the people named there.)
- 16.05.18 Next meeting: 23.05.2018, 10:15, Room D17
- On 23rd of May, we will have Prof. Dr. Michael Engel of University of Coburg as our guest. He will give a talk on Hardware Abstraction and Virtualization for Specific Use Cases.
- 03.05.18 all PC invitations accepted - PC complete
- All invitees to the programme committee have been accepted. The WAMOS 2018 PC is complete now.
- 27.04.18 Next meeting: 02.05.2018, 9:00 am D17
- The next meeting will be at the date and place given above. Please come up with suggestions on topics you would like to cover in your paper.
- 27.04.18 Next meeting: 02.05.2018, 9:00 am D17
- The next meeting will be at the date and place given above. Please come up with suggestions on topics you would like to cover in your paper.
- 24.04.18 WAMOS open for submissions
- Conference management by easychair is accepted, the workshop is now open for submissions.
Time Schedule
| Beginning of seminar | 18-Apr-2018 |
| WAMOS 2018 Workshop | 09-Aug-2018 |
Materials
The seminar will be about security vulnerabilities found in modern computer architectures such as meltdown and spectre and their impact on the design of microkernel-based systems.Below are links to the materials of the previous AOS lecture.| Chapter | Title | Recommended reading |
| 0 | Prefix by Robert Kaiser, HSRM |
|
| 1 | Introduction (Microkernels and L4) by Gernot Heiser, UNSW (slides) (handout) |
[Hansen 1970] [Engler et al. 1995] |
| 2 |
OS execution models by Kevin Elphinstone, UNSW (slides) (handout) Why threads are a bad idea (for most purposes) by John Ousterhout, Sun Microsystems Labs (slides) (handout) Why events are a bad idea (for high-concurrency servers) by Rob von Behren et al, UCB (slides) (handout) |
[von Behren et al., 2003] |
| 3 | Virtual Machines by Gernot Heiser, UNSW (slides) (handout) |
[Barham et al., 2003] [Waldspurger, 2002] [Dall and Nieh, 2013] |
| 4 | SMP and Locking by Kevin Elphinstone, UNSW (slides) (handout) |
[Anderson, 1990] [Clements et al., 2013] |
| 5 | Performance Evaluation by Gernot Heiser, UNSW (slides) (handout) |
[Fleming and Wallace, 1986] [Gernot's Benchmarking Crimes] |
| 6 | Caches (What every OS designer must know) by Gernot Heiser, UNSW (slides) (handout) |
[Clark, Emer 1985] [Uhlig et al. 1994] [Wiggins 2003] [Schimmel 1994] |
| 7 | Linux by Peter Chubb, DATA61 (slides) |
[McKenney, 2004] [McKenney et al., 2002] [Ritchie and Thompson, 1974] |
| 8 | Real-Time Systems by Stefan Patters and Gernot Heiser, UNSW (slides) (handout) |
[Liu, 2000] |
| 9 | Microkernel Design (with focus on seL4) by Gernot Heiser, UNSW (slides) (handout) |
[Liedtke 1993] [Liedtke 1995] [Blackham et al. 2012] [Elphinstone & Heiser 2013] |
| 10 | OS Security by Toby Murray and Gernot Heiser, UNSW (slides) (handout) |
[Miller et al, 2003] [Watson et al, 2010] |
| 11 | Multiprocessors by Ihor Kuz, UNSW (slides) |
[Porter et al. 2011] |
| 12 | Trustworthy Systems by Gernot Heiser, UNSW (slides) (handout) |
[Klein et al. 2014] [Amani et al, 2016] [Shen and Elphinstone, 2015] |
| 13 | Beyond Microkernels -- Hardware Abstraction and Virtualization for Specific Use Cases by Michael Engel, Coburg University of Applied Sciences (abstract) (slides) |