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 |
|---|---|---|---|
18.06.2009 |
Memory Management Service - Memory Management Server | ||
21.04.2009 |
Jan Stoess |
Introduction | |
14.05.2009 |
Jan Stoess |
Debugging on L4 | |
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 | |
30.04.2009 |
Jan Stoess |
L4 API Crash Course Part II | |
02.06.2009 |
Jan Stoess |
Threads and Scheduling | |
09.06.2009 |
Jan Stoess |
Memory Management | |
16.06.2009 |
Jan Stoess |
Device Drivers | |
19.05.2009 |
Jan Stoess |
Project Kittyhawk of IBM Research | |
23.04.2009 |
Jan Stoess |
L4 API Crash Course Part I | |
28.04.2009 |
Jan Stoess |
Communication | |
26.05.2009 |
Philipp Kupferschmied |
File Systems | |
04.06.2009 |
SD Group 2: Stefan Braehler, Martin Kiefel |
Task Service Design - Taskservice | |
28.05.2009 |
SDI Group 4: Martin Riedlberger, Tobias Modschiedler |
Name Service Design - Namensdienst für SDI-OS | |
18.06.2009 |
SDI Group 5: Felix Palmen, Alexander Roeckel |
Device Service Design - Design and Interfaces of a Device Service for L4 SDI OS | |
04.06.2009 |
SDI Group 6: Till Schuberth, Victor van Santen |
File Service Design - Filesystemserver | |
28.05.2009 |
SDI Group 7: Fabian Sperber, Martin Ritter |
Name Service Design - Naming |
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.