OpenMP 4.5 validation and verification suite for device offload

Jose Monsalve Diaz; Swaroop Pophale; Oscar Hernandez; David E. Bernholdt; Sunita Chandrasekaran

doi:10.1007/978-3-319-98521-3_6

OpenMP 4.5 validation and verification suite for device offload

Jose Monsalve Diaz, Swaroop Pophale, Oscar Hernandez, David E. Bernholdt, Sunita Chandrasekaran

Programming Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

10 Scopus citations

Abstract

OpenMP has been widely adopted for shared memory systems for over a decade. With the heterogeneity trend in architectures rapidly growing, the programming model needed to evolve such that applications could not only be ported to traditional CPUs but also to accelerators often acting as discrete or integrated devices to CPUs. To that end, OpenMP started to provide support for heterogeneous systems since 2013 when the version 4.0 of the specification was ratified. OpenMP 4.5 is being enhanced to cover major requirements of Exascale Computing Project (ECP) applications. As a result it is time-critical to ensure that the implementations of the 4.5 features are correct and conforming to the specification. This paper focuses on building a Validation and Verification testsuite that will test and present results for several offloading features implemented in compilers such as Clang, IBM XL C/C++, CCE, and GCC. We have results for our testsuite on TITAN, Summitdev and Summit at the Oak Ridge National Lab. We will highlight some of the ambiguities we encountered in the process of validating and verifying feature implementations. We also make the testsuite available for anyone to use and will walk the readers through the infrastructure and the workflow of the testsuite. A website has been built to capture our efforts narrated in this paper https://crpl.cis.udel.edu/ompvvsollve.

Original language	English
Title of host publication	Evolving OpenMP for Evolving Architectures - 14th International Workshop on OpenMP, IWOMP 2018, Proceedings
Editors	Pedro Valero-Lara, Sergi Mateo Bellido, Xavier Martorell, Jesus Labarta, Bronis R. de Supinski
Publisher	Springer Verlag
Pages	82-95
Number of pages	14
ISBN (Print)	9783319985206
DOIs	https://doi.org/10.1007/978-3-319-98521-3_6
State	Published - 2018
Event	14th International Workshop on OpenMP, IWOMP 2018 - Barcelona, Spain Duration: Sep 26 2018 → Sep 28 2018

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11128 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	14th International Workshop on OpenMP, IWOMP 2018
Country/Territory	Spain
City	Barcelona
Period	09/26/18 → 09/28/18

Funding

J. M. Diaz and S. Pophale—Contributed Equally This manuscript has been co-authored by UT-Battelle, LLC, under contract DE-AC05-00OR22725 with the US Department of Energy (DOE). The US government retains and the publisher, by accepting the article for publication, acknowledges that the US government retains a nonexclusive, paid-up, irrevocable, worldwide license to publish or reproduce the published form of this manuscript, or allow others to do so, for US government purposes. DOE will provide public access to these results of federally sponsored research in accordance with the DOE Public Access Plan (http://energy.gov/downloads/doe-public-access-plan).

Keywords

OpenMP
Testsuite
Validation and Verification

Access to Document

10.1007/978-3-319-98521-3_6

Cite this

Diaz, J. M., Pophale, S., Hernandez, O., Bernholdt, D. E., & Chandrasekaran, S. (2018). OpenMP 4.5 validation and verification suite for device offload. In P. Valero-Lara, S. M. Bellido, X. Martorell, J. Labarta, & B. R. de Supinski (Eds.), Evolving OpenMP for Evolving Architectures - 14th International Workshop on OpenMP, IWOMP 2018, Proceedings (pp. 82-95). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11128 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-98521-3_6

Diaz, Jose Monsalve ; Pophale, Swaroop ; Hernandez, Oscar et al. / OpenMP 4.5 validation and verification suite for device offload. Evolving OpenMP for Evolving Architectures - 14th International Workshop on OpenMP, IWOMP 2018, Proceedings. editor / Pedro Valero-Lara ; Sergi Mateo Bellido ; Xavier Martorell ; Jesus Labarta ; Bronis R. de Supinski. Springer Verlag, 2018. pp. 82-95 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{687ec605ac0a49ef96a692305a204a78,

title = "OpenMP 4.5 validation and verification suite for device offload",

abstract = "OpenMP has been widely adopted for shared memory systems for over a decade. With the heterogeneity trend in architectures rapidly growing, the programming model needed to evolve such that applications could not only be ported to traditional CPUs but also to accelerators often acting as discrete or integrated devices to CPUs. To that end, OpenMP started to provide support for heterogeneous systems since 2013 when the version 4.0 of the specification was ratified. OpenMP 4.5 is being enhanced to cover major requirements of Exascale Computing Project (ECP) applications. As a result it is time-critical to ensure that the implementations of the 4.5 features are correct and conforming to the specification. This paper focuses on building a Validation and Verification testsuite that will test and present results for several offloading features implemented in compilers such as Clang, IBM XL C/C++, CCE, and GCC. We have results for our testsuite on TITAN, Summitdev and Summit at the Oak Ridge National Lab. We will highlight some of the ambiguities we encountered in the process of validating and verifying feature implementations. We also make the testsuite available for anyone to use and will walk the readers through the infrastructure and the workflow of the testsuite. A website has been built to capture our efforts narrated in this paper https://crpl.cis.udel.edu/ompvvsollve.",

keywords = "OpenMP, Testsuite, Validation and Verification",

author = "Diaz, {Jose Monsalve} and Swaroop Pophale and Oscar Hernandez and Bernholdt, {David E.} and Sunita Chandrasekaran",

year = "2018",

doi = "10.1007/978-3-319-98521-3_6",

language = "English",

isbn = "9783319985206",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "82--95",

editor = "Pedro Valero-Lara and Bellido, {Sergi Mateo} and Xavier Martorell and Jesus Labarta and {de Supinski}, {Bronis R.}",

booktitle = "Evolving OpenMP for Evolving Architectures - 14th International Workshop on OpenMP, IWOMP 2018, Proceedings",

}

Diaz, JM, Pophale, S , Hernandez, O , Bernholdt, DE & Chandrasekaran, S 2018, OpenMP 4.5 validation and verification suite for device offload. in P Valero-Lara, SM Bellido, X Martorell, J Labarta & BR de Supinski (eds), Evolving OpenMP for Evolving Architectures - 14th International Workshop on OpenMP, IWOMP 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11128 LNCS, Springer Verlag, pp. 82-95, 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, 09/26/18. https://doi.org/10.1007/978-3-319-98521-3_6

OpenMP 4.5 validation and verification suite for device offload. / Diaz, Jose Monsalve; Pophale, Swaroop ; Hernandez, Oscar et al.
Evolving OpenMP for Evolving Architectures - 14th International Workshop on OpenMP, IWOMP 2018, Proceedings. ed. / Pedro Valero-Lara; Sergi Mateo Bellido; Xavier Martorell; Jesus Labarta; Bronis R. de Supinski. Springer Verlag, 2018. p. 82-95 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11128 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - OpenMP 4.5 validation and verification suite for device offload

AU - Diaz, Jose Monsalve

AU - Pophale, Swaroop

AU - Hernandez, Oscar

AU - Bernholdt, David E.

AU - Chandrasekaran, Sunita

PY - 2018

Y1 - 2018

N2 - OpenMP has been widely adopted for shared memory systems for over a decade. With the heterogeneity trend in architectures rapidly growing, the programming model needed to evolve such that applications could not only be ported to traditional CPUs but also to accelerators often acting as discrete or integrated devices to CPUs. To that end, OpenMP started to provide support for heterogeneous systems since 2013 when the version 4.0 of the specification was ratified. OpenMP 4.5 is being enhanced to cover major requirements of Exascale Computing Project (ECP) applications. As a result it is time-critical to ensure that the implementations of the 4.5 features are correct and conforming to the specification. This paper focuses on building a Validation and Verification testsuite that will test and present results for several offloading features implemented in compilers such as Clang, IBM XL C/C++, CCE, and GCC. We have results for our testsuite on TITAN, Summitdev and Summit at the Oak Ridge National Lab. We will highlight some of the ambiguities we encountered in the process of validating and verifying feature implementations. We also make the testsuite available for anyone to use and will walk the readers through the infrastructure and the workflow of the testsuite. A website has been built to capture our efforts narrated in this paper https://crpl.cis.udel.edu/ompvvsollve.

AB - OpenMP has been widely adopted for shared memory systems for over a decade. With the heterogeneity trend in architectures rapidly growing, the programming model needed to evolve such that applications could not only be ported to traditional CPUs but also to accelerators often acting as discrete or integrated devices to CPUs. To that end, OpenMP started to provide support for heterogeneous systems since 2013 when the version 4.0 of the specification was ratified. OpenMP 4.5 is being enhanced to cover major requirements of Exascale Computing Project (ECP) applications. As a result it is time-critical to ensure that the implementations of the 4.5 features are correct and conforming to the specification. This paper focuses on building a Validation and Verification testsuite that will test and present results for several offloading features implemented in compilers such as Clang, IBM XL C/C++, CCE, and GCC. We have results for our testsuite on TITAN, Summitdev and Summit at the Oak Ridge National Lab. We will highlight some of the ambiguities we encountered in the process of validating and verifying feature implementations. We also make the testsuite available for anyone to use and will walk the readers through the infrastructure and the workflow of the testsuite. A website has been built to capture our efforts narrated in this paper https://crpl.cis.udel.edu/ompvvsollve.

KW - OpenMP

KW - Testsuite

KW - Validation and Verification

UR - http://www.scopus.com/inward/record.url?scp=85057281438&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-98521-3_6

DO - 10.1007/978-3-319-98521-3_6

M3 - Conference contribution

AN - SCOPUS:85057281438

SN - 9783319985206

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 82

EP - 95

BT - Evolving OpenMP for Evolving Architectures - 14th International Workshop on OpenMP, IWOMP 2018, Proceedings

A2 - Valero-Lara, Pedro

A2 - Bellido, Sergi Mateo

A2 - Martorell, Xavier

A2 - Labarta, Jesus

A2 - de Supinski, Bronis R.

PB - Springer Verlag

T2 - 14th International Workshop on OpenMP, IWOMP 2018

Y2 - 26 September 2018 through 28 September 2018

ER -

Diaz JM, Pophale S , Hernandez O , Bernholdt DE, Chandrasekaran S. OpenMP 4.5 validation and verification suite for device offload. In Valero-Lara P, Bellido SM, Martorell X, Labarta J, de Supinski BR, editors, Evolving OpenMP for Evolving Architectures - 14th International Workshop on OpenMP, IWOMP 2018, Proceedings. Springer Verlag. 2018. p. 82-95. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-98521-3_6

OpenMP 4.5 validation and verification suite for device offload

Abstract

Publication series

Conference

Funding

Keywords

Access to Document

Other files and links

Fingerprint

Cite this