Enabling Ada and OpenMP Runtimes Interoperability through Template-based Execution
Ref: CISTER-TR-191218 Publication Date: 14, Jan, 2020
Enabling Ada and OpenMP Runtimes Interoperability through Template-based ExecutionRef: CISTER-TR-191218 Publication Date: 14, Jan, 2020
The growing trend to support parallel computation to enable the performance gains of the recent hardware architectures is increasingly present in more conservative domains, such as safety-critical systems. Applications such as autonomous driving require levels of performance only achievable by fully leveraging the potential parallelism in these architectures. To address this requirement, the Ada language, designed for safety and robustness, is considering to support parallel features in the next revision of the standard (Ada 202X). Recent works have motivated the use of OpenMP, a de facto standard in high-performance computing, to enable parallelism in Ada, showing the compatibility of the two models, and proposing static analysis to enhance reliability. This paper summarizes these previous efforts towards the integration of OpenMP into Ada to exploit its benefits in terms of portability, programmability and performance, while providing the safety benefits of Ada in terms of correctness. The paper extends those works proposing and evaluating an application transformation that enables the OpenMP and the Ada runtimes to operate (under certain restrictions) as they were integrated. The objective is to allow Ada programmers to (naturally) experiment and evaluate the benefits of parallelizing concurrent Ada tasks with OpenMP while ensuring the compliance with both specifications.
Published in Journal of Systems Architecture (JSA), Elsevier, Volume 105, Article No 101702.
Record Date: 19, Dec, 2019