Sciweavers

Share
TLDI
2010
ACM

Race-free and memory-safe multithreading: design and implementation in cyclone

12 years 5 months ago
Race-free and memory-safe multithreading: design and implementation in cyclone
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and 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 a hierarchical structure: deallocating a region causes its sub-regions to be deallocated. Similarly, when a region is protected, then its sub-regions are also protected. 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 atomic operations, pthreads, and OpenMP. Although our implementation is still in a preliminary stage, our results show that the performance overhead for guaranteed race freedom and memory safety is acceptable. Categories and Subject Descriptors D.3.2 [Programming Languages]: Lang...
Prodromos Gerakios, Nikolaos Papaspyrou, Konstanti
Added 17 Mar 2010
Updated 17 Mar 2010
Type Conference
Year 2010
Where TLDI
Authors Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos F. Sagonas
Comments (0)
books