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 XVIII. 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:

• Fun Hardware

  • Joel Nider et al.: The Last CPU
  • Peter H. Hochschild et al.: Cores That Don’t Count
  • Jack Tigar Humphries et al.: A Case Against (Most) Context Switches

• Fun Security

  • Hugo Lefeuvre et al.: FlexOS: Making OS Isolation Flexible
  • Kevin Loughlin et al.: Stop! Hammer Time: Rethinking Our Approach to Rowhammer Mitigations

• Fun Applications

  • Ahmad Ghalayini et al.: CloudEx: A Fair-Access Financial Exchange in the Cloud
  • Michael Greenberg et al.: UNIX Shell Programming: The Next 50 Years
  • Lillian Tsai et al.: Privacy Heroes Need Data Disguises
  • Youjie Li et al.: Doing More with Less: Training Large DNN Models on Commodity Servers for the Masses

• Fun Storage

  • Yuhong Zhong et al.: BPF for Storage: An Exokernel-Inspired Approach
  • Emil Tsalapatis et al.: The Aurora Operating System: Revisiting the Single Level Store
  • Theano Stavrinos et al.: Don’t Be a Blockhead: Zoned Namespaces Make Work on Conventional SSDs Obsolete

• Fun Kernel Interfaces

  • Hugo Sadok et al.: We Need Kernel Interposition Over the Network Dataplane
  • Reto Achermann (University of British Columbia) et al.: mmapx: Uniform Memory Protection in a Heterogeneous World
  • Sujin Park (Georgia Tech) et al.: Contextual Concurrency Control

• Fun Kernel Design

  • Yiming Qiu et al.: Toward Reconfigurable Kernel Datapaths with Learned Optimizations
  • Jialin Li et al.: An Incremental Path Towards a Safe OS Kernel

Semesterplan

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

Es handelt sich hierbei noch um einen vorläufigen Semesterplan.

Weiterführende Literatur

Diese Paper dienen als weiterführende Literatur und sind für die Teilnahme an der Veranstaltung nicht notwendig:

• S. Keshav: How to Read a Paper
• T. Roscoe: Writing Reviews for Systems Conferences
• G. Heiser: Benchmarking Crimes

Evaluationen

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

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.