Two automated techniques for analyzing and debugging Mpi-based programs
Alaa Ismail Elnashar, Sultan Aljahdali, Mosaid Al Sadhan
TL;DR
This paper introduces two automated methods for analyzing and debugging MPI-based parallel programs, aiding developers in understanding and identifying bugs in complex message-passing code.
Contribution
The paper presents novel automated techniques specifically designed for analyzing and debugging MPI source code, enhancing existing tools for parallel program development.
Findings
Two new automated analysis techniques proposed
Improved bug detection in MPI programs
Enhanced understanding of MPI program data flow
Abstract
Message Passing Interface (MPI) is the most commonly used paradigm in writing parallel programs since it can be employed not only within a single processing node but also across several connected ones. Data flow analysis concepts, techniques and tools are needed to understand and analyze MPI-based programs to detect bugs arise in these programs. In this paper we propose two automated techniques to analyze and debug MPI-based programs source codes.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsParallel Computing and Optimization Techniques · Software Testing and Debugging Techniques · Embedded Systems Design Techniques