Space efficient data race detection for parallel programs with series-parallel task graphs

Proceedings - Euromicro Workshop on Parallel and Distributed Processing

Volumn , Issue , 1995, Pages 508-515

  Audenaert, Koenraad ^a   Levrouw, Luk ^a  

^a GHENT UNIVERSITY   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

DIGITAL STORAGE; EMBEDDED SYSTEMS; PARALLEL PROGRAMMING;

DATA RACE DETECTION; LANGUAGE INDEPENDENTS; ON-THE-FLY METHODS; ORDERS OF MAGNITUDE; PARALLEL PROCESS; PARALLEL PROGRAM; SHARED RESOURCES; STORAGE REQUIREMENTS;

PROGRAM DEBUGGING;

EID: 0008306136     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EMPDP.1995.389169     Document Type: Conference Paper

References (17)

1. Audenaert, K. and Levrouw, L. "Space efficient data race detection for parallel programs with series-parallel task graphs", Technical Report DG-94-6, University of Ghent, Belgium.
2. Bastiaens, K. and Lemahieu, I. "A parallel implementation of the ML-EM reconstruction algorithm for PET images in a visual language, " Proc. SPIE's Int'l Symp. on Optical Engineering in Aerospace Sensing, vol. Hybrid Image and Signal Processing IV, SPIE, April 1994.
3. Beranek, A. "Data Race Detection based on Execution Replay for Parallel Applications, " Proc. CONPAR '92/VAPP V, Lecture Notes on Computer Science 634, Springer, pp. 109-115, 1992.
4. Beranek, A. "Execution Replay and Data Race Detection for the Debugging of MOSKITO Applications, " Parallel Computing: from Theory to Sound Practice, Joosen and Milgram eds., IOS Press, pp. 80-91, 1992.
5. Dinning, A. and Schonberg, E. "An Empirical Comparison of Monitoring Algorithms for Access Anomaly Detection, " Proc. of 2nd Symp. on Principles and Practice of Parallel Prog., pp. 110, 1990.
6. Dinning, A. and Schonberg, E. "An Evaluation of Monitoring Algorithms for Access Anomaly Detection, " Technical Report Ultracomputer Note #163, New York University, 1989.
7. Gait, J. "Probe Effect in Concurrent Programs, " Software-Practice and Experience, Vol. 16(3), 1986.
8. Hood, R., Kennedy, K. and Mellor-Crummey, J. "Parallel Program Debugging with On-the-fly Anomaly Detection, " in Proc. Supercomputing '90, pp. 74-81, 1990 (pages missing).
9. Jun, Y-K. and Koh, K. "On-the-fly Detection of Access Anomalies in Nested Parallel Loops, " 3rd ACM/ONR Workshop on Parallel and Distributed Debugging, pp. 107-117, May 1993.
10. Mattern, F. "Virtual Time and Global States of Distributed Systems, " Parallel and Distributed Algorithms, Cosnard et al. eds., Elsevier, North-Holland, pp. 215-226, 1989.
11. Mellor-Crummey, J. "On-the-fly Detection of Data Races for Programs with Nested Fork-Join Parallelism, " in Proc. Supercomputing Debugging Workshop '91, pp. 1-16, 1991.
12. Möhring, R. "Algorithmic aspects of comparability graphs and interval graphs, " Graphs and Order, Rival ed., D. Reidei Pubi. Company, pp. 41101, 1985.
13. Netzer, R. and Miller, B. "Detecting Data Races in Parallel Program Executions, " in Advances in Languages and Compilers for Parallel Processing, Nicolau et al. eds., MIT Press, Cambridge, pp. 109-129, 1990.
14. Netzer, R. and Miller, B. "Improving the Accuracy of Data Race Detection, " in Proc. of 3rd Symp. on Principles and Practice of Parallel Prog., pp. 133-144, 1991.
15. Schonberg, E. "On-the-fly Detection of Access Anomalies, " Proc. SIGPLAN Conf. on Programming Language Design and Implementation, pp. 285-297, 1989.
16. Singh, J.P., Weber, W-D. and Gupta, A. "SPLASH: Stanford Parallel Applications for Shared-Memory, " Technical Report CSL-TR-91-469, Stanford University (anonymous ftp from mojave.stanford.edu).
17. Wahbe, R., Lucco, S. and Graham, S.L. "Practical Data Breakpoints: Design and Implementation, " Proc. ACM SIGPLAN '93 Conf. on Programming Language Design and Implementation, pp. 1-12, 1993.