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...

Full description

Saved in:
Bibliographic Details
Published in:Automatic control and computer sciences Vol. 56; no. 7; pp. 762 - 777
Main Author: Mironov, A. M.
Format: Journal Article
Language:English
Published: Moscow Pleiades Publishing 01.12.2022
Springer Nature B.V
Subjects:
Computer Science
Control Structures and Microprogramming
Mathematical analysis
Mathematical models
Parallel programming
Verification
distributed processes
parallel programs
verification
MPI
ISSN:0146-4116, 1558-108X
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0146-4116
1558-108X
DOI:10.3103/S014641162207015X