Conference
Προβολή σε EDS

A toolchain to verify the parallelization of OmpSs-2 applications

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: A toolchain to verify the parallelization of OmpSs-2 applications
Συγγραφείς: Economo, Simone, Royuela Alcázar, Sara, Ayguadé Parra, Eduard, Beltran Querol, Vicenç
Συνεισφορές: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors, Barcelona Supercomputing Center, Universitat Politècnica de Catalunya. CAP - Grup de Computació d'Altes Prestacions
Στοιχεία εκδότη: Springer
Έτος έκδοσης: 2020
Συλλογή: Universitat Politècnica de Catalunya, BarcelonaTech: UPCommons - Global access to UPC knowledge
Θεματικοί όροι: Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Parallel programming (Computer science), Compilers (Computer programs), Computer programs -- Testing, Synchronization, Software testing and debugging, Programació en paral·lel (Informàtica), Compiladors (Programes d'ordinador), Programes d'ordinador -- Control de qualitat
Περιγραφή: Programming models for task-based parallelization based on compile-time directives are very effective at uncovering the parallelism available in HPC applications. Despite that, the process of correctly annotating complex applications is error-prone and may hinder the general adoption of these models. In this paper, we target the OmpSs-2 programming model and present a novel toolchain able to detect parallelization errors coming from non-compliant OmpSs-2 applications. Our toolchain verifies the compliance with the OmpSs-2 programming model using local task analysis to deal with each task separately, and structural induction to extend the analysis to the whole program. To improve the effectiveness of our tools, we also introduce some ad-hoc verification annotations, which can be used manually or automatically to disable the analysis of specific code regions. Experiments run on a sample of representative kernels and applications show that our toolchain can be successfully used to verify the parallelization of complex real-world applications. ; This project is supported by the European Union’s Horizon 2021 research and innovation programme under grant agreement No 754304 (DEEP-EST), by the European Union’s Horizon 2020 research and innovation programme under grant agreement No 871669 (AMPERE) and the Project HPCEUROPA3 (INFRAIA-2016-1-730897), by the Ministry of Economy of Spain through the Severo Ochoa Center of Excellence Program (SEV-2015-0493), by the Spanish Ministry of Science and Innovation (contract TIN2015-65316-P), and by the Generalitat de Catalunya (2017-SGR-1481). ; Peer Reviewed ; Postprint (author's final draft)
Τύπος εγγράφου: conference object
Περιγραφή αρχείου: 16 p.; application/pdf
Γλώσσα: English
Relation: https://link.springer.com/chapter/10.1007/978-3-030-57675-2_2; info:eu-repo/grantAgreement/MINECO//TIN2015-65316-P/ES/COMPUTACION DE ALTAS PRESTACIONES VII/; info:eu-repo/grantAgreement/EC/H2020/871669/EU/A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimisation/AMPERE; info:eu-repo/grantAgreement/EC/H2020/730897/EU/Transnational Access Programme for a Pan-European Network of HPC Research Infrastructures and Laboratories for scientific computing/HPC-EUROPA3; info:eu-repo/grantAgreement/MINECO//SEV-2015-0493/ES/BARCELONA SUPERCOMPUTING CENTER - CENTRO. NACIONAL DE SUPERCOMPUTACION/; https://hdl.handle.net/2117/330464
DOI: 10.1007/978-3-030-57675-2_2
Διαθεσιμότητα: https://hdl.handle.net/2117/330464
https://doi.org/10.1007/978-3-030-57675-2_2
Rights: Open Access
Αριθμός Καταχώρησης: edsbas.C54840DD
Βάση Δεδομένων: BASE
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://hdl.handle.net/2117/330464#
    Name: EDS - BASE (ns324271)
    Category: fullText
    Text: View record from BASE
Header DbId: edsbas
DbLabel: BASE
An: edsbas.C54840DD
RelevancyScore: 909
AccessLevel: 3
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 908.994323730469
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: A toolchain to verify the parallelization of OmpSs-2 applications
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Economo%2C+Simone%22">Economo, Simone</searchLink><br /><searchLink fieldCode="AR" term="%22Royuela+Alcázar%2C+Sara%22">Royuela Alcázar, Sara</searchLink><br /><searchLink fieldCode="AR" term="%22Ayguadé+Parra%2C+Eduard%22">Ayguadé Parra, Eduard</searchLink><br /><searchLink fieldCode="AR" term="%22Beltran+Querol%2C+Vicenç%22">Beltran Querol, Vicenç</searchLink>
– Name: Author
  Label: Contributors
  Group: Au
  Data: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors<br />Barcelona Supercomputing Center<br />Universitat Politècnica de Catalunya. CAP - Grup de Computació d'Altes Prestacions
– Name: Publisher
  Label: Publisher Information
  Group: PubInfo
  Data: Springer
– Name: DatePubCY
  Label: Publication Year
  Group: Date
  Data: 2020
– Name: Subset
  Label: Collection
  Group: HoldingsInfo
  Data: Universitat Politècnica de Catalunya, BarcelonaTech: UPCommons - Global access to UPC knowledge
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Àrees+temàtiques+de+la+UPC%3A%3AInformàtica%3A%3AArquitectura+de+computadors%22">Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors</searchLink><br /><searchLink fieldCode="DE" term="%22Parallel+programming+%28Computer+science%29%22">Parallel programming (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22Compilers+%28Computer+programs%29%22">Compilers (Computer programs)</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+programs+--+Testing%22">Computer programs -- Testing</searchLink><br /><searchLink fieldCode="DE" term="%22Synchronization%22">Synchronization</searchLink><br /><searchLink fieldCode="DE" term="%22Software+testing+and+debugging%22">Software testing and debugging</searchLink><br /><searchLink fieldCode="DE" term="%22Programació+en+paral·lel+%28Informàtica%29%22">Programació en paral·lel (Informàtica)</searchLink><br /><searchLink fieldCode="DE" term="%22Compiladors+%28Programes+d'ordinador%29%22">Compiladors (Programes d'ordinador)</searchLink><br /><searchLink fieldCode="DE" term="%22Programes+d'ordinador+--+Control+de+qualitat%22">Programes d'ordinador -- Control de qualitat</searchLink>
– Name: Abstract
  Label: Description
  Group: Ab
  Data: Programming models for task-based parallelization based on compile-time directives are very effective at uncovering the parallelism available in HPC applications. Despite that, the process of correctly annotating complex applications is error-prone and may hinder the general adoption of these models. In this paper, we target the OmpSs-2 programming model and present a novel toolchain able to detect parallelization errors coming from non-compliant OmpSs-2 applications. Our toolchain verifies the compliance with the OmpSs-2 programming model using local task analysis to deal with each task separately, and structural induction to extend the analysis to the whole program. To improve the effectiveness of our tools, we also introduce some ad-hoc verification annotations, which can be used manually or automatically to disable the analysis of specific code regions. Experiments run on a sample of representative kernels and applications show that our toolchain can be successfully used to verify the parallelization of complex real-world applications. ; This project is supported by the European Union’s Horizon 2021 research and innovation programme under grant agreement No 754304 (DEEP-EST), by the European Union’s Horizon 2020 research and innovation programme under grant agreement No 871669 (AMPERE) and the Project HPCEUROPA3 (INFRAIA-2016-1-730897), by the Ministry of Economy of Spain through the Severo Ochoa Center of Excellence Program (SEV-2015-0493), by the Spanish Ministry of Science and Innovation (contract TIN2015-65316-P), and by the Generalitat de Catalunya (2017-SGR-1481). ; Peer Reviewed ; Postprint (author's final draft)
– Name: TypeDocument
  Label: Document Type
  Group: TypDoc
  Data: conference object
– Name: Format
  Label: File Description
  Group: SrcInfo
  Data: 16 p.; application/pdf
– Name: Language
  Label: Language
  Group: Lang
  Data: English
– Name: NoteTitleSource
  Label: Relation
  Group: SrcInfo
  Data: https://link.springer.com/chapter/10.1007/978-3-030-57675-2_2; info:eu-repo/grantAgreement/MINECO//TIN2015-65316-P/ES/COMPUTACION DE ALTAS PRESTACIONES VII/; info:eu-repo/grantAgreement/EC/H2020/871669/EU/A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimisation/AMPERE; info:eu-repo/grantAgreement/EC/H2020/730897/EU/Transnational Access Programme for a Pan-European Network of HPC Research Infrastructures and Laboratories for scientific computing/HPC-EUROPA3; info:eu-repo/grantAgreement/MINECO//SEV-2015-0493/ES/BARCELONA SUPERCOMPUTING CENTER - CENTRO. NACIONAL DE SUPERCOMPUTACION/; https://hdl.handle.net/2117/330464
– Name: DOI
  Label: DOI
  Group: ID
  Data: 10.1007/978-3-030-57675-2_2
– Name: URL
  Label: Availability
  Group: URL
  Data: https://hdl.handle.net/2117/330464<br />https://doi.org/10.1007/978-3-030-57675-2_2
– Name: Copyright
  Label: Rights
  Group: Cpyrght
  Data: Open Access
– Name: AN
  Label: Accession Number
  Group: ID
  Data: edsbas.C54840DD
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.C54840DD
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1007/978-3-030-57675-2_2
    Languages:
      – Text: English
    Subjects:
      – SubjectFull: Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors
        Type: general
      – SubjectFull: Parallel programming (Computer science)
        Type: general
      – SubjectFull: Compilers (Computer programs)
        Type: general
      – SubjectFull: Computer programs -- Testing
        Type: general
      – SubjectFull: Synchronization
        Type: general
      – SubjectFull: Software testing and debugging
        Type: general
      – SubjectFull: Programació en paral·lel (Informàtica)
        Type: general
      – SubjectFull: Compiladors (Programes d'ordinador)
        Type: general
      – SubjectFull: Programes d'ordinador -- Control de qualitat
        Type: general
    Titles:
      – TitleFull: A toolchain to verify the parallelization of OmpSs-2 applications
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Economo, Simone
      – PersonEntity:
          Name:
            NameFull: Royuela Alcázar, Sara
      – PersonEntity:
          Name:
            NameFull: Ayguadé Parra, Eduard
      – PersonEntity:
          Name:
            NameFull: Beltran Querol, Vicenç
      – PersonEntity:
          Name:
            NameFull: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors
      – PersonEntity:
          Name:
            NameFull: Barcelona Supercomputing Center
      – PersonEntity:
          Name:
            NameFull: Universitat Politècnica de Catalunya. CAP - Grup de Computació d'Altes Prestacions
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2020
          Identifiers:
            – Type: issn-locals
              Value: edsbas
            – Type: issn-locals
              Value: edsbas.oa
ResultId 1