Florian Rommel

Florian Rommel (M.Sc.)

Wissenschaftlicher Mitarbeiter

Mail: rommel@sra.uni-hannover.de
Telefon: 0511 762 19729
Adresse: 30167 Hannover, Appelstraße 4, Raum 119

×

Appelstraße 4 Raum 119

Research

ATLAS: Adaptable Thread-Level Address Spaces

In the ATLAS project, we investigate dynamic specialization and containment by means of thread-level address-space variations.

CADOS: Configurability-Aware Development of Operating Systems (DFG: LO 1719/3-1)

In the CADOS project, we investigate scalable methods and tools to deal with the implementation of variability across all implementation layers of modern system software.

2020

OSDI Conference A*
From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes

Florian Rommel, Christian Dietrich, Daniel Friesel, Marcel Köppen, Christoph Borchert, Michael Müller, Olaf Spinczyk, Daniel Lohmann14th Symposium on Operating System Design and Implementation (OSDI '20)2020.
PDF Details Video [BibTex]

×

BibTex Entry

@inproceedings{rommel:20:osdi,
 author = {Florian Rommel and Christian Dietrich and Daniel Friesel and Marcel K{\"o}ppen and Christoph Borchert
and Michael M{\"u}ller and Olaf Spinczyk and Daniel Lohmann},
 booktitle = {14th Symposium on Operating System Design and Implementation (OSDI '20)},
 entrysubtype = {Conference},
 month = {November},
 pages = {651-666},
 title = {From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes},
 url = {https://www.usenix.org/conference/osdi20/presentation/rommel},
 userc = {CORE18:A*},
 userd = {OSDI '20},
 year = {2020}
}

Close

2019

EuroSys Conference A
Multiverse: Compiler-Assisted Management of Dynamic Variability in Low-Level System Software

Florian Rommel, Christian Dietrich, Michael Rodin, Daniel LohmannFourteenth EuroSys Conference 2019 (EuroSys '19)ACM Press2019.
PDF Slides 10.1145/3302424.3303959 [BibTex]

×

BibTex Entry

@inproceedings{rommel:19:eurosys,
 address = {New York, NY, USA},
 author = {Florian Rommel and Christian Dietrich and Michael Rodin and Daniel Lohmann},
 booktitle = {Fourteenth EuroSys Conference 2019 (EuroSys '19)},
 doi = {10.1145/3302424.3303959},
 entrysubtype = {Conference},
 isbn = {978-1-4503-6281-8},
 publisher = {ACM Press},
 title = {Multiverse: Compiler-Assisted Management of Dynamic Variability in Low-Level System Software},
 userc = {CORE18:A},
 userd = {EuroSys '19},
 venue = {Dresden, Germany},
 year = {2019}
}

Close

PLOS Workshop B
Wait-Free Code Patching of Multi-Threaded Processes

Florian Rommel, Lennart Glauer, Christian Dietrich, Daniel LohmannProceedings of the 10th SOSP Workshop on Programming Languages and Operating Systems (PLOS '19)ACM2019.
PDF 10.1145/3365137.3365404 [BibTex]

×

BibTex Entry

@inproceedings{rommel:19:plos,
 acmid = {3365404},
 address = {New York, NY, USA},
 author = {Rommel, Florian and Glauer, Lennart and Dietrich, Christian and Lohmann, Daniel},
 booktitle = {Proceedings of the 10th SOSP Workshop on Programming Languages and Operating Systems (PLOS '19)},
 doi = {10.1145/3365137.3365404},
 entrysubtype = {Workshop},
 isbn = {978-1-4503-7017-2},
 location = {Huntsville, ON, Canada},
 numpages = {7},
 pages = {23--29},
 publisher = {ACM},
 title = {Wait-Free Code Patching of Multi-Threaded Processes},
 userc = {CORE18:B},
 userd = {PLOS '19},
 year = {2019}
}

Close

Teaching

• Proseminar Parallelverarbeitung
• Projekt SRA
• Rechnerstrukturen

Supervised Theses

Open Theses Topics

Running Theses

Extending DragonFly BSD for Synchronized Thread-Level Address-Space Views

Typ: Bachelorarbeit
Status: laufend
Supervisors: Florian Rommel, Daniel Lohmann
Project: ATLAS
Extending the DragonFly BSD kernel to allow the usage of ATLAS synchronized thread-level address-space views in userspace processes

Multivariant ELF Executables for Dynamic Variability via Address-Space Views

Typ: Masterarbeit
Status: laufend
Supervisors: Florian Rommel, Daniel Lohmann
Project: ATLAS
Extend the ELF format to support binaries with multiple code variants for the use with ATLAS addess space views

Finished Student Theses

Measuring Effects of Compiler Flags on Different Processor Architectures

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Gerion Entrup, Florian Rommel, Daniel Lohmann
Project: AHA
Bearbeiter: Carlo Schmitt (abgegeben: 21. Mar 2019)

Run-Time Binary Patching for Systems with Dynamically Loadable Modules

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Florian Rommel, Daniel Lohmann
Project: CADOS
Bearbeiter: Dominik Töllner (abgegeben: 01. Sep 2019)
Explore the possibilities of using multiverse on systems with loadable modules by extending its semantics and implementation.

Design and Implementation of a Graphical Simulator for a Pipelined Processor Architecture

Typ: Bachelorarbeit
Status: abgeschlossen
Supervisors: Florian Rommel, Jürgen Brehm
Bearbeiter: Kwok-Fung Choi
Implement and evaluate a CPU simulator for a pipelined MIPS-like architecture with a graphical presentation on the block-diagram level

Investigating Non-Disruptive Checkpoints via Address-Space Clones in Linux-Based Non-Volatile Memory Systems

Typ: Masterarbeit
Status: abgeschlossen
Supervisors: Florian Rommel, Daniel Lohmann
Project: CADOS
Bearbeiter: Sergej Perschin
Modifying the Linux kernel to allow using virtual address space clones to implement non-disruptive checkpoints and coredumps.

Extending the Linux Kernel for Wait-Free Live Patching of Multi-Threaded Processes

Typ: Masterarbeit
Status: abgeschlossen
Supervisors: Florian Rommel, Christian Dietrich, Daniel Lohmann
Project: CADOS
Bearbeiter: Lennart Glauer (abgegeben: 20. Nov 2019)
Using virtual address space clones to avoid blocking on a global barrier in live patching situations and implement this mechanism in the Linux kernel.

Bintail: Binary Level Tailoring of ELF Executables via Feature Selection and Variant Elimination

Typ: Masterarbeit
Status: abgeschlossen
Supervisors: Florian Rommel, Christian Dietrich, Daniel Lohmann
Project: CADOS
Bearbeiter: Felix Herrmann (abgegeben: 01. Nov 2018)

Measurement-Directed Application of Compiler-Assisted Dynamic Variability Management in the Linux Kernel

Typ: Masterarbeit
Status: abgeschlossen
Supervisors: Florian Rommel, Christian Dietrich, Daniel Lohmann
Project: CADOS
Bearbeiter: Michael Rodin (abgegeben: 01. Oct 2018)

Own Thesis

Multiverse: Compiler-Assisted Dynamic Variability Management in the Linux Kernel

Typ: Masterarbeit
Status: abgeschlossen
Supervisors: Christian Dietrich, Andreas Ziegler, Wolfgang Schröder-Preikschat, Daniel Lohmann
Project: CADOS
Bearbeiter: Florian Rommel (abgegeben: 02. Nov 2017)
Use the multiverse compiler plugin to optimize paths in the Linux kernel [PDF]