Library-Independent Data Race Detection

  • Name:

    Zeitschriftenartikel 

  • Author:

    Ali Jannesari
    Walter F. Tichy

  • Zusammenfassung

    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.
  • Year:

    2014 

Beteiligte Mitarbeiter (zufällige Reihenfolge)
Titel Vorname Nachname
Dr. Ing. Ali Jannesari
Prof. em. Dr. Walter F. Tichy

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},
}