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
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!
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.
Am 17./18 März fand das Frühjahrstreffen GI/ITG Fachgruppe Betriebssysteme in Hamburg statt. In Zusammenarbeit mit Prof. Janick Edinger von der Universität Hamburg hat die Operating System Group das Treffen als hybride Veranstaltung organisiert. Insgesamt waren 50 Teilnehmende vor Ort und bis zu 30 Teilnehmende virtuell an dem Treffen beteiligt. Einen Überblick über das Program gibt es auf der Seite der Fachgruppe.
For the ring lecture in this semester, the three new juniorprofessors (Lal, Dietrich, Kulau) will shortly present their teaching and some of their research projects. Join us either in person at the TUHH or attend virtually with an Ethernet-lengths distance. For more OSG talks, see the OSG Oberseminar (ICS included).