Seminar: Hot Topics in Operating Systems (AKSI)

Inhalt

Das Seminar gibt Einblicke in die Abläufe der alltäglichen Forscherpraxis. Jeder Teilnehmer fertigt eine schriftliche Ausarbeitung und einen Vortrag über ein bestimmtes Themengebiet der systemnahen Informatik an. Semesterthema in diesem Jahr sind Hot Topics in Operating Systems.

Alle Teilnehmenden bearbeiten dazu ein Paper vom Workshop HotOS XVII. Dabei stehen Themen in Bereichen wie z.B. die Zukunft von Betriebssystemen und Sicherheit zur Verfügung.

Vorkenntnisse

• Kenntnisse im grundlegenden Aufbau, der Struktur und Funktionsweise von Betriebssystemen (bspw. wie in der Vorlesung Grundlagen der Betriebssysteme behandelt)

Modus

Der genaue Modus hängt von der Teilnehmeranzahl ab.

Die Prüfungsleistung besteht aus zwei Teilleistungen: einem etwa 20-minütigen Vortrag mit anschließender Diskussion und einer schriftlichen Ausarbeitung (etwa 3 Seiten).

Die Ausarbeitung ist im IEEE Paper-Template in deutscher oder englischer Sprache zu verfassen. Zusätzlich wird ein Reviewprozess der Paper simuliert, über dessen Ergebnisse nach dem jeweiligen Vortrag diskutiert wird. Die Termine der Vorträge werden noch bekanntgegeben.

Themen

Die folgenden Paper stehen zur Auswahl:

• OS: Past and Future:
  • James Litton et al.: Composing Abstractions using the null-Kernel
  • Ali Raza et al.: Unikernels: The Next Stage of Linux's Dominance
  • Andrew Baumann et al.: A fork() in the road
• Verification:
  • Gernot Heiser et al.: Can We Prove Time Protection?
  • Haojun Ma et al.: Towards Automatic Inference of Inductive Invariants
  • Vikram Narayanan et al.: RedLeaf: Towards An Operating System for Safe and Verified Firmware
• Abstractions:
  • Ardalan Amiri Sani et al.: The Case for I/O-Device-as-a-Service
  • Irene Zhang et al.: I’m Not Dead Yet! The Role of the Operating System in a Kernel-Bypass Era
  • Pekka Enberg et al.: I/O Is Faster Than the CPU -- Let's Partition Resources and Eliminate (Most) OS Abstractions
• Security:
  • Alana Marzoev et al.: Towards Multiverse Databases
  • Tyler Hunt et al.: Isolation and Beyond: Challenges for System Security
  • Enis Ceyhun Alp et al.: Rethinking General-Purpose Decentralized Computing
• Bugs:
  • Haopeng Liu et al.: What bugs cause production cloud incidents?
  • Andrew Quinn et al.: You can't debug what you can't see: Expanding observability with the OmniTable
  • Samantha Miller et al.: Practical Safe Linux Kernel Extensibility

Semesterplan

Wenn es Probleme oder Nachfragen zu den Papers bzw. zur Ausarbeitung gibt, steht der Betreuer auch außerhalb der Termine zur Verfügung.

Evaluationen

• WS23/24 • Seminar • Daniel Lohmann • Evaluation (PDF) • Bewertung: 1.3

Anmeldung und weitere Infos

Für diese Veranstaltung ist eine Online-Anmeldung über Stud.IP erforderlich. Bitte registrieren Sie sich (falls noch nicht geschehen) für Stud.IP und tragen Sie sich dort in die entsprechende Veranstaltung ein.

Stud.IP Veranstaltungen
Seminar