22nd International Conference on Reliable Software Technologies (Ada-Europe 2017). 12 to 16, Jun, 2017. Vienna, Austria. ; The safety-critical real-time embedded domain increasingly demands the use of parallel architectures to fulfill performance requirements. Such architectures require the use of parallel programming models to exploit the underlying parallelism. This paper evaluates the applicability of using OpenMP, a widespread parallel programming model, with Ada, a language widely used in the safety-critical domain. Concretely, this paper shows that applying the OpenMP tasking model to exploit fine-grained parallelism within Ada tasks does not impact on programs safeness and correctness, which is vital in the environments where Ada is mostly used. Moreover, we compare the OpenMP tasking model with the proposal of Ada extensions to define parallel blocks, parallel loops and reductions. Overall, we conclude that the OpenMP tasking model can be safely used in such environments, being a promising approach to exploit fine-grain parallelism in Ada tasks, and we identify the issues which still need to be further researched. ; info:eu-repo/semantics/publishedVersion


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    OpenMP tasking model for Ada: safety and correctness


    Beteiligte:

    Erscheinungsdatum :

    2017-01-01


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch


    Klassifikation :

    DDC:    629



    Realistic Sensor Tasking Strategies

    Frueh, Carolin | British Library Conference Proceedings | 2016


    Mission Planning and Tasking

    Planchon, D. / Advisory Group for Aerospace Research and Development | British Library Conference Proceedings | 1995


    Timing Correctness in Safety-Related Automotive Software

    Zalman, R. / Griessing, A. / Emberson, P. et al. | British Library Conference Proceedings | 2011


    Multi-tasking muscle machines

    Online Contents | 2008


    Multi-tasking muscle machine

    Judge, Tom | IuD Bahn | 2008