Operating System Group (OSG)

Im the summer term, the Operating System Group organizes the lecture Betriebssystembau and the seminar Syscall Advent. For details, check out our overview Video on YouTube.

Winter is coming and the ELFs have a lot of work to do in Santa's Christmas village. And the ELFs, as the name suggests, are big fans of Linux to get this work done in time. However, until now they only know about those old a crusty interfaces that we inherited from UNIX/POSIX. So, they require your help! On the way, you can learn something about old and new system calls of Linux.

The Operating System Group at the Hamburg University of Technology perpared a System-Call Advent calendar with 24 strace-filled doors for you. On every day of December, you will find a system-call, a concept or an interface of Linux that you might or might not yet know. Behind the door, there is a short article and a small programming exercise, for which we provide a commented solution on the following day.

At this years SAFECOMP'22, we presented two papers on fault injection of transient hardware faults: Christian Dietrich presented our paper SailFAIL, where we explain how to derive fault-injection platforms form formal CPU models. Tim-Marek Thomas presented ACTOR, an method how to use dynamic timeout detectors to speed up large fault-injection campaigns.

Tobias Landsberg presents our paper TASTING: Reuse Test-case Execution by Global AST Hashing at the 17th International Conference on Sofware Technologies (ICSOFT '22) in Lisbon. In the paper we describe TASTING, an approach for efficiently selecting and reusing regression-test executions across program changes, branches, and variants in continuous integration settings. TASTING can dramatically speed-up test suite executions by recursively composing hashes of all relevant syntatic elements into a semantic fingerprint of the test and its execution environment, so identical test executions can easily be detected and skipped. This is an important building block for variant-aware testing in the CADOS project.

Tobias got the Best Student Paper award for this work!

ParPerOS: Parallel Persistency OS (DFG: DI 2840/2-1)

In ParPerOS, we examine new abstractions for unified but efficient and optionally crash-consistent low-level memory management for data objects in heterogeneous memory systems that consist of volatile, persistent, distributed and other types of main memory.

ParPerOS is part of the DFG Priority Program "Disruptive Memory Technologies" (SPP 2377). DFG is supporting us for three years with two positions for doctoral researchers (E13, one at OSG), two positions for student researchers (one at OSG), and some additional lab equippment. ParPerOS is a cooperation project with the SRA group from Daniel Lohmann.

The Priority-Strict Interrupt Controller (PSIC) delivers prioritized interrupt requests in a multi-core system. Thereby, the PSIC ensures that always the highest-priority interrupt handlers are run on our CPUs. Christian Dietrich presented our Paper PSIC: Priority-Strict Multi-Core IRQ Processing at ISORC'22, where our work was awarded as one of two Outstanding Papers.