loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
3rd Euromicro Workshop on Parallel and Distributed Processing
Space efficient data race detection for parallel programs with series-parallel task graphs
San Remo, Italy
January 25-January 27
ISBN: 0-8186-7031-2
K. Audenaert, ELIS, Ghent Univ., Belgium
L. Levrouw, ELIS, Ghent Univ., Belgium
A data race or access anomaly is a bug in parallel programs, occurring when two parallel processes access the same shared resource in an unsynchronised fashion, and at least one access modifies the resource. The effects of a data race can be non-deterministic and can give the program debugger a very hard time. Race detection represents a class of methods which automatically detect the presence of data races in a parallel program. This paper deals with on-the-fly methods, in which race detection is performed at run-time, during the execution of the program. We present a novel method for on-the-fly race detection, which reduces the storage requirements by several orders of magnitude over previous methods. Moreover, the method is language independent and can handle the problems associated with pointer variables (aliasing). The programs it deals with are restricted to those that have a series-parallel task graph. This includes fork-join and spawning types of parallelism.
Index Terms:
synchronisation; parallel programming; program debugging; space efficient data race detection; parallel programs; series-parallel task graphs; access anomaly; shared resource; program debugger; on-the-fly methods; storage requirements; pointer variables; series-parallel task graph; fork-join; spawning types; parallelism
Citation:
K. Audenaert, L. Levrouw, "Space efficient data race detection for parallel programs with series-parallel task graphs," pdp, pp.508, 3rd Euromicro Workshop on Parallel and Distributed Processing, 1995
Usage of this product signifies your acceptance of the Terms of Use.