Operating System Group (OSG)
Our Research and Teaching activities are centered around operating systems: From hardware over system software up to languages and compilers with a focus on constructive methods for the design and development of adaptable and versatile system software. The group is led by Christian Dietrich
News and Trivia
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.
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.