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
N1 - Publisher Copyright:
© 2018, Springer Verlag. All rights reserved.
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 -