Running Theses
Analyzing NVMe SSD Characteristics
Developing a suite of micro benchmarks to analyze various SSD characteristics.
- Typ
- Bachelor-/Masterarbeit
- Status
- reserviert
- Supervisors
- Kenny Albes
Daniel Lohmann - Project
- ParPerOS
Budget Driven Fault Injection Campaigns for Continuous Integration Testing
Fault injection campaigns for safety-critical systems are time-consuming and thus unsuited for a CI context. We want to group fault injections semantically based on static program analysis and thus guide developers early in the development cycle.
- Typ
- Masterarbeit
- Status
- laufend
- Supervisors
- Tim-Marek Thomas
Daniel Lohmann - Project
- CLASSY-FI
- Bearbeiter
- Daniel Barvenko
Expanding the musl-libc Dynamic Loader by Morsel Support
Implement morsel support in the musl-libc dynamic loader to speed up loading of shared libraries.
- Typ
- Bachelorarbeit
- Status
- laufend
- Supervisors
- Daniel Lohmann
Nils Fuhler - Project
- ParPerOS
- Bearbeiter
- Lennart Wallbaum
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
- laufend
- Supervisors
- Alexander Halbuer
Daniel Lohmann - Project
- ParPerOS
- Bearbeiter
- Noel Freimuth
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
Memory Reliability as an Allocatable Resource
Develop and evaluate an instrastructure to manage partially degraded system memory.
- Typ
- Masterarbeit
- Status
- reserviert
- Supervisors
- Kenny Albes
Daniel Lohmann - Project
- ParPerOS
Modeling Control Flow of Real-Time Tasks for Static Analysis
The static analysis of interactions in ARA for embedded real-time systems uses control flow graphs. For coprocessors or black-box domains that shall be synchronized with the RTOS, we could model their interaction behavior as abstract control flow graphs, to support them in ARA.
- Typ
- Masterarbeit
- Status
- laufend
- Supervisors
- Andreas Kässens
Daniel Lohmann - Project
- AHA
Optimistic Page Migration in Linux
Optimize Linux's page migration algorithm to copy first and check later for any modifications.
- Typ
- Bachelorarbeit
- Status
- reserviert
- Supervisors
- Daniel Lohmann
Lars Wrenger - Project
- ParPerOS
Optimizing Application Startup by Identifying and Providing Recurring Objects in Linux
Reduce application startup time via aggressive prefetching
- Typ
- Masterarbeit
- Status
- reserviert
- Supervisors
- Kenny Albes
Illia Ostapyshyn
Daniel Lohmann - Project
- ParPerOS
Reevaluating the Linux Page Cache Design in the Presence of High-Bandwidth and Low-Latency Flash Storage
Reevaluating the design of Linux's file caching when using modern NVMe SSDs.
- Typ
- Bachelor-/Masterarbeit
- Status
- reserviert
- Supervisors
- Kenny Albes
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
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
- laufend
- Supervisors
- Daniel Lohmann
Nils Fuhler - Project
- ParPerOS
- Bearbeiter
- Rico Spakowski
Size Does Matter: Utilizing Base and Huge Pages Simultaneously
Extend secondary morsels by support for multiple page sizes.
- Typ
- Bachelorarbeit
- Status
- laufend
- Supervisors
- Daniel Lohmann
Nils Fuhler - Project
- ParPerOS
- Bearbeiter
- Tom Viehmann
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
- laufend
- Supervisors
- Daniel Lohmann
Nils Fuhler - Bearbeiter
- Malte Homeyer
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
Tracing of Zephyr RTOS System Calls using LLVM IR Interpretation
RTOS internal objects are accessed using system calls. To follow the control flow, identify possible bottlenecks or analyze the behavior of system calls, tracing is helpful. For the Zephyr RTOS, some tracing and profiling functionality is already available for applications, but is limited in regard to RTOS internals. Using the interpretation of system calls at IR level, static tracing for RTOS system calls shall be implemented.
- Typ
- Bachelorarbeit
- Status
- reserviert
- Supervisors
- Andreas Kässens
Daniel Lohmann - Project
- AHA
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
- laufend
- Supervisors
- Alexander Halbuer
Daniel Lohmann - Project
- ParPerOS
- Bearbeiter
- Feras Ghannam
Visualization of parallel control flows in RTOS analysis
Analysing interactions between parallel control flows results in a complex directed graph with many nodes and crossing lines. This requires new tools to filter and extract information about the system.
- Typ
- Bachelorarbeit
- Status
- reserviert
- Supervisors
- Mareike Burg
Daniel Lohmann - Project
- AHA
VLLFree: Fast and Direct Memory Reclamation From Userspace Heaps in Linux
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
- Bachelorarbeit
- Status
- laufend
- Supervisors
- Lars Wrenger
Daniel Lohmann - Project
- ParPerOS