Abstract
The needs for larger problem sizes and for more accurate results force the users in the field of scientific computing towards applying parallel machines. Besides problems with initial program development another hard task arises with parallel program debugging, where severe difficulties appear with nondeterminism and race conditions.
This paper describes the tools ATEMPT and CDFA, two modules of the MAD environment which support the detection of simple errors in the communication structure and race conditions in parallel programs. While ATEMPT generates an event graph and visualizes race condition candidates of an actual execution, CDFA analyzes the source code and produces data structures for investigation of control and data flow graphs. The combination of both tools gives further insight into a program and makes the evaluation of race evaluation more efficient.
Chapter PDF
References
J.-D. Choi, S.L. Min, “RACE FRONTIER: Reproducing Data Races in Parallel Program Debuggingr”, Proc. 3rd ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming PPOPP, Williamsburg, Virginia, pp. 145–154 (April 1991).
J.-D. Choi, J. Stone, “Balancing Runtime and Replay Costs in a Trace-and-Replay System”, Proc. ACM/ONR Workshop on Parallel and Distributed Debugging, Santa Cruz, CA, pp. 26–35 (May 1991).
S. Grabner, Search strategies for errors in parallel programs, Ph.D. thesis, Systems Programming Institute, Johannes Kepler University Linz (1997). [in German]
S. Grabner, J. Volkert, “Debugging Distributed Memory Programs Using Communication Graph Manipulation”, Proc. HPCS 96 Symposium, Montreal, Canada (June 1996).
D.P. Helmbold, C.E. McDowell, J.-Z. Wang, “Detecting Data Races from Sequential Traces”, Proceedings HICSS 24, Hawaii, Vol. 2, pp. 408–417 (Jan. 1991).
D.P. Helmbold, C.E. McDowell, “Race Detection — Ten Years Later”, in: M.L. Simmons, A.H. Hayes, J.S. Brown, D.A. Reed (Eds.), “Debugging and Performance Tuning”, IEEE Computer Society, pp. 101–126 (1996)
D. Kranzlmüller, S. Grabner, J. Volkert, “PARASIT — Parallel Simulation Tool”, CEI project PACT Technical Report D7V 1, GUP Linz, University Linz, Austria (Dec. 1994).
D. Kranzlmüller, S. Grabner, J. Volkert, “Debugging with the MAD Environment”, Proc. of Workshop on Environments and Tools for Parallel Scientific Computing III, Faverges de la Tour, France (Aug. 1996).
D. Kranzlmüller, S. Grabner, J. Volkert, “Monitoring Strategies for Hypercube Systems”, Proc. of 4th EUROMICRO Workshop on PDP, Braga, Portugal, pp. 486–492 (Jan. 1996).
T.J. LeBlanc, J.M. Mellor-Crummey, “Debugging parallel programs with instant replay”, IEEE Trans. on Comp., pp. 471–482 (April 1987).
B.P. Miller, J.-D. Choi, “A Mechanism for Efficient Debugging of Parallel Programs”, Proc. SIGPLAN/SIGOPS Workshop on Parallel & Distributed Debugging, Madison, Wisconsin, pp. 141–150 (May 1988).
MPI: A Message-Passing Interface Standard, special issue of The Intl. Journal of Supercomputer Applications and High Performance Computing, Vol. 8 (3/4) (Fall/Winter 1994).
R.H.B. Netzer, T.W. Brennan, S.K. Damodaran-Kamal, “Debugging Race Conditions in Message-Passing Programs”, Proc. SPDT'96, SIGMETRICS Symposium on Parallel and Distributed Tools, Philadelphia, PA, pp. 31–40 (May 1996).
R.H.B. Netzer, B.P. Miller, “What are Race Conditions? — Some Issues and Formalizations”, ACM Letters on Programming Languages and Systems, Vol. 1, No. 1 (March 1992).
R.H.B. Netzer, S.K. Damodaran-Kamal, “Accurate Race Condition Detection for Message-Passing Programs”, Brown Univ. Dept. of Computer Science Technical Report (April 1994). *** DIRECT SUPPORT *** A0008C42 00004
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kranzlmüller, D., Grabner, S., Volkert, J. (1997). Using control and data flow analysis for race evaluation. In: Lengauer, C., Griebl, M., Gorlatch, S. (eds) Euro-Par'97 Parallel Processing. Euro-Par 1997. Lecture Notes in Computer Science, vol 1300. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0002722
Download citation
DOI: https://doi.org/10.1007/BFb0002722
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63440-9
Online ISBN: 978-3-540-69549-3
eBook Packages: Springer Book Archive