Loading...
Publication
Converging safety and high-performance domains: Integrating OpenMP into Ada
| Name: | Description: | Size: | Format: | |
|---|---|---|---|---|
| 216.86 KB | Adobe PDF |
Advisor(s)
Abstract(s)
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.
Description
Keywords
Ada Embedded systems Parallel programming
Citation
Publisher
Institute of Electrical and Electronics Engineers