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

This article presents a new mathematical model of parallel programs that can be used, in particular, for verification of parallel programs presented on a certain subset of the MPI parallel programming interface. The model is based on the concepts of sequential and distributed processes. A parallel p...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Automatic control and computer sciences Ročník 56; číslo 7; s. 762 - 777
Hlavný autor: Mironov, A. M.
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Moscow Pleiades Publishing 01.12.2022
Springer Nature B.V
Predmet:
Computer Science
Control Structures and Microprogramming
Mathematical analysis
Mathematical models
Parallel programming
Verification
distributed processes
parallel programs
verification
MPI
ISSN:0146-4116, 1558-108X
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:This article presents a new mathematical model of parallel programs that can be used, in particular, for verification of parallel programs presented on a certain subset of the MPI parallel programming interface. The model is based on the concepts of sequential and distributed processes. A parallel program is modeled as a distributed process within which sequential processes communicate by asynchronously sending and receiving messages over channels. The main advantage of the proposed model is its capability of modeling and verifying parallel programs that generate an indefinite number of sequential processes. To illustrate the model’s performance, an example of its application to verification of an MPI matrix multiplication program is described.
Bibliografia:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0146-4116
1558-108X
DOI:10.3103/S014641162207015X