DocumentCode :
1755051
Title :
Library-Independent Data Race Detection
Author :
Jannesari, Abumoslem ; Tichy, Walter F.
Author_Institution :
German Res. Sch. for Simulation Sci., Aachen, Germany
Volume :
25
Issue :
10
fYear :
2014
fDate :
Oct. 2014
Firstpage :
2606
Lastpage :
2616
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.
Keywords :
concurrency control; parallel programming; program diagnostics; shared memory systems; synchronisation; analysis programs; characteristic code pattern; concurrency libraries; library-independent data race detection; multicores; shared-memory parallel computers; synchronization detection mechanism; Concurrent computing; Detectors; Instruction sets; Libraries; Pipelines; Spinning; Synchronization; Parallel programming; ad hoc synchronization; data race detection; debugging; dynamic analysis; multicore; parallelization libraries; synchronization primitives;
fLanguage :
English
Journal_Title :
Parallel and Distributed Systems, IEEE Transactions on
Publisher :
ieee
ISSN :
1045-9219
Type :
jour
DOI :
10.1109/TPDS.2013.209
Filename :
6583165
Link To Document :
بازگشت