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

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Modelirovanie i analiz informacionnyh sistem Ročník 28; číslo 4; s. 394 - 412
Hlavný autor: Mironov, Andrew M.
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Yaroslavl State University 18.12.2021
Predmet:
distributed processes
mpi
parallel programs
verification
ISSN:1818-1015, 2313-5417
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Abstract 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.
AbstractList 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.
Author Mironov, Andrew M.
Author_xml – sequence: 1
  givenname: Andrew M.
  orcidid: 0000-0002-9132-7804
  surname: Mironov
  fullname: Mironov, Andrew M.
  organization: Lomonosov Moscow State University
BookMark eNo9kMtOAjEUhhujiYi8Q32Aaq_TdonECwlEFuq2OfQCYwZKOrPx7S1gWJxL_px-Sb87dL3P-4jQA6OPzHClnphhhjDKFOGUMyKJsJJIxq_QiAsmiJJMX6PR5ewWTfq-XVMptRJC6RGKU7yEYRt3MLQeOrzMIXY4J7yCAl1X91XJmwK7HsM-1MLTw6Fk8Fv8DH0MOO9xO-Ah4-9Y2lQZQ1ujCliu5pe39-gmQdfHyf8co6_Xl8_ZO1l8vM1n0wXxrNGchCRjoklbYbWijQERfQIF0ggLPkRWG_VxHSxIULxJdk15qIGO3nrtxRjNz9yQ4ccdSruD8usytO4U5LJxUOpHu-gMWGG0DFzqILlVoBXnNsYA0ITATWXZM8uX3PclpguPUXfS745e3dGrO-p30lX9ruoXf85OetA
Cites_doi 10.1145/2814270.2814302
10.1007/978-3-540-70545-1_9
10.1145/3095075
10.1145/3127024.3127032
10.1145/1348250.1348256
10.1007/11846802_23
10.1007/s11432-018-9825-3
10.1007/978-3-540-69738-1_3
10.1145/2043174.2043194
10.1145/3377811.3380419
10.1145/937555.937561
ContentType Journal Article
DBID AAYXX
CITATION
DOA
DOI 10.18255/1818-1015-2021-4-394-412
DatabaseName CrossRef
DOAJ Directory of Open Access Journals
DatabaseTitle CrossRef
DatabaseTitleList
CrossRef
Database_xml – sequence: 1
  dbid: DOA
  name: DOAJ Directory of Open Access Journals
  url: https://www.doaj.org/
  sourceTypes: Open Website
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 2313-5417
EndPage 412
ExternalDocumentID oai_doaj_org_article_8a93874d247d4295a75229eedaa6dd28
10_18255_1818_1015_2021_4_394_412
GroupedDBID 5VS
642
AAFWJ
AAYXX
ADBBV
ALMA_UNASSIGNED_HOLDINGS
BCNDV
CITATION
GROUPED_DOAJ
KQ8
ID FETCH-LOGICAL-c1672-df4ef0f793975068a3ecfa5a4839acde1acd0cebd9a4a526f9b02dceb7ec9c7c3
IEDL.DBID DOA
ISSN 1818-1015
IngestDate Fri Oct 03 12:53:19 EDT 2025
Sat Nov 29 02:26:07 EST 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 4
Language English
License https://www.mais-journal.ru/jour/about/editorialPolicies#openAccessPolicy
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c1672-df4ef0f793975068a3ecfa5a4839acde1acd0cebd9a4a526f9b02dceb7ec9c7c3
ORCID 0000-0002-9132-7804
OpenAccessLink https://doaj.org/article/8a93874d247d4295a75229eedaa6dd28
PageCount 19
ParticipantIDs doaj_primary_oai_doaj_org_article_8a93874d247d4295a75229eedaa6dd28
crossref_primary_10_18255_1818_1015_2021_4_394_412
PublicationCentury 2000
PublicationDate 2021-12-18
PublicationDateYYYYMMDD 2021-12-18
PublicationDate_xml – month: 12
  year: 2021
  text: 2021-12-18
  day: 18
PublicationDecade 2020
PublicationTitle Modelirovanie i analiz informacionnyh sistem
PublicationYear 2021
Publisher Yaroslavl State University
Publisher_xml – name: Yaroslavl State University
References ref8
ref7
ref12
ref9
ref4
ref3
ref6
ref11
ref5
ref10
ref2
ref1
References_xml – ident: ref2
  doi: 10.1145/2814270.2814302
– ident: ref7
  doi: 10.1007/978-3-540-70545-1_9
– ident: ref1
– ident: ref9
  doi: 10.1145/3095075
– ident: ref10
  doi: 10.1145/3127024.3127032
– ident: ref6
  doi: 10.1145/1348250.1348256
– ident: ref3
  doi: 10.1007/11846802_23
– ident: ref11
  doi: 10.1007/s11432-018-9825-3
– ident: ref5
  doi: 10.1007/978-3-540-69738-1_3
– ident: ref8
  doi: 10.1145/2043174.2043194
– ident: ref12
  doi: 10.1145/3377811.3380419
– ident: ref4
  doi: 10.1145/937555.937561
SSID ssib044753357
ssib009050552
ssib059259322
ssib006738434
ssj0001879522
Score 2.166615
Snippet 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...
SourceID doaj
crossref
SourceType Open Website
Index Database
StartPage 394
SubjectTerms distributed processes
mpi
parallel programs
verification
Title A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs
URI https://doaj.org/article/8a93874d247d4295a75229eedaa6dd28
Volume 28
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVAON
  databaseName: DOAJ Directory of Open Access Journals
  customDbUrl:
  eissn: 2313-5417
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0001879522
  issn: 1818-1015
  databaseCode: DOA
  dateStart: 20120101
  isFulltext: true
  titleUrlDefault: https://www.doaj.org/
  providerName: Directory of Open Access Journals
– providerCode: PRVHPJ
  databaseName: ROAD: Directory of Open Access Scholarly Resources
  customDbUrl:
  eissn: 2313-5417
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssib044753357
  issn: 1818-1015
  databaseCode: M~E
  dateStart: 20000101
  isFulltext: true
  titleUrlDefault: https://road.issn.org
  providerName: ISSN International Centre
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV1Na9wwEBUhlJBL0zYJ3aQpKuQqYuvDko6bkiU97LKHJuQmxvqAhcUbdrc99rdnZDvGOeXSg3UQjMBPI82MJb9HyDUGMQyLFWeh0IlJHQWrawUs-Bg8BBull63YhF4szNOTXY6kvvKdsI4euAPuxoAVRsvApQ64dyrQmDFY3NkBqhB4-5tvoe2omOrOF4UZE5_ZLNimhkCeWe7EiIhNWawCRE9k136dyRrc7REERsDMf1qqI_Ij7zBYUamboROdjGMNxoSVTJb8TXAbaQC0wWr2iXzss0w67d7uMzmIzRdy8qrgQPsFfUrilM4H3lY0yMpoa7pJdAnbLLKypsvu_taOQhPwodOeg5zeYvgLdNPQ1Z7uN_QRPTn13__yAPPlr8H2jDzM7n7_vGe98ALzZaVx3pKMqUi4dC0mFJUBEX0CBRKzKfAhltgUPtbBggTFq2TrguPs1jp667UX5-Sw2TTxK6HKGlDeVmgcpUkGgtaFkREqU2vuxYTwV8Tcc8ev4XJdkmF2GeZ8B025DLOTDmF2CPOE3GZsB4NMkd12oOO43nHce45z8T8GuSTHrQeUnJXmGzncb__EK_LB_92vdtvvrU9iO_939wLqDtvz
linkProvider Directory of Open Access Journals
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+Mathematical+Model+of+Parallel+Programs+and+an+Approach+Based+on+it+to+Verification+of+MPI+Programs&rft.jtitle=Modelirovanie+i+analiz+informacionnyh+sistem&rft.au=Mironov%2C+Andrew+M.&rft.date=2021-12-18&rft.issn=1818-1015&rft.eissn=2313-5417&rft.volume=28&rft.issue=4&rft.spage=394&rft.epage=412&rft_id=info:doi/10.18255%2F1818-1015-2021-4-394-412&rft.externalDBID=n%2Fa&rft.externalDocID=10_18255_1818_1015_2021_4_394_412
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1818-1015&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1818-1015&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1818-1015&client=summon