Towards Providing Low-Overhead Data Race Detection for Large OpenMP Applications

Share

Joachim Protze, Simone Atzeni, Dong H. Ahn, Martin Schulz, Ganesh Gopalakrishnan, Matthias S. Muller, Ignacio Laguna, Zvonimir Rakamaric, Greg L. Lee. LLVM Compiler Infrastructure in HPC Workshop (LLVM-HPC 2014), New Orleans, LA, USA.
[pdf] [bib]

Abstract: Neither static nor dynamic data race detection methods, by themselves, have proven to be sufficient for large HPC applications, as they often result in high runtime overheads and/or low race-checking accuracy. While combined static and dynamic approaches can fare better, creating such combinations, in practice, requires attention to many details. Specifically, existing state-of-the-art dynamic race detectors are aimed at low-level threading models, and cannot handle high-level models such as OpenMP. Further, they do not provide mechanisms by which static analysis methods can target selected regions of code with sufficient precision. In this paper, we present our solutions to both challenges. Specifically, we identify patterns within OpenMP runtimes that tend to mislead existing dynamic race checkers and provide mechanisms that help establish an explicit happens-before relation to prevent such misleading checks. We also implement a fine-grained blacklist mechanism to allow a runtime analyzer to exclude regions of code at line number granularity. We support race checking by adapting ThreadSanitizer, a mature data-race checker developed at Google that is now an integral part of Clang and GCC; and we have implemented our techniques within the state-of-the-art Intel OpenMP Runtime. Our results demonstrate that these techniques can significantly improve runtime analysis accuracy and overhead in the context of data race checking of OpenMP applications.

Bibtex:

@inproceedings{llvmhpc2014-paasgmlrl,
  author = {Joachim Protze and Simone Atzeni and Dong H. Ahn and Martin Schulz and
    Ganesh Gopalakrishnan and Matthias S. M\"uller and Ignacio Laguna and
    Zvonimir Rakamari\'c and Greg L. Lee},
  title = {Towards Providing Low-Overhead Data Race Detection for Large {OpenMP} Applications},
  booktitle = {Proceedings of the LLVM Compiler Infrastructure in HPC Workshop (LLVM-HPC)},
  publisher = {IEEE Press},
  year = {2014},
  pages = {40--47},
}