Analysis of Validating and Verifying OpenACC Compilers 3.0 and Above

08/27/2022
by   A. M. Jarmusch, et al.
0

OpenACC is a high-level directive-based parallel programming model that can manage the sophistication of heterogeneity in architectures and abstract it from the users. The portability of the model across CPUs and accelerators has gained the model a wide variety of users. This means it is also crucial to analyze the reliability of the compilers' implementations. To address this challenge, the OpenACC Validation and Verification team has proposed a validation testsuite to verify the OpenACC implementations across various compilers with an infrastructure for a more streamlined execution. This paper will cover the following aspects: (a) the new developments since the last publication on the testsuite, (b) outline the use of the infrastructure, (c) discuss tests that highlight our workflow process, (d) analyze the results from executing the testsuite on various systems, and (e) outline future developments.

READ FULL TEXT
research
04/02/2021

A Formal Analysis of the MimbleWimble Cryptocurrency Protocol

MimbleWimble (MW) is a privacy-oriented cryptocurrency technology which ...
research
10/16/2021

Verification of MPI programs

In this paper, we outline an approach to verifying parallel programs. A ...
research
03/31/2019

Workflow Management on the Blockchain --- Implications and Recommendations

Blockchain technology, originally popularized by cryptocurrencies, has b...
research
12/11/2020

DataVault: A Data Storage Infrastructure for the Einstein Toolkit

Data sharing is essential in the numerical simulations research. We intr...
research
12/21/2019

Verifying x86 Instruction Implementations

Verification of modern microprocessors is a complex task that requires a...
research
03/11/2021

Exploring the Mysteries of System-Level Test

System-level test, or SLT, is an increasingly important process step in ...

Please sign up or login with your details

Forgot password? Click here to reset