A Concurrent Language with a Uniform Treatment of Regions and Locks

TL;DR

This paper introduces a concurrent programming language that unifies region-based memory management and hierarchical locking to ensure memory safety and data race freedom, supporting ownership transfer and early resource deallocation.

Contribution

It presents a novel language design that treats regions and locks uniformly, enabling safe ownership transfer and early deallocation in multi-threaded environments.

Findings

Supports static guarantees for memory safety and data race freedom.

Allows early deallocation of regions and release of locks safely.

Provides a unified approach to regions and locks in concurrent programming.

Abstract

A challenge for programming language research is to design and implement multi-threaded low-level languages providing static guarantees for memory safety and freedom from data races. Towards this goal, we present a concurrent language employing safe region-based memory management and hierarchical locking of regions. Both regions and locks are treated uniformly, and the language supports ownership transfer, early deallocation of regions and early release of locks in a safe manner.