A Concurrent Language with a Uniform Treatment of Regions and Locks

Gerakios, P; Papaspyrou, N; Sagonas, K

dc.contributor.author	Gerakios, P	en
dc.contributor.author	Papaspyrou, N	en
dc.contributor.author	Sagonas, K	en
dc.date.accessioned	2014-03-01T01:32:26Z
dc.date.available	2014-03-01T01:32:26Z
dc.date.issued	2010	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/20128
dc.subject	Concurrent Language	en
dc.subject	Data Races	en
dc.subject	Memory Safety	en
dc.subject	Programming Language	en
dc.subject	region-based memory management	en
dc.title	A Concurrent Language with a Uniform Treatment of Regions and Locks	en
heal.type	journalArticle	en
heal.identifier.primary	10.4204/EPTCS.17.7	en
heal.identifier.secondary	http://dx.doi.org/10.4204/EPTCS.17.7	en
heal.publicationDate	2010	en
heal.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 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	en
heal.journalName	Computing Research Repository	en
dc.identifier.doi	10.4204/EPTCS.17.7	en