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.
- 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 Scholar
- 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 Scholar
- 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 Scholar
- 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 Scholar
Digital Library
- S. T. Taft, "Report on Ada 202X light-weight parallelism features," 2020.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- S. Royuela, A. Duran, C. Liao and D. J. Quinlan, "Autoscoping for OpenMP Tasks," in International Workshop on OpenMP (IWOMP), 2012. Google Scholar
Digital Library
- S. Royuela, A. Durán and X. Martorell, "Compiler Automatic Discovery of OmpSs Task Dependencies," 2012.Google Scholar
- 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 Scholar
- OpenMP Architecture Review Board, "OpenMP Application Programming Interface," 2018.Google Scholar
- A. Marongiu, G. Tagliavini and E. Quiñones, "OpenMP Runtime," in High-Performance and Time-Predictable Embedded Computing, 2018.Google Scholar
- 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 Scholar
- M. A. Serrano, S. Royuela, A. Marongiu and E. Quinones, "Predictable Parallel Programming," in High- Performance and Time-Predictable Embedded Computing, 2018.Google Scholar
- 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 Scholar
- AdaCore, "GitHub - AdaCore/gnat-llvm: LLVM based GNAT compiler," 2020. [Online]. Available: https://github.com/AdaCore/gnat-llvm.Google Scholar
- S. Royuela, R. Ferrer, D. Caballero and X. Martorell, "Compiler analysis for OpenMP tasks correctness," in International Conference on Computing Frontiers (CF), 2015. Google Scholar
Digital Library
- 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 Scholar
Index Terms
(auto-classified)Real-time Issues in the Ada Parallel Model with OpenMP
Recommendations
Open issues in MPI implementation
ACSAC'07: Proceedings of the 12th Asia-Pacific conference on Advances in Computer Systems ArchitectureMPI (the Message Passing Interface) continues to be the dominant programming model for parallel machines of all sizes, from small Linux clusters to the largest parallel supercomputers such as IBM Blue Gene/L and Cray XT3. Although the MPI standard was ...
Ada for real-time and parallel processing
SIGAda '09: Proceedings of the ACM SIGAda annual international conference on Ada and related technologiesThis tutorial covers two of the major problems with parallel and real-time programming - time management and storage management. Parallel processing, whether on single-processor machines or multiple processors, has many pitfalls. We will examine these ...
Research on MPI/OpenMP Hybrid Parallel Computation of AREM Model
ICIC '10: Proceedings of the 2010 Third International Conference on Information and Computing - Volume 01In this paper, aiming the feature of multi-core high performance computer system architecture containing the shared-memory and distributed memory structures, the research and implementation on MPI/OpenMP hybrid parallel computation of AREM model are ...






Comments