MYX: Runtime correctness analysis for multi-level parallel programming paradigms

In recent years the increasing compute power is mainly provided by rapidly increasing concurrency. Therefore, the HPC community is looking for new parallel programming paradigms to make the best use of current and upcoming machines. Under the Japanese CREST funding program, the post-petascale HPC pr...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Software for Exascale Computing - SPPEXA 2016-2019 Ročník 136; s. 545 - 567
Hlavní autori: Protze, Joachim, Tsuji, Miwako, Terboven, Christian, Dufaud, Thomas, Murai, Hitoshi, Petiton, Serge, Emad, Nahid, Müller, Matthias, Boku, Taisuke
Médium: Kapitola
Jazyk:English
Vydavateľské údaje: Springer International Publishing 31.07.2020
Edícia:Lecture Notes in Computational Science and Engineering
Predmet:
Computer Science
Distributed, Parallel, and Cluster Computing
ISBN:3030479560, 9783030479565
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Abstract In recent years the increasing compute power is mainly provided by rapidly increasing concurrency. Therefore, the HPC community is looking for new parallel programming paradigms to make the best use of current and upcoming machines. Under the Japanese CREST funding program, the post-petascale HPC project developed the XcalableMP programming paradigm, a pragma-based partitioned global address space (PGAS) approach. To better exploit the potential concurrency of large scale systems, the mSPMD model was proposed and implemented with the YvetteML workflow description language. When introducing a new parallel programming paradigm, good tool support for debugging and performance analysis is crucial for the productivity and therefore the acceptance in the HPC community. The subject of the MYX project is to investigate which properties of a parallel programming language specification may help tools to highlight correctness and performance issues or help to avoid common issues in parallel programming in the first place. In this paper, we exercise these investigations on the example of XcalableMP and YvetteML.
AbstractList In recent years the increasing compute power is mainly provided by rapidly increasing concurrency. Therefore, the HPC community is looking for new parallel programming paradigms to make the best use of current and upcoming machines. Under the Japanese CREST funding program, the post-petascale HPC project developed the XcalableMP programming paradigm, a pragma-based partitioned global address space (PGAS) approach. To better exploit the potential concurrency of large scale systems, the mSPMD model was proposed and implemented with the YvetteML workflow description language. When introducing a new parallel programming paradigm, good tool support for debugging and performance analysis is crucial for the productivity and therefore the acceptance in the HPC community. The subject of the MYX project is to investigate which properties of a parallel programming language specification may help tools to highlight correctness and performance issues or help to avoid common issues in parallel programming in the first place. In this paper, we exercise these investigations on the example of XcalableMP and YvetteML.
Author Protze, Joachim
Terboven, Christian
Boku, Taisuke
Petiton, Serge
Emad, Nahid
Dufaud, Thomas
Murai, Hitoshi
Tsuji, Miwako
Müller, Matthias
Author_xml – sequence: 1
  givenname: Joachim
  surname: Protze
  fullname: Protze, Joachim
  organization: RWTH Aachen University = Rheinisch-Westfälische Technische Hochschule Aachen
– sequence: 2
  givenname: Miwako
  surname: Tsuji
  fullname: Tsuji, Miwako
  organization: RIKEN Center for Computational Science [Kobe]
– sequence: 3
  givenname: Christian
  surname: Terboven
  fullname: Terboven, Christian
  organization: RWTH Aachen University = Rheinisch-Westfälische Technische Hochschule Aachen
– sequence: 4
  givenname: Thomas
  orcidid: 0000-0001-8387-056X
  surname: Dufaud
  fullname: Dufaud, Thomas
  organization: Laboratoire d'Informatique Parallélisme Réseaux Algorithmes Distribués
– sequence: 5
  givenname: Hitoshi
  surname: Murai
  fullname: Murai, Hitoshi
  organization: RIKEN Center for Computational Science [Kobe]
– sequence: 6
  givenname: Serge
  surname: Petiton
  fullname: Petiton, Serge
  organization: Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
– sequence: 7
  givenname: Nahid
  surname: Emad
  fullname: Emad, Nahid
  organization: Laboratoire d'Informatique Parallélisme Réseaux Algorithmes Distribués
– sequence: 8
  givenname: Matthias
  surname: Müller
  fullname: Müller, Matthias
  organization: RWTH Aachen University = Rheinisch-Westfälische Technische Hochschule Aachen
– sequence: 9
  givenname: Taisuke
  surname: Boku
  fullname: Boku, Taisuke
  organization: Center for Computational Sciences [Tsukuba]
