Login

Converging Safety and High-performance Domains: Integrating OpenMP into Ada
Ref: CISTER-TR-180201       Publication Date: 19 to 21, Mar, 2018

Converging Safety and High-performance Domains: Integrating OpenMP into Ada

Ref: CISTER-TR-180201       Publication Date: 19 to 21, Mar, 2018

Abstract:
The use of parallel heterogeneous embedded architectures is needed to implement the level of performance required in advanced safety-critical systems. Hence, there is a demand for using high level parallel programming models capable of efficiently exploiting the performance opportunities.
In this paper, we evaluate the incorporation of OpenMP, a parallel programming model used in HPC, into Ada, a language spread in safety-critical domains. We demonstrate that the execution model of OpenMP is compatible with the recently proposed Ada tasklet model, meant to exploit fine-grain structured parallelism. Moreover, we show the compatibility of the OpenMP and tasklet models, enabling the use of OpenMP directives in Ada to further exploit unstructured parallelism and heterogeneous computation. Finally, we state the safety properties of OpenMP and analyze the interoperability between the OpenMP and Ada runtimes. Overall, we conclude that OpenMP can be effectively incorporated into Ada without jeopardizing its safety properties.

Authors:
Sara Royuela
,
Luis Miguel Pinho
,
Eduardo QuiƱones


Events:

DATE 2018
19, Mar, 2018 >> 23, Mar, 2018
Design, Automation and Test in Europe
Dresden, Germany


Design, Automation, and Test in Europe conference (DATE 2018).
Dresden, Germany.



Record Date: 9, Feb, 2018