uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Static safety guarantees for a low-level multithreaded language with regions
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.
2014 (English)In: Science of Computer Programming, ISSN 0167-6423, Vol. 80, no Part B, 223-263 p.Article in journal (Refereed) Published
Abstract [en]

We present the design of a formal low-level multithreaded language with advanced region-based memory management and thread synchronization primitives, where well-typed programs are memory safe and race free. In our language, regions and locks are combined in a single hierarchy and are subject to uniform ownership constraints imposed by this hierarchical structure: deallocating a region causes its sub-regions to be deallocated. Similarly, when a region is read/write-protected, then its sub-regions inherit the same access rights. We discuss aspects of the integration and implementation of the formal language within Cyclone and evaluate the performance of code produced by the modified Cyclone compiler against highly optimized C programs using pthreads. Our results show that the performance overhead for guaranteed race freedom and memory safety is in most cases acceptable.

Place, publisher, year, edition, pages
2014. Vol. 80, no Part B, 223-263 p.
Keyword [en]
Safe multithreading, Type and effect systems, Region-based memory management, Cyclone
National Category
Engineering and Technology
URN: urn:nbn:se:uu:diva-218941DOI: 10.1016/j.scico.2013.06.005ISI: 000329887100002OAI: oai:DiVA.org:uu-218941DiVA: diva2:699391
Available from: 2014-02-27 Created: 2014-02-20 Last updated: 2014-02-27Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Sagonas, Konstantinos
By organisation
Computing Science
In the same journal
Science of Computer Programming
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 181 hits
ReferencesLink to record
Permanent link

Direct link