BackLink https://hal.science/hal-03429330$$DView record in HAL
BookMark eNotzM1KAzEYheGACtraO3AxWxfRL3-TxF0paoURRRR0NSRp0kYyMyVpC717bXV1Xp7FGaHTfug9QlcEbgiAvNVSYYaBAeZSixqLlqgTNGK_cgQ4R5NSvgGAcgpE0Qv0-vz1eVe9bftN7Hzlhpy92_S-lMr0Ju1LLFUYctVt0ybi5Hc-VWuTTUqHyMMym66L_fKIi7jsyiU6CyYVP_nfMfp4uH-fzXHz8vg0mzZ4RQQo7IRlGhamppQHR6UBblywRGoruBW1skQH75gPzGppqTKk5kEoWRNwhBE2Rtd_vyuT2nWOncn7djCxnU-b9mDAONWMwY6wH5hNVNk
ContentType Book Chapter
Copyright Attribution
Copyright_xml – notice: Attribution
DBID 1XC
VOOES
DOI 10.1007/978-3-030-47956-5_18
DatabaseName Hyper Article en Ligne (HAL)
Hyper Article en Ligne (HAL) (Open Access)
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EndPage 567
ExternalDocumentID oai:HAL:hal-03429330v1
GroupedDBID 1XC
38.
AABBV
AAKKN
AALJR
AAQKC
ABEEZ
ABONR
ACBPT
ACGCR
ADOGT
AEHEY
AEKFX
AGWHU
AHRNR
AIQUZ
ALMA_UNASSIGNED_HOLDINGS
ALNDD
AZTDL
BBABE
CBBXP
CYNQG
CZZ
EIXGO
ESBCR
I4C
IEZ
IGLKH
OAOFD
OPOMJ
SBO
TPJZQ
V1H
VOOES
Z7R
Z83
Z85
Z88
ID FETCH-LOGICAL-h1508-c5b390da6224fc27a04acfb179b54b568b19fec3ef3b97b28a164f587610c1313
ISBN 3030479560
9783030479565
IngestDate Tue Oct 14 20:17:00 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
Language English
License Attribution: http://creativecommons.org/licenses/by
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-h1508-c5b390da6224fc27a04acfb179b54b568b19fec3ef3b97b28a164f587610c1313
ORCID 0000-0001-8387-056X
OpenAccessLink https://hal.science/hal-03429330
PageCount 23
ParticipantIDs hal_primary_oai_HAL_hal_03429330v1
PublicationCentury 2000
PublicationDate 2020-07-31
PublicationDateYYYYMMDD 2020-07-31
PublicationDate_xml – month: 07
  year: 2020
  text: 2020-07-31
  day: 31
PublicationDecade 2020
PublicationSeriesTitle Lecture Notes in Computational Science and Engineering
PublicationTitle Software for Exascale Computing - SPPEXA 2016-2019
PublicationYear 2020
Publisher Springer International Publishing
Publisher_xml – name: Springer International Publishing
SSID ssj0002420182
Score 1.6041207
Snippet In recent years the increasing compute power is mainly provided by rapidly increasing concurrency. Therefore, the HPC community is looking for new parallel...
SourceID hal
SourceType Open Access Repository
StartPage 545
SubjectTerms Computer Science
Distributed, Parallel, and Cluster Computing
Title MYX: Runtime correctness analysis for multi-level parallel programming paradigms
URI https://hal.science/hal-03429330
Volume 136
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Lj9MwELZ2VxwQB1geAhaQhbhVlpLmvRKHiu2qiFJF2mVVTpHjOLSQJqs27Vb8emYSJ3EKBzhwiVIntezMyJ75_M0MIe94imc_csiCWPrMBqOXwS-LCTeQGLgok6p8283Um838-TwIj45Pm1iYXeblub_fB7f_VdTQBsLG0Nl_EHfbKTTAPQgdriB2uB5YxH3sVUXbpuUdkrmQPTje8w2IQA7q0g0ICrDBVRiO56MB7MguTMhscYBwXZQ_FaCOBMtV69Nvtt-XNcP-jv8o2maQR7GTeZehQFO0i23Kt8kBAUkp5uev84qFhzUqVsiVX-OiW624vMmQgqOvqI4sQ1LTABOUZxne1HSyVRVDD43J8ptKt47fVm7eT9WZyKwoK6qZmnsDeTZLGR4XaKkYdewDHF0Fqh5gnwfoaQfg9ZxlC0-BPfAHnd7qb-nrt1PntlSmgFNXCvltl9GJJdApq3plTqR2kl5S78noKgovLqPpx9mn_lONCTkZTeG64BnDjIyIMe3Aoz8G0xxW6Btz0qKGYFAZ4BFikFIzG5W4rJudFiD6pyGCEbVoDg0qI-r6EXmAgTUUI15gbKfkSOaPycOmrAhVonlCQtCQc6r0g2r6QRv9oKAfVNMP2ugH1fSDtvrxlHy5HF9_mDBV-IMtsDwBE05sBUbCXbAvUzH0uGFzkcawd8SOHTuuH5tBKoUlUysOvHjoc3D6Uwc2dtMQpmVaz8hJXuTyOaHwkgcuu-UYUtq2YfLYhj-LxDMSd2gK8YK8ha8R3dapXSJMtg7CiLCtE8XLv3npjNzvVPQVOSnXW_ma3BO7crlZv6nE-AunG5ey
linkProvider Open Access Publishing in European Networks
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%3Abook&rft.genre=bookitem&rft.title=Software+for+Exascale+Computing+-+SPPEXA+2016-2019&rft.au=Protze%2C+Joachim&rft.au=Tsuji%2C+Miwako&rft.au=Terboven%2C+Christian&rft.au=Dufaud%2C+Thomas&rft.atitle=MYX%3A+Runtime+correctness+analysis+for+multi-level+parallel+programming+paradigms&rft.series=Lecture+Notes+in+Computational+Science+and+Engineering&rft.date=2020-07-31&rft.pub=Springer+International+Publishing&rft.isbn=9783030479565&rft.volume=136&rft.spage=545&rft.epage=567&rft_id=info:doi/10.1007%2F978-3-030-47956-5_18&rft.externalDBID=HAS_PDF_LINK&rft.externalDocID=oai%3AHAL%3Ahal-03429330v1
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783030479565/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783030479565/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783030479565/sc.gif&client=summon&freeimage=true