skip to main content
research-article

Real-time Issues in the Ada Parallel Model with OpenMP

Published:27 April 2021Publication History
Skip Abstract Section

Abstract

The current proposal for the next revision of the Ada language considers the possibility to map the language parallel features to an underlying OpenMP runtime. As previously presented, and discussed in previous workshops, the works on fine-grain parallelism in Ada map well to the OpenMP tasking model for parallelism. Nevertheless, and although the general model of integration, and the semantic constructs are already reflected in the proposed revision of the standard, the integration of these new features with the Real-Time Systems Annex of Ada is still not complete. This paper presents an overview of what is supported and the still open issues.

References

  1. Ada Rapporteur Group, "Ada Reference Manual, 202x Edition, Draft 26," 2020. [Online]. Available: http://www.ada-auth.org/standards/2xrm/html/RMTTL. html. [Accessed September 2020].Google ScholarGoogle Scholar
  2. L. M. Pinho, B. Moore and S. Michell, "Parallelism in Ada: status and prospects," in International Conference on Re-liable Software Technologies -- Ada-Europe 2014, LNCS 8454, Springer, 2014.Google ScholarGoogle Scholar
  3. S. Royuela, C. Martorell, E. Q. X and L. M. Pinho, "OpenMP tasking model for Ada: safety and correctness," in 22nd International Conference on Reliable Software Technologies (Ada-Europe 2017), pp 184--200. Vienna, Austria, 2017.Google ScholarGoogle Scholar
  4. L. M. Pinho and T. Vardanega, "Session Summary: Parallel Programming," in IRTAW 2018, Ada Lett. 38, 1 (July 2018), 58--60. DOI:https://doi.org/ 10.1145/3241950.3241960, 2018. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. S. T. Taft, "Report on Ada 202X light-weight parallelism features," 2020.Google ScholarGoogle Scholar
  6. B. Chapman, L. Huang, E. Biscondi, E. Stotzer, A. Shrivastava and A. Gatherer, "Implementing OpenMP on a High-Performance Embedded Multicore MPSoC," in International Symposium on Parallel & Distributed Processing, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. A. Marongiu, P. Burgio and L. Benini, "Supporting OpenMP on a Multi-cluster Embedded MPSoC," Microprocessors and Microsystems, vol. 35, no. 8, pp. 668--682, 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. M. A. Serrano, S. Royuela and E. Quiñones, "Towards an OpenMP Specification for Critical Real-Time Systems," in International Workshop on OpenMP (IWOMP), 2018.Google ScholarGoogle Scholar
  9. M. Garcia, J. Corbalan, R. M. Badia and J. Labarta, "A Dynamic Load Balancing Approach with SMPSuperscalar and MPI," in Facing the Multicore- Challenge II, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. S. Royuela, M. A. G.-G. M. Serrano, S. M. Bellido, J. Labarta and E. Quiñones, "The Cooperative Parallel: A Discussion about Run-time Schedulers for Nested Parallelism," in International Workshop on OpenMP (IWOMP), 2019.Google ScholarGoogle Scholar
  11. S. Royuela, L. M. Pinho and E. Quiñones, "Enabling Ada and OpenMP Runtimes Interoperability through Template-based Execution," Journal of Systems Architecture, vol. 105, 2020.Google ScholarGoogle Scholar
  12. R. Vargas, E. Quiñones and A. Maronjiu, "OpenMP and Time Predictability: A Possible Union?," in Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. M. A. Serra, A. Melani, R. Vargas, A. Marongiu, M. Bertogna and E. Quiñones, "Timing Characterization of OpenMP4 Tasking Model," in International Conference on Compilers, Architecture and Synthesis for Embeded Systems (CASES), 157--166. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. J. Sun, N. Guan, Y. Wang, Q. He and W. Yi, "Real-time Scheduling and Analysis of OpenMP Task Systems With Tied Tasks," in IEEE Real-Time Systems Symposium (RTSS), 2017.Google ScholarGoogle Scholar
  15. S. Royuela, A. Durán, M. A. Serrano, E. Quiñones and X. Martorell, "A Functional Safety OpenMP* for Critical Real-time Embedded Systems," in International Workshop on OpenMP (IWOMP), 2017.Google ScholarGoogle Scholar
  16. U. Banerjee, B. Bliss, Z. Ma and P. Petersen, "A Theory of Data Race Detection," in Workshop on Parallel and Distributed Systems: Testing and Debugging, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. D. P. D. S. P. Kroenig and B. Watcher, "Sound Static Analysis for C/Pthreads," in IEEE/ACM International Conference on Automated Software Engineering, 2016. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. M. Wong, M. Klemm, A. Duran, T. Mattson, G. Haab, B. R. de Supinski and A. Churbanov, "Towards an Error Model for OpenMP," in International Workshop on OpenMP, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. S. Royuela, A. Duran, C. Liao and D. J. Quinlan, "Autoscoping for OpenMP Tasks," in International Workshop on OpenMP (IWOMP), 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. S. Royuela, A. Durán and X. Martorell, "Compiler Automatic Discovery of OmpSs Task Dependencies," 2012.Google ScholarGoogle Scholar
  21. L. M. Pinho, B. Moore, S. Michell and S. T. Taft, "An Execution Model for Fine-Grained Parallelism in Ada," in Proceedings of the 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22--26, 2015.Google ScholarGoogle Scholar
  22. OpenMP Architecture Review Board, "OpenMP Application Programming Interface," 2018.Google ScholarGoogle Scholar
  23. A. Marongiu, G. Tagliavini and E. Quiñones, "OpenMP Runtime," in High-Performance and Time-Predictable Embedded Computing, 2018.Google ScholarGoogle Scholar
  24. C. Scordino, E. Guidieri, B. Morelli, A. Marongiu, G. Tagliavini and P. Gai, "Embedded Operating Systems," in Ada Letters, December 2020 101 Volume XL, Number 2 High-Performance and Time-Predictable Embedded Computing, 2018.Google ScholarGoogle Scholar
  25. M. A. Serrano, S. Royuela, A. Marongiu and E. Quinones, "Predictable Parallel Programming," in High- Performance and Time-Predictable Embedded Computing, 2018.Google ScholarGoogle Scholar
  26. M. A. Serrano, S. Royuela and E. Quiñones, "Towards an OpenMP Specification for Critical Real-time Systems," in Internation Workshop on OpenMP (IWOMP), 2018.Google ScholarGoogle Scholar
  27. AdaCore, "GitHub - AdaCore/gnat-llvm: LLVM based GNAT compiler," 2020. [Online]. Available: https://github.com/AdaCore/gnat-llvm.Google ScholarGoogle Scholar
  28. S. Royuela, R. Ferrer, D. Caballero and X. Martorell, "Compiler analysis for OpenMP tasks correctness," in International Conference on Computing Frontiers (CF), 2015. Google ScholarGoogle ScholarDigital LibraryDigital Library
  29. B. Moore, L. M. Pinho, S. Michell, "Tasklettes -- a Fine Grained Parallelism for Ada on Multicores," in International Conference on Reliable Software Technologies -- Ada-Europe 2013, LNCS 7896, Springer, 2013.Google ScholarGoogle Scholar

Index Terms

(auto-classified)
  1. Real-time Issues in the Ada Parallel Model with OpenMP

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in

      Full Access

      • Published in

        cover image ACM SIGAda Ada Letters
        ACM SIGAda Ada Letters  Volume 40, Issue 2
        December 2020
        55 pages
        ISSN:1094-3641
        DOI:10.1145/3463478
        • Editor:
        • Alok Srivastava
        Issue’s Table of Contents

        Copyright © 2021 Copyright is held by the owner/author(s)

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 27 April 2021

        Check for updates

        Qualifiers

        • research-article
      • Article Metrics

        • Downloads (Last 12 months)4
        • Downloads (Last 6 weeks)0

        Other Metrics

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader
      About Cookies On This Site

      We use cookies to ensure that we give you the best experience on our website.

      Learn more

      Got it!