LV7680 Advanced Operating Systems

Summer 2015: 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	15-Apr-2015

Slides

Chapter	Title	Recommended reading
0	Prefix by Robert Kaiser, HSRM
1	Introduction (Microkernels and L4) by Gernot Heiser, UNSW	[Hansen 1970] [Engler et al. 1995]
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	SMP and Locking by Kevin Elphinstone, UNSW	[Anderson, 1990] [Clements et al., 2013]
6	Virtual Machines by Gernot Heiser, UNSW	[Barham et al., 2003] [Waldspurger, 2002] [Dall and Nieh, 2013]
7	Microkernel Design (with focus on seL4) by Gernot Heiser, UNSW	[Liedtke 1993] [Liedtke 1995] [Blackham et al. 2012] [Elphinstone &Heiser 2013]
8	Linux by Peter Chubb, NICTA	[McKenney, 2004] [McKenney et al., 2002] [Ritchie and Thompson, 1974]
9	Real-Time Systems by Gernot Heiser, UNSW	[Liu, 2000]
10	Multiprocessors II by Gernot Heiser, UNSW	[Porter et al. 2011]
11	Security by Toby Murray and Gernot Heiser, UNSW

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 2015 Workshop

4 - UNSW AOS course

5 - seL4 manual

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

3 - Curt Schimmel: UNIX Systems for Modern Architectures, Addison Wesley, 1994

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.