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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.17.7 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |