Microkernel Construction

TOPICS

This lecture focuses on current developments in the area of 2nd generation microkernels. After introducing microkernel-based operating systems we look into the design and implementation issues of the mechanisms of modern real-life microkernels. Practical exercises give hands-on-experience to the topics covered in this lecture. Requiered skills for this lecture include the basic knowledge of Linux and programming skills of C/C++ language.

Lectures and Exercises in SS 2011

• [07.04] Motivation and Introduction
• [14.04] Address Spaces, Threads and Thread Switching
• [21.04] Kernel Entry / Exit
• [28.04] Inter-Process Communication (IPC)
• [05.05] Scheduling
• [12.05] Synchronization
• [19.05] Address-Space Management
• [26.05] Portability
• [09.06] Platform-Specific Optimizations
• [23.06] Virtualization
• [30.06] Exercise 1
• [07.07] Exercise 2
• [14.07] Exercise 3

Slides

1. Introduction
2. Threads and Address Spaces
3. Kernel Entry and Exit
4. Inter-Process Communication
5. Scheduling
6. Synchronization
7. Address-Space Management (additional pictures)
8. Portability
9. Optimizations
10. Virtualization

Additional Documentation

Operating System Basics:

• Modern Operating Systems: Andrew S. Tanenbaum (OS Concepts, OS Structures, Virtual Memory)

• L4 V.2 Specification (PS)
• Fiasco.OC microkernel

Practical Exercises

• Jun. 30 slides and code - download, extract, make and make run. today's solution
• Jul. 07 slides and code - download, extract ... you know. today's solution
• Jul. 14 slides and code - ... you know. today's solution

Organizational

Term: SS2010
Date: Thursday, 4th block
Room: INF/E08
Room for practical Exercises: INF/E69
Credits: 3
SWS: 2 (2/0/0)

Mailinglist

There is a mailing list for discussion/questions/etc. as well as short term notices on the lecture.
Please subscribe to the mailing list when visiting the lecture.
Note: We accept only TU-Dresden E-mail addresses (*.tu-dresden.de)!

Archive of previous semesters: WS2003/04, WS2004/05, WS2005/06 SS2007 SS2008 SS2009 SS2010