Automation of Debugging Parallel Programs in the DVM System

Debugging parallel programs is a labor-intensive and nontrivial task. Parallel algorithms are usually significantly more complex than their sequential counterparts for the same problems. Moreover, parallel code may contain errors that are unusual for sequential debugging, caused by incorrect use of...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Mathematical models and computer simulations Ročník 16; číslo Suppl 2; s. S171 - S180
Hlavní autor: Bakhtin, V. A.
Médium: Journal Article
Jazyk:angličtina
Vydáno: Moscow Pleiades Publishing 01.12.2024
Témata:
Mathematical Modeling and Industrial Mathematics
Mathematics
Mathematics and Statistics
Simulation and Modeling
accelerator
automation of parallel program debugging
C
DVM system
automation of parallel program development
GPU
Fortran
ISSN:2070-0482, 2070-0490
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!
Abstract Debugging parallel programs is a labor-intensive and nontrivial task. Parallel algorithms are usually significantly more complex than their sequential counterparts for the same problems. Moreover, parallel code may contain errors that are unusual for sequential debugging, caused by incorrect use of functions that provide parallelism or unsynchronized interactions between processes or threads. The nondeterministic behavior of a parallel program can also complicate the reproduction of errors. Therefore, automated methods are often used for debugging parallel programs, allowing most errors in the program to be identified automatically with minimal involvement from the programmer. This article presents an automated approach to debugging parallel programs in the DVM system, designed for developing applications using the high-level parallel model DVMH.
AbstractList Debugging parallel programs is a labor-intensive and nontrivial task. Parallel algorithms are usually significantly more complex than their sequential counterparts for the same problems. Moreover, parallel code may contain errors that are unusual for sequential debugging, caused by incorrect use of functions that provide parallelism or unsynchronized interactions between processes or threads. The nondeterministic behavior of a parallel program can also complicate the reproduction of errors. Therefore, automated methods are often used for debugging parallel programs, allowing most errors in the program to be identified automatically with minimal involvement from the programmer. This article presents an automated approach to debugging parallel programs in the DVM system, designed for developing applications using the high-level parallel model DVMH.
Author Bakhtin, V. A.
Author_xml – sequence: 1
  givenname: V. A.
  orcidid: 0000-0003-0343-3859
  surname: Bakhtin
  fullname: Bakhtin, V. A.
  email: bakhtin@keldysh.ru
  organization: Keldysh Institute of Applied Mathematics, Russian Academy of Sciences
BookMark eNp9kF9LwzAUxYNMcM59AN_yBaq5Sdqm-DQ2_8HEwdTXkqU3taNNJGkf9u3tmPgieF_O5XJ_h8O5JBPnHRJyDewGQMjbLWc5Y1JxLkdVCs7I9HhKmCzY5HdX_ILMY9yzcQTPlVBTcrcYet_pvvGOektXuBvqunE13eig2xZbugm-DrqLtHG0_0S6-nih20Pssbsi51a3Eec_OiPvD_dvy6dk_fr4vFysEwNpColQeWZyZNwaKLLcINc2z7SsZMELMNpUnItKAoLImAArMFMoLd8hswpVKmYETr4m-BgD2vIrNJ0OhxJYeSyg_FPAyPATE8dfV2Mo934Iboz5D_QNRv5cyg
Cites_doi 10.1007/978-1-4612-1986-6_16
10.1134/s0361768819030034
10.1109/pact.1996.552670
10.1134/s1064562411060408
ContentType Journal Article
Copyright Pleiades Publishing, Ltd. 2024 ISSN 2070-0482, Mathematical Models and Computer Simulations, 2024, Vol. 16, Suppl. 2, pp. S171–S180. © Pleiades Publishing, Ltd., 2024.
Copyright_xml – notice: Pleiades Publishing, Ltd. 2024 ISSN 2070-0482, Mathematical Models and Computer Simulations, 2024, Vol. 16, Suppl. 2, pp. S171–S180. © Pleiades Publishing, Ltd., 2024.
DBID AAYXX
CITATION
DOI 10.1134/S2070048224700881
DatabaseName CrossRef
DatabaseTitle CrossRef
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
Mathematics
EISSN 2070-0490
EndPage S180
ExternalDocumentID 10_1134_S2070048224700881
GroupedDBID -5D
-5G
-BR
-EM
-~C
06D
0R~
0VY
1N0
29M
2JY
2KG
2VQ
2~H
30V
4.4
408
409
40D
40E
6NX
8TC
96X
AAAVM
AACDK
AAHNG
AAIAL
AAJBT
AAJKR
AANZL
AARHV
AARTL
AASML
AATNV
AATVU
AAUYE
AAWCG
AAYIU
AAYQN
AAYTO
AAYZH
AAZMS
ABAKF
ABBXA
ABDZT
ABECU
ABFTD
ABFTV
ABHQN
ABJNI
ABJOX
ABKCH
ABMQK
ABQBU
ABSXP
ABTEG
ABTHY
ABTKH
ABTMW
ABULA
ABWNU
ABXPI
ACAOD
ACDTI
ACGFS
ACHSB
ACIWK
ACKNC
ACMDZ
ACMLO
ACOKC
ACOMO
ACPIV
ACZOJ
ADHHG
ADHIR
ADINQ
ADKNI
ADRFC
ADURQ
ADYFF
ADZKW
AEBTG
AEFQL
AEGNC
AEJHL
AEJRE
AEMSY
AEOHA
AEPYU
AEVLU
AEXYK
AFBBN
AFLOW
AFQWF
AFWTZ
AFZKB
AGAYW
AGDGC
AGJBK
AGMZJ
AGQMX
AGRTI
AGWZB
AGYKE
AHAVH
AHBYD
AHKAY
AHSBF
AHYZX
AIAKS
AIGIU
AIIXL
AILAN
AITGF
AJBLW
AJRNO
ALFXC
ALMA_UNASSIGNED_HOLDINGS
AMKLP
AMXSW
AMYLF
AMYQR
ANMIH
AOCGG
AUKKA
AXYYD
BA0
BAPOH
BGNMA
CAG
COF
DDRTE
DNIVK
DPUIP
EBLON
EBS
EIOEI
EJD
ESBYG
FERAY
FFXSO
FIGPU
FINBP
FNLPD
FRRFC
FSGXE
FYJPI
GGCAI
GGRSB
GJIRD
GQ6
GQ7
GQ8
GXS
H13
HF~
HG6
HLICF
HMJXF
HQYDN
HRMNR
HZ~
I0C
IJ-
IKXTQ
IWAJR
IZIGR
I~X
J-C
J9A
JBSCW
JCJTX
JZLTJ
KOV
LLZTM
M4Y
NPVJJ
NQJWS
NU0
O9-
O93
O9J
OAM
P9R
PT4
QOS
R89
RIG
RLLFE
ROL
RSV
S1Z
S27
S3B
SDH
SHX
SJYHP
SMT
SNE
SNPRN
SNX
SOHCF
SOJ
SPISZ
SRMVM
SSLCW
STPWE
T13
TSG
UG4
UOJIU
UTJUX
UZXMN
VC2
VFIZW
W48
WK8
XU3
ZMTXR
~A9
AAPKM
AAYXX
ABDBE
ABFSG
ABRTQ
ACSTC
AEZWR
AFDZB
AFHIU
AFOHR
AHPBZ
AHWEU
AIXLP
ATHPR
CITATION
ID FETCH-LOGICAL-c1551-3876c7e02fc1967ce2af76a4d49291cacd223d41e136031f3e68e4f2be0f8e853
IEDL.DBID RSV
ISSN 2070-0482
IngestDate Sat Nov 29 08:10:59 EST 2025
Sat Mar 01 01:15:36 EST 2025
IsPeerReviewed true
IsScholarly true
Issue Suppl 2
Keywords accelerator
automation of parallel program debugging
C
DVM system
automation of parallel program development
GPU
Fortran
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c1551-3876c7e02fc1967ce2af76a4d49291cacd223d41e136031f3e68e4f2be0f8e853
ORCID 0000-0003-0343-3859
ParticipantIDs crossref_primary_10_1134_S2070048224700881
springer_journals_10_1134_S2070048224700881
PublicationCentury 2000
PublicationDate 20241200
2024-12-00
PublicationDateYYYYMMDD 2024-12-01
PublicationDate_xml – month: 12
  year: 2024
  text: 20241200
PublicationDecade 2020
PublicationPlace Moscow
PublicationPlace_xml – name: Moscow
PublicationTitle Mathematical models and computer simulations
PublicationTitleAbbrev Math Models Comput Simul
PublicationYear 2024
Publisher Pleiades Publishing
Publisher_xml – name: Pleiades Publishing
References 4608_CR8
V. A. Bakhtin (4608_CR9) 2019; 45
4608_CR6
4608_CR5
4608_CR4
V. A. Bakhtin (4608_CR12) 2011; 84
4608_CR3
4608_CR2
F. Manne (4608_CR7) 1997
4608_CR10
4608_CR1
4608_CR13
4608_CR14
4608_CR11
References_xml – volume-title: Modern Software Tools for Scientific Computing
  year: 1997
  ident: 4608_CR7
  doi: 10.1007/978-1-4612-1986-6_16
– volume: 45
  start-page: 121
  year: 2019
  ident: 4608_CR9
  publication-title: Program. Comput. Software
  doi: 10.1134/s0361768819030034
– ident: 4608_CR5
– ident: 4608_CR6
  doi: 10.1109/pact.1996.552670
– ident: 4608_CR8
– ident: 4608_CR11
– ident: 4608_CR2
– ident: 4608_CR3
– ident: 4608_CR4
– ident: 4608_CR10
– ident: 4608_CR13
– ident: 4608_CR14
– ident: 4608_CR1
– volume: 84
  start-page: 879
  year: 2011
  ident: 4608_CR12
  publication-title: Dokl. Math.
  doi: 10.1134/s1064562411060408
SSID ssj0000327838
Score 2.2941887
Snippet Debugging parallel programs is a labor-intensive and nontrivial task. Parallel algorithms are usually significantly more complex than their sequential...
SourceID crossref
springer
SourceType Index Database
Publisher
StartPage S171
SubjectTerms Mathematical Modeling and Industrial Mathematics
Mathematics
Mathematics and Statistics
Simulation and Modeling
Title Automation of Debugging Parallel Programs in the DVM System
URI https://link.springer.com/article/10.1134/S2070048224700881
Volume 16
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVAVX
  databaseName: SpringerLINK Contemporary 1997-Present
  customDbUrl:
  eissn: 2070-0490
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0000327838
  issn: 2070-0482
  databaseCode: RSV
  dateStart: 20090201
  isFulltext: true
  titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22
  providerName: Springer Nature
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3dS8MwED9k-qAPfovzizz4pBTTNmtTfBrq8MGNwXTsrWRJKgPpZN38-71r2uFQH_SloXBXypHLXZK73w_gUgRWWaMjr-Vr6WGEtp6isj9pwjjhkQ2SEqd7-BT3enI0SvpVH3dRV7vXV5LlSu14R8TNIOAExU5VjzhKardebxHYDG3RB8PlwQoPiTyiZKLjRKqCGtVt5o9fWY1Hq5ehZYzp7Pzr73Zhu0opWdvNgT1Ys_k-bH0BGsS37hKdtTiA2_ZiPnUti2yaMVxyFnTu_Mr6akbUKm-s76q2CjbJGSqy-2GXOWzzQ3jpPDzfPXoViYKnKRsi7NxIx5YHmUZni4n_K4sjJYzAxMjXShtMEIzwrR8S4XQW2khakQVjyzNpMZgfQSOf5vYYWKJiHo3Ri7VB7VAofKKEFZQWtIxswlVtyvTdYWWk5R4jFOk3-zThujZkWrlN8bv0yZ-kT2EzwNzDVZ2cQWM-W9hz2NAf80kxuyinyycCUrTw
linkProvider Springer Nature
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8NAEB6kCurBt1ife_CkBDfJNg88FbVUbEuhtfQWtptNKUgqTevvdyabFIt60EuWwEwIw87O7O7M9wFcC0dLHSvPqtkqsDBCa0tS2V8Qu37IPe2EOU73oOV3OsFwGHaLPu6srHYvryTzldrwjoi7nsMJip2qHnEMqN16XRDLDm3Re4PlwQp3iTwiZ6LjRKqCGsVt5o9fWY1Hq5eheYxp7P7r7_Zgp0gpWd3MgX1Y0-kBbH8BGsS39hKdNTuE-_piPjUti2yaMFxyFnTuPGZdOSNqlTfWNVVbGZukDBXZ46DNDLb5Ebw2nvoPTasgUbAUZUOEnespX3MnUehsPvF_Jb4nRSwwMbKVVDEmCLGwte0S4XTiai_QInFGmieBxmB-DJV0muoTYKH0uTdCL1YxartC4hMltKC0oBYHVbgpTRm9G6yMKN9juCL6Zp8q3JaGjAq3yX6XPv2T9BVsNvvtVtR67rycwZaDeYipQDmHyny20BewoT7mk2x2mU-dT4jVt9Q
linkToPdf http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LS8NAEB5ERfTgW6zPPXhSQvPYJhs8FWtRbEuwWnoL6e5GCpKWJvX3O5NHsagH8ZIQmAlh2MnM7sx8H8AVt3WklXSNhiWFgRFaGxG1_QnleL7patvPcboHHa_XE8OhH5Q8p2nV7V6VJIuZBkJpSrL6VMUlBwmv922TYNmpAxLvgkav1zhuZKin67k_WByymA4RSeSsdCYRrKBGWdn88S3LsWm5MJrHm_bOv790F7bLVJM1i7WxBys62YetLwCE-NRdoLamB3DbnGeTYpSRTWKGv6I5nUe_sSCaEeXKOwuKbq6UjROGiqw16LIC8_wQXtv3L3cPRkmuYEjKkghT15WeNu1YohN6xAsWe27EFceEyZKRVJg4KG5pyyEi6tjRrtA8tkfajIXGIH8Eq8kk0cfA_Mgz3RF6t1So7fAIryihOaULDSVqcF2ZNZwWGBphvvdwePjNPjW4qYwalu6U_i598ifpS9gIWu2w89h7OoVNG9OTojHlDFaz2Vyfw7r8yMbp7CJfRZ8nR8C4
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=Automation+of+Debugging+Parallel+Programs+in+the+DVM+System&rft.jtitle=Mathematical+models+and+computer+simulations&rft.au=Bakhtin%2C+V.+A.&rft.date=2024-12-01&rft.issn=2070-0482&rft.eissn=2070-0490&rft.volume=16&rft.issue=S2&rft.spage=S171&rft.epage=S180&rft_id=info:doi/10.1134%2FS2070048224700881&rft.externalDBID=n%2Fa&rft.externalDocID=10_1134_S2070048224700881
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2070-0482&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2070-0482&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2070-0482&client=summon