Converging Safety and High-performance Domains: Integrating OpenMP into Ada
Ref: CISTER-TR-180201 Publication Date: 19 to 23, Mar, 2018
Converging Safety and High-performance Domains: Integrating OpenMP into Ada
Ref: CISTER-TR-180201 Publication Date: 19 to 23, Mar, 2018Abstract:
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.
Sara Royuela
Luis Miguel PinhoEvents:
Document:
View
DownloadDesign, Automation, and Test in Europe conference (DATE 2018), pp 1021-1026.
Dresden, Germany.
DOI:10.23919/DATE.2018.8342162.
ISBN: 978-3-9819263-0-9.
ISSN: 1558-1101.
Record Date: 9, Feb, 2018