by Michiel Ronsse, Koen De Bosschere
Parallel Computing: Fundamentals, Applications and New Directions, Proceedings of the Conference ParCo'97
http://www.elis.rug.ac.be/~ronsse/diota/doc/Parco97.ps
Add To MetaCart
Abstract:
This paper presents a methodology to combine a record/replay mechanism with data race detection. It is shown that such a combination has a lot of advantages and that it will enable the user to detect synchronisation as well as functional errors. The paper focuses on the detection of data races in general and the problem of finding all memory references issued by a program in particular. To this end, a special instrumenter, JiT I, is proposed. JiT I was designed to find all memory references without introducing a prohibitive overhead. 1.
Citations
|
1747
|
Time, clocks and the ordering of events in a distributed system
– Lamport
- 1978
|
|
664
|
ATOM: A system for building customized program analysis tools
– Srivastava, Eustace
- 1994
|
|
228
|
EEL: Machine-independent executable editing
– Larus, Schnarr
- 1995
|
|
214
|
Debugging Parallel Programs with Instant Replay
– LeBlanc, Mellor-Crummey
- 1987
|
|
207
|
Purify: Fast detection of memory leaks and access errors
– Hastings, Joyce
- 1992
|
|
95
|
Dynamic Program Instrumentation for Scalable Performance Tools
– Hollingsworth, Miller, et al.
- 1998
|
|
72
|
A Probe Effect in Concurrent Programs
– Gait
- 1966
|
|
52
|
Improving the Accuracy of Data Race Detection
– Netzer, Miller
- 1991
|
|
47
|
On-the-fly detection of access anomalies
– Schonberg
- 1991
|
|
38
|
Online data-race detection via coherency guarantees
– Perković, Keleher
- 1996
|
|
7
|
A new trace and replay system for shared memory programs based on Lamport Clocks
– Levrouw, Audenaert
- 1994
|
|
5
|
Space efficient data race detection for parallel programs with series-parallel task graphs
– Audenaert, Levrouw
- 1995
|
|
5
|
Data race detection based on execution replay for parallel applications
– Beranek
- 1992
|
|
4
|
On the implementation of a replay mechanism
– Ronsse, Levrouw
- 1996
|
|
4
|
lint User's Guide
– lock
- 1994
|
|
1
|
An efficient parallel implementation of the ML-EM algorithm for PET image reconstruction with a multithreaded operating system
– Bastiaens, Lemahieu, et al.
|
