ParPerOS: Parallel Persistency OS (DFG: DI 2840/2-1)

The management of memory resources has always been a core task of the operating system. However, OS designers are now facing disruptive changes on the memory side: New memory types, such as high-bandwith memory (HBM) or non-volatile memory (NVM) have arrived and more types of processing elements, such as RDMA-capable NICs, GPGPUs, or FPGA-based accellerators, access virtual memory directly via the IO-MMU. These heterogenious memory systems (HMSs) put not only the suitability of the classical memory hierarchy and memory access patterns at question, but also challenge the way memory is managed inside the kernel.

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 may consist of volatile, persistent, distributed and other types of main memory, accessed in parallel by a multitude of different processing elements (CPU, GPU, NIC, RDMA).

ParPerOS is part of the DFG Priority Program "Disruptive Memory Technologies" (SPP 2377, Speaker: Olaf Spinczyk) and a coopration with Daniel Lohmann.

People

Latest News

2022-06-13 New DFG Grant: Parallel Persistency OS (SPP 2377)
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.
ParPerOS is part of the DFG Priority Program "Disruptive Memory Technologies" (SPP 2377). DFG is supporting us for three years with two positions for doctoral researchers (E13, one at OSG), two positions for student researchers (one at OSG), and some additional lab equippment. ParPerOS is a cooperation project with the SRA group from Daniel Lohmann.

Publications

LCTES Conference B
Thread-Level Attack-Surface Reduction
Florian Rommel, Christian Dietrich, Andreas Ziegler, Illia Ostapyshyn, Daniel LohmannProceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded SystemsACM Press2023Accepted at LCTES'23, to appear.
[BibTex]
SIGMOD Conference A*
Virtual-Memory Assisted Buffer Management
Viktor Leis, Adnan Alhomssi, Tobias Ziegler, Yannick Loeck, Christian DietrichProceedings of the ACM SIGMOD/PODS International Conference on Management of Data (SIGMOD'23)ACM2023Accepted at SIGMOD'23, to appear.
PDF [BibTex]

Theses

Open Topics

A Graph-Based Virtual-Memory Benchmark Description Language

 
Typ: Bachelorarbeit
Status: offen
Supervisors: Yannick Loeck
Create the base for the VMStress Benchmark Generator with a language that describes benchmark execution patterns.

Generalized Memory Pool with Fixed IO-MMU Mappings

Typ: Masterarbeit
Status: offen
Supervisors: Yannick Loeck, Christian Dietrich
Interact with the IO-MMU through fixed buffers within an in-kernel memory pool abstraction.

Bilateral Kernel—Userspace Page Frame Allocator

Typ: Masterarbeit
Status: offen
Supervisors: Yannick Loeck, Christian Dietrich
Create a fast common page frame allocator interface that can be used from user- and kernel-space.