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
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. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||