A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs

The paper presents a new mathematical model of parallel programs, on the basis of which it is possible, in particular, to verify parallel programs presented on a certain subset of the parallel programming interface MPI. This model is based on the concepts of a sequential and distributed process. A p...

Full description

Saved in:
Bibliographic Details
Published in:Modelirovanie i analiz informacionnyh sistem Vol. 28; no. 4; pp. 394 - 412
Main Author: Mironov, Andrew M.
Format: Journal Article
Language:English
Published: Yaroslavl State University 18.12.2021
Subjects:
distributed processes
mpi
parallel programs
verification
ISSN:1818-1015, 2313-5417
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The paper presents a new mathematical model of parallel programs, on the basis of which it is possible, in particular, to verify parallel programs presented on a certain subset of the parallel programming interface MPI. This model is based on the concepts of a sequential and distributed process. A parallel program is modeled as a distributed process in which sequential processes communicate by asynchronously sending and receiving messages over channels. The main advantage of the described model is the ability to simulate and verify parallel programs that generate an indefinite number of sequential processes. The proposed model is illustrated by the application of verification of the matrix multiplication MPI program.
ISSN:1818-1015
2313-5417
DOI:10.18255/1818-1015-2021-4-394-412