A Concurrent Language with a Uniform Treatment of Regions and Locks

Prodromos Gerakios
(National Technical University of Athens)
Nikolaos Papaspyrou
(National Technical University of Athens)
Konstantinos Sagonas
(National Technical University of Athens)

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.

In Alastair R. Beresford and Simon Gay: Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2009), York, UK, 22nd March 2009, Electronic Proceedings in Theoretical Computer Science 17, pp. 79–93.
Published: 6th February 2010.

ArXived at: http://dx.doi.org/10.4204/EPTCS.17.7 bibtex PDF

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org