LV7680 Advanced Operating Systems

Winter 2013/2014: Advanced Operating Systems (LV 7680) -- Master Information Science

News

14.10.13 Lab computers

Some deficiencies of the PCs in the lab should now be fixed:

- Users are now in group "dialout" -> access to tty should now work

- The "dialog" tool (needed for the Fiasco.OC build) is now installed

- The Codesourcery ARM cross toolchain is now installed under /opt/ezbs/arm-2013.05/

Time Schedule

Beginning of lectures	10-Oct-2013

Slides

Chapter	Title	Recommended reading
0	Prefix by Robert Kaiser, HSRM
1	Introduction to Microkernel-based Operating Systems by Björn Döbel, TUD	[Hansen 1970] [Engler et al. 1995]
	Introduction (Microkernels and L4) by Gernot Heiser, UNSW
2	Caches (What every OS designer must know) by Gernot Heiser, UNSW	[Clark, Emer 1985] [Uhlig et al. 1994] [Wiggins 2003]
3	OS execution models by Kevin Elphinstone, UNSW
	Why threads are a bad idea (for most purposes) by John Ousterhout, Sun Microsystems
	Why events are a bad idea (for high-concurrency servers) by Rob von Behren, Jeremy Condit and Eric Brewer, UCB	[von Behren et al., 2003]
4	Performance Evaluation by Gernot Heiser, UNSW	[Fleming and Wallace, 1986] [Gernot's Benchmarking Crimes]
5	Microkernel Design by Gernot Heiser, UNSW	[Liedtke 1993] [Liedtke 1995] [Blackham et al. 2012] [Elphinstone &Heiser 2013]
6	Scalability and Linux Internals by Peter Chubb, NICTA	[McKenney et al. 2002] [Clements et al. 2013]
7	Security by Toby Murray and Gernot Heiser, UNSW
8	Virtual Machines by Gernot Heiser, UNSW	[Barham et al., 2003] [Waldspurger, 2002] [Ben-Yehuda et al., 2010]
9	Real-Time Systems by Gernot Heiser, UNSW	[Liu, 2000]

Project Milestones

M0 - Familiarisation

M1 - A timer driver

M2 - Memory Manager

M3 - A pager

M4 - System call interface

M5 - Implement filesystem

M6 - Demand paging

M7 - Process Management

M8 - ELF loading

M9 - Documentation and final system

Links

1 - AOS wiki

2 - AOS Git repositories

3 - WAMOS 2014 Workshop

4 - UNSW AOS course

Literature

1 - Tanenbaum, A. S.: Modern Operating Systems, 2nd Ed., Prentice-Hall, 2001 (Engl. Originalausgabe)

2 - Stallings: Operating Systems: Internals and Design Principles, Prentice Hall, 2004

Note: The above are standard textbooks on operating systems. There aren't really any books covering the contents of this lecture. Note however, that each set of lecture slides is accompanied by a selection of recommended papers to read.