TL;DR
This paper presents a new mathematical model for verifying parallel MPI programs, demonstrated through the verification of a matrix multiplication MPI program, aiming to improve correctness assurance in parallel computing.
Contribution
The paper introduces a novel mathematical model specifically designed for verifying MPI parallel programs, with practical validation on matrix multiplication code.
Findings
Successful verification of matrix multiplication MPI program
New mathematical model effectively captures parallel program behaviors
Enhances methods for correctness verification in parallel computing
Abstract
In this paper, we outline an approach to verifying parallel programs. A new mathematical model of parallel programs is introduced. The introduced model is illustrated by the verification of the matrix multiplication MPI program.
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