A Concurrent Language with a Uniform Treatment of Regions and Locks
Programming Languages
2010-02-05 v1 Distributed, Parallel, and Cluster Computing
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.
Keywords
Cite
@article{arxiv.1002.0940,
title = {A Concurrent Language with a Uniform Treatment of Regions and Locks},
author = {Prodromos Gerakios and Nikolaos Papaspyrou and Konstantinos Sagonas},
journal= {arXiv preprint arXiv:1002.0940},
year = {2010}
}