Efficient Data Race Detection for Async-Finish Parallelism

  • Raghavan Raman
  • Jisheng Zhao
  • Vivek Sarkar
  • Martin Vechev
  • Eran Yahav
Conference paper

DOI: 10.1007/978-3-642-16612-9_28

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6418)
Cite this paper as:
Raman R., Zhao J., Sarkar V., Vechev M., Yahav E. (2010) Efficient Data Race Detection for Async-Finish Parallelism. In: Barringer H. et al. (eds) Runtime Verification. RV 2010. Lecture Notes in Computer Science, vol 6418. Springer, Berlin, Heidelberg

Abstract

A major productivity hurdle for parallel programming is the presence of data races. Data races can lead to all kinds of harmful program behaviors, including determinism violations and corrupted memory. However, runtime overheads of current dynamic data race detectors are still prohibitively large (often incurring slowdowns of 10× or larger) for use in mainstream software development.

In this paper, we present an efficient dynamic race detector algorithm targeting the async-finish task-parallel parallel programming model. The async and finish constructs are at the core of languages such as X10 and Habanero Java (HJ). These constructs generalize the spawn-sync constructs used in Cilk, while still ensuring that all computation graphs are deadlock-free.

We have implemented our algorithm in a tool called TaskChecker and evaluated it on a suite of 12 benchmarks. To reduce overhead of the dynamic analysis, we have also implemented various static optimizations in the tool. Our experimental results indicate that our approach performs well in practice, incurring an average slowdown of 3.05× compared to a serial execution in the optimized case.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Raghavan Raman
    • 1
  • Jisheng Zhao
    • 1
  • Vivek Sarkar
    • 1
  • Martin Vechev
    • 2
  • Eran Yahav
    • 2
  1. 1.Rice UniversityUSA
  2. 2.IBM T. J. Watson Research CenterUSA

Personalised recommendations