Running Theses

Application-Specific Hash-Table Optimization for Scalable Metadata-Management in the Linux Kernel

The rosebush hash table shows promising results for metadata management inside the kernel. Nevertheless, it is still slow compared to static data structures (struct page). Application-specific tailoring of rosebush could unleash its full potential.

 
Typ
Bachelorarbeit

 
Status
laufend

 
Supervisors
Alexander Halbuer
Daniel Lohmann

 
Project
ParPerOS

 
Bearbeiter
Linus Wolkersdorfer

Developing a low-level NVMe driver for microbenchmarks

Development of a low-level open-source NVMe driver to enable microbenchmarks exploring performance characteristics of modern NVMe drives.

 
Typ
Bachelorarbeit

 
Status
laufend

 
Supervisors
Kenny Albes
Daniel Lohmann

 
Project
ParPerOS

 
Bearbeiter
Ash Vollmer

Expanding the musl-libc Dynamic Loader by Morsel Support

Short summary of the thesis. State Problem and Goal.

 
Typ
Bachelorarbeit

 
Status
reserviert

 
Supervisors
Daniel Lohmann
Nils Fuhler

 
Project
ParPerOS

Extending Shared Virtual-Memory Objects Across System Boundaries

CXL will bring shared, disaggregated memory with limited coherency. We will apply a previously developed software-based coherency protocol to an emulated CXL setup to evaluate its practicality.

 
Typ
Bachelorarbeit

 
Status
reserviert

 
Supervisors
Alexander Halbuer
Daniel Lohmann

 
Project
ParPerOS

Leveraging Highly-Volatile Pages to Improve Memory Compaction Efficiency in Linux

Studies report that the majority of allocated pages become free within a timespan of seconds. Can a lazy compaction algorithm use this fact to achieve compact memory arrangement with less effort?

 
Typ
Bachelor-/Masterarbeit

 
Status
reserviert

 
Supervisors
Illia Ostapyshyn
Daniel Lohmann

 
Project
DRAMaOS

LLZig: Highly-Parallel Page Frame Allocation in Zig

We want evaluate Zig as systems language by implementing a highly-parallel page frame allocator in Zig.

 
Typ
Bachelorarbeit

 
Status
laufend

 
Supervisors
Lars Wrenger
Daniel Lohmann

 
Project
ParPerOS

RTOS as State Machine: Synthesis of Optimized Zephyr Embedded Systems

Static analysis of embedded systems can extract deep compile-time knowledge about the RTOS behavior at runtime. Using this knowledge, system calls in the Zephyr RTOS shall be specialized to transition functions on the system state, like a state machine.

 
Typ
Bachelorarbeit

 
Status
laufend

 
Supervisors
Andreas Kässens
Daniel Lohmann

 
Project
AHA

 
Bearbeiter
Kyrylo Lipkovych

Shared Virtual-Memory Objects for ARM64

Morsels are currently limited to x86-based systems. To show the general applicability of the concept and to prepare Morsels for the use in heterogeneous systems, the support for an additonal microarchitecture is requried.

 
Typ
Bachelorarbeit

 
Status
laufend

 
Supervisors
Alexander Halbuer
Daniel Lohmann

 
Project
ParPerOS

 
Bearbeiter
Philipp Bischoff

Shared Virtual-Memory Objects for Disaggregated Memory with Limited Coherency

CXL will bring shared, disaggregated memory with limited coherency. We will utilize the available coherency to build efficient synchronization for the remaining memory in software.

 
Typ
Bachelor-/Masterarbeit

 
Status
laufend

 
Supervisors
Alexander Halbuer
Daniel Lohmann

 
Project
ParPerOS

 
Bearbeiter
Daria Richter

Sharing Memory Between Cores in Protected and Long Mode

Keep a CPU core in protected mode. Impelement support for x86_32 paging for secondary morsels and share a morsel with said core.

 
Typ
Bachelorarbeit

 
Status
reserviert

 
Supervisors
Daniel Lohmann
Nils Fuhler

 
Project
ParPerOS

Size Does Matter: Utilizing Base and Huge Pages Simultaneously

Extend secondary morsels by support for multiple page sizes.

 
Typ
Bachelorarbeit

 
Status
reserviert

 
Supervisors
Daniel Lohmann
Nils Fuhler

 
Project
ParPerOS

Systematic Comparison of Patch Development with HID-BPF and In-Kernel Patches

Compare finxing a broken HID device using HID-BPF and a kernel patch.

 
Typ
Bachelorarbeit

 
Status
reserviert

 
Supervisors
Daniel Lohmann
Nils Fuhler

 
Project
AHA

To Drop or Not To Drop: Identifying Unused File Cache in Linux

Develop a mechanism to identify eviction candidates among unmapped file-cache pages in the Linux kernel.

 
Typ
Masterarbeit

 
Status
laufend

 
Supervisors
Illia Ostapyshyn
Daniel Lohmann

 
Project
DRAMaOS

Transparent and Cooperative Merging and Splitting of Huge Pages

Morsels (our implementation of virtual-memory objects) currently support the mixing of different page sizes (4 KiB, 2 MiB, or 1 GiB), but the layout must be defined ahead of use. This thesis addresses dynamic reconfiguration with minimal service disruption, to improve adaptability to varying application needs.

 
Typ
Bachelorarbeit

 
Status
reserviert

 
Supervisors
Alexander Halbuer
Daniel Lohmann

 
Project
ParPerOS

VLLFree: Improving Memory Reclamation by Giving the Linux Kernel Direct Access to Userspace Allocators

We want to give the kernel a better way to see which pages are used in processes so that it can reclaim unused memory more effectively.

 
Typ
Masterarbeit

 
Status
reserviert

 
Supervisors
Lars Wrenger
Daniel Lohmann

 
Project
ParPerOS