Using control and data flow analysis for race evaluation

DOI10.1007/BFB0002722MaRDI QIDQ4536910zbMATH OpenFDO

Authors D. Kranzlmüller, S. Grabner, J. Volkert

Publication date 25 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0002722

zbMATH Keywords

debuggingevent manipulationprogram analysisrace conditions

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• Debugging with the MAD environment
• scientific article; zbMATH DE number 1262849
• scientific article; zbMATH DE number 2090565
• Efficient detection of determinacy races in cilk programs
• An integrated performance analysis tool for SPMD data-parallel programs

Cited in

(4)

• Debugging with the MAD environment
• The concurrent redundancy problem and control methods
• Empirical comparison of race detection tools for OpenMP programs
• Race-condition detection in parallel computation with semaphores (extended abstract)

This page was built for publication: Using control and data flow analysis for race evaluation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4536910)