System Design and Implementation
- Type: Lecture
- Chair: System Architecture
- Semester: ST 2009
-
Place:
SR -134 (Bldg. 50.41 (AVG), UG)
-
Time:
Tuesday, 17.30 - 19.00
-
Lecturer:
Prof. Dr. Frank Bellosa, Jan Stoess
| Date | Speaker | Title | Source |
|---|---|---|---|
21.04.2009 |
Jan Stoess |
Introduction | |
23.04.2009 |
Jan Stoess |
L4 API Crash Course Part I | |
28.04.2009 |
Jan Stoess |
Communication | |
30.04.2009 |
Jan Stoess |
L4 API Crash Course Part II | |
05.05.2009 |
Jan Stoess |
Kernel and Operating System Interfaces | |
07.05.2009 |
Jan Stoess |
Stub Code Generation with IDL4 | |
12.05.2009 |
Jan Stoess |
Naming in a Multiserver OS | |
14.05.2009 |
Jan Stoess |
Debugging on L4 | |
19.05.2009 |
Jan Stoess |
Project Kittyhawk of IBM Research | |
26.05.2009 |
Philipp Kupferschmied |
File Systems | |
28.05.2009 |
SDI Group 4: Martin Riedlberger, Tobias Modschiedler |
Name Service Design - Namensdienst für SDI-OS | |
28.05.2009 |
SDI Group 7: Fabian Sperber, Martin Ritter |
Name Service Design - Naming | |
02.06.2009 |
Jan Stoess |
Threads and Scheduling | |
04.06.2009 |
SDI Group 6: Till Schuberth, Victor van Santen |
File Service Design - Filesystemserver | |
04.06.2009 |
SD Group 2: Stefan Braehler, Martin Kiefel |
Task Service Design - Taskservice | |
09.06.2009 |
Jan Stoess |
Memory Management | |
16.06.2009 |
Jan Stoess |
Device Drivers | |
18.06.2009 |
SDI Group 5: Felix Palmen, Alexander Roeckel |
Device Service Design - Design and Interfaces of a Device Service for L4 SDI OS | |
18.06.2009 |
Memory Management Service - Memory Management Server |
Contents
| During this hands-on course small teams (2-3) of students design and build their own little multi-server operating systems on top of the L4Ka::Pistachio microkernel. Among the goals is to gain practical experience in the design and implementation of a large software project within a team. |
| SDI lecture focuses on different "building blocks" of operating systems (e.g., communication, multi-tasking/-processing, virtual memory management, file services) and presents examples and case-studies found in contemporary operating systems. It is (mandatorily) combined with the SDI lab, which gives the students the opportunity to design (and later implement), team wise, their own little multi-sever operating system on top of the L4Ka::Pistachio microkernel. Once we have introduced build environment, tools, and example code, we will focus on incorporating the building blocks from lecture into our to-be-designed OS, and have each team present their own design ideas for one particular aspect. Subsequent lab slots are reserved for implementation. |
Organization
We offer access to development machines and test infrastructure in room 149. Tutors will provide help (times subject to negotiation). Expect several hours of work per week to have a working implementation by the end of the course.
Prerequisites
You attended the lecture System Architecture; so you should have a good understanding of OS concepts. Having attended the lecture Microkernel Construction is certainly helpful, but the initial L4 crash course will be enough to get you started. However, attending Microkernel Construction is recommended to understand the details of in-kernel Whys and Hows. During the course you will write C or C++ code. Basic programming skills in C will do; C++ is fine, too.