Komplexpraktikum Mikrokernbasierte Betriebssysteme
| Dozent | Dipl.-Math. Martin Küttler |
| Modul | INF-04-KP, INF-DSE-20-E-ADSE, INF-DSE-20-M-INT, INF-MA-PR, INF-VERT4, MINF-04-KP-FG2 |
| Umfang und Art |
4 SWS Praktikum (Englisch) |
| Turnus | Wintersemester |
| Zeit und Ort | Nach Vereinbarung, online per BBB, Link: https://bbb.tu-dresden.de/rooms/noh-stx-jw8-oz0/join |
| Mailingliste | Bitte mit einer TU-Dresden-Adresse einschreiben |
Inhalt
Das Ziel dieses Praktikums ist die Anwendung von Prinzipien der Konstruktion eines mikrokernbasierten Betriebssystems. Die Aufgabe, eine Pong-Anwendung für zwei Spieler, benutzt dazu den hier an der TU Dresden entwickelten L4-Mikrokern. Während des Praktikums werden mehrere Server, die dafür benötigt werden, entwickelt.
Ausgangspunkt ist ein Pong-Server, der bereits das Spielfeld, einen Ball und zwei Schläger in einem Demo-Modus zur Verfügung stellt. Zu entwickeln sind Clients zur Kontrolle der Schläger per Tastatur. Damit diese funktionieren, müssen unter anderem folgende Dienste implementiert werden:
- Speicherverwaltung
- Tastaturtreiber
- Grafische Konsole
Die Vorlesung Mikrokernbasierte Betriebssysteme vermittelt die theoretischen Grundlagen zum Verständnis der hier genutzten Mechanismen und wird daher begleitend empfohlen. Als vorbereitende Veranstaltung bieten wir das Komplexpraktikum in systemnaher Programmierung an.
Git Quellcode-Archiv: https://os.inf.tu-dresden.de/repo/git/moslab.git (mit "git clone <url>" herunterladen)
Folien (nur in Englisch)
Organisation
- Es finden im Laufe des Semesters Konsultationen zur Diskussion der Lösungen der einzelnen Schritte statt.
- Das Praktikum wird virtuell durchgeführt und beginnt nicht in der ersten Vorlesungswoche. Bitte tragen Sie sich in die Mailing-Liste ein, über die weitere Informationen bereitgestellt werden.
- Weniger Termine als verfügbar sind werden benötigt, und die die genutzt werden deutlich kürzer sein als eine Doppelstunde. Das Praktikum besteht großteils aus eigenständiger Arbeit.
- Der zweite Termin wird am Mittwoch, dem 29.11. um 9:40 Uhr stattfinden, unter dem Link https://bbb.tu-dresden.de/rooms/noh-stx-jw8-oz0/join.