Sciweavers

RV
2010
Springer

Efficient Data Race Detection for Async-Finish Parallelism

13 years 9 months ago
Efficient Data Race Detection for Async-Finish Parallelism
One of the major productivity hurdles for parallel programming is non-determinism -- a parallel program may yield different results on different executions with the same input, depending on the order in which operations are interleaved. A major source of non-determinism is data races, and checking for the absence of data races is an important candidate for runtime verification. Past work on data race detection includes different techniques for different programming models such as SPMD, fork-join, and monitors. However, the runtime overheads incurred by past techniques are still prohibitively large (often a slowdown of 10
Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin
Added 14 Feb 2011
Updated 14 Feb 2011
Type Journal
Year 2010
Where RV
Authors Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav
Comments (0)