@inproceedings{f60dd5e42a56480dbc349f745e623428,
title = "OpenMP tools interface: Synchronization information for data race detection",
abstract = "When it comes to data race detection, complete information about synchronization, concurrency and memory accesses is needed. This information might be gathered at various levels of abstraction. For best results regarding accuracy this information should be collected at the abstraction level of the parallel programming paradigm. With the latest preview of the OpenMP specification, a tools interface (OMPT) was added to OpenMP. In this paper we discuss whether the synchronization information provided by OMPT is sufficient to apply accurate data race analysis for OpenMP applications. We further present some implementation details and results for our data race detection tool called Archer which derives the synchronization information from OMPT.",
author = "Joachim Protze and Jonas Hahnfeld and Ahn, {Dong H.} and Martin Schulz and M{\"u}ller, {Matthias S.}",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2017.; 13th International Workshop on OpenMP, IWOMP 2017 ; Conference date: 20-09-2017 Through 22-09-2017",
year = "2017",
doi = "10.1007/978-3-319-65578-9_17",
language = "English",
isbn = "9783319655772",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "249--265",
editor = "{de Supinski}, {Bronis R.} and Chapman, {Barbara M.} and Christian Terboven and Muller, {Matthias S.} and Olivier, {Stephen L.}",
booktitle = "Scaling OpenMP for Exascale Performance and Portability - 13th International Workshop on OpenMP, IWOMP 2017, Proceedings",
}