Geodesic
A mathematical model of parallel programs and an approach based on it to verification of MPI programs
Modelirovanie i analiz informacionnyh sistem, Tome 28 (2021) no. 4, pp. 394-412

Voir la notice de l'article provenant de la source Math-Net.Ru

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.
Keywords: parallel programs, MPI, distributed processes, verification. 
@article{MAIS_2021_28_4_a5,
     author = {A. M. Mironov},
     title = {A mathematical model of parallel programs and an approach based on it to verification of {MPI} programs},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {394--412},
     publisher = {mathdoc},
     volume = {28},
     number = {4},
     year = {2021},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2021_28_4_a5/}
}
TY  - JOUR
AU  - A. M. Mironov
TI  - A mathematical model of parallel programs and an approach based on it to verification of MPI programs
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2021
SP  - 394
EP  - 412
VL  - 28
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2021_28_4_a5/
LA  - ru
ID  - MAIS_2021_28_4_a5
ER  - 
%0 Journal Article
%A A. M. Mironov
%T A mathematical model of parallel programs and an approach based on it to verification of MPI programs
%J Modelirovanie i analiz informacionnyh sistem
%D 2021
%P 394-412
%V 28
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2021_28_4_a5/
%G ru
%F MAIS_2021_28_4_a5
A. M. Mironov. A mathematical model of parallel programs and an approach based on it to verification of MPI programs. Modelirovanie i analiz informacionnyh sistem, Tome 28 (2021) no. 4, pp. 394-412. http://geodesic.mathdoc.fr/item/MAIS_2021_28_4_a5/