3 search results - page 1 / 1 » Ensuring deterministic concurrency through compilation |
IPPS
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract--Multicore shared-memory architectures are becoming prevalent but bring many programming challenges. Among the biggest is non-determinism: the output of the program does n...
PLDI
2010
ACM
13 years 7 months ago
2010
ACM
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...
JFP
2010
13 years 3 months ago
2010
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...