Thread-local concurrency: A technique to handle data race detection at programming model abstraction

Joachim Protze, Dong H. Ahn, Martin Schulz, Matthias S. Müller

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

5 Zitate (Scopus)

Abstract

With greater adoption of various high-level parallel programming models to harness on-node parallelism, accurate data race detection has become more crucial than ever. However, existing tools have great difficulty spotting data races through these high-level models, as they primarily target low-level concurrent execution models (e.g., concurrency expressed at the level of POSIX threads). In this paper, we propose a novel technique to accurately detect those data races that can occur at higher levels of concurrent execution. The core idea of our technique is to introduce the general concept of Thread-Local Concurrency (TLC) as a new way to translate the concurrency expressed by a high-level programming paradigm into the low execution level understood by the existing tools. Specifically, we extend the definition of vector clocks to allow the existing state-of-the-art race detectors to recognize those races that occur at the higher level of concurrency with minor modifications to these tools. Our evaluation with our prototype implemented within ThreadSanitizer shows that TLC can allow the existing tool to detect these races accurately with only small additional analysis overheads.

OriginalspracheEnglisch
TitelHPDC 2018 - Proceedings of the 2018 International Symposium on High-Performance Parallel and Distributed Computing
Herausgeber (Verlag)Association for Computing Machinery, Inc
Seiten144-155
Seitenumfang12
ISBN (elektronisch)9781450357852
DOIs
PublikationsstatusVeröffentlicht - 11 Juni 2018
Veranstaltung27th ACM International Symposium on High-Performance Parallel and Distributed Computing, HPDC 2018 - Tempe, USA/Vereinigte Staaten
Dauer: 11 Juni 201815 Juni 2018

Publikationsreihe

NameHPDC 2018 - Proceedings of the 2018 International Symposium on High-Performance Parallel and Distributed Computing

Konferenz

Konferenz27th ACM International Symposium on High-Performance Parallel and Distributed Computing, HPDC 2018
Land/GebietUSA/Vereinigte Staaten
OrtTempe
Zeitraum11/06/1815/06/18

Fingerprint

Untersuchen Sie die Forschungsthemen von „Thread-local concurrency: A technique to handle data race detection at programming model abstraction“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren