Home | english  | Impressum | Datenschutz | Sitemap | KIT

Library-Independent Data Race Detection

Library-Independent Data Race Detection
Tagung:

Zeitschriftenartikel 

Jahr:

2014 

Autoren:

Ali Jannesari
Walter F. Tichy

Summary

Data races are a common problem on shared-memory parallel computers, including multicores. Analysis programs called race detectors help find and eliminate them. However, current race detectors are geared for specific concurrency libraries. When programmers use libraries unknown to a given detector, the detector becomes useless or requires extensive reprogramming. We introduce a new synchronization detection mechanism that is independent of concurrency libraries. It dynamically detects synchronization constructs based on a characteristic code pattern. The approach is non-intrusive and applicable to various concurrency libraries. Experimental results confirm that the approach identifies synchronizations and detects data races regardless of the concurrency libraries involved. With this mechanism, race detectors can be written once and need not be adapted to particular libraries.

Beteiligte Mitarbeiter (zufällige Reihenfolge)
Titel Vorname Nachname

Bibtex

@article{10.1109/TPDS.2013.209,
author={Ali Jannesari, Walter F. Tichy},
title={Library-Independent Data Race Detection},
year=2014,
month=October,
publisher={IEEE Computer Society},
volume={25},
issn={1045-9219},
doi={http://doi.ieeecomputersociety.org/10.1109/TPDS.2013.209},
abstract={Data races are a common problem on shared-memory parallel computers, including multicores. Analysis programs called race detectors help find and eliminate them. However, current race detectors are geared for specific concurrency libraries. When programmers use libraries unknown to a given detector, the detector becomes useless or requires extensive reprogramming. We introduce a new synchronization detection mechanism that is independent of concurrency libraries. It dynamically detects synchronization constructs based on a characteristic code pattern. The approach is non-intrusive and applicable to various concurrency libraries. Experimental results confirm that the approach identifies synchronizations and detects data races regardless of the concurrency libraries involved. With this mechanism, race detectors can be written once and need not be adapted to particular libraries.},
number={10},
pages={2606-2616},
journal={IEEE Transactions on Parallel and Distributed Systems},
address={Los Alamitos, CA, USA},