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ženo v:
Podrobná bibliografie
Vydáno 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:angličtina
Vydáno: Moscow Pleiades Publishing 01.12.2022
Springer Nature B.V
Témata:
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 přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0146-4116
1558-108X
DOI:10.3103/S014641162207015X