Sciweavers

Share
CORR
2009
Springer

A Concurrent Language with a Uniform Treatment of Regions and Locks

11 years 6 months ago
A Concurrent Language with a Uniform Treatment of Regions and Locks
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 sketch 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.
Prodromos Gerakios, Nikolaos Papaspyrou, Konstanti
Added 17 Feb 2011
Updated 17 Feb 2011
Type Journal
Year 2009
Where CORR
Authors Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos F. Sagonas
Comments (0)
books