Abstract
Recently, a semantic and runtime model for parallel programming was proposed for addition to Ada. The proposal uses program annotations (expressed as Ada 2012 aspects) to inform the compiler of opportunities for parallel computation, and also offers the ability to specify details of parallel execution. The proposal includes support for specialized behaviors via dedicated libraries and a runtime environment that builds on pools of worker tasks. This paper extends that work by adding notations for data types and parallel blocks, simplifying some of the parallel notations and eliminating obstructions to the implementation of efficient parallel algorithms.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Michell, S., Moore, B., Pinho, L.M.: Tasklettes – A Fine Grained Parallelism for Ada on Multicores. In: Keller, H.B., Plödereder, E., Dencker, P., Klenk, H. (eds.) Ada-Europe 2013. LNCS, vol. 7896, pp. 17–34. Springer, Heidelberg (2013)
Frigo, M., Leiserson, C.E., Randall, K.H.: The implementation of the Cilk-5 multithreaded language. SIGPLAN Not. 33, 212–223 (1998)
Marowka, A.: Parallel computing on any desktop. Communications of the ACM 50, 74–78 (2007)
Halpern, P.: Strict Fork-Join Parallelism, JTC1/SC22/WG21 N3409 (September 2012)
CPLEX, C Parallel Language EXtensions study group, archives at http://www.open-std.org/mailman/listinfo/cplex
Moore, B., Michell, S., Pinho, L.M.: Parallelism in Ada: General Model and Ravenscar. In: 16th International Real-Time Ada Workshop, York, UK (April 2013)
The Multicore Association, Multicore Programming Practices Guide, http://www.multicore-association.org/
Michell, S., Moore, B., Pinho, L.M.: Real-Time Programming on Accelerator Many-Core Processors. In: Proceedings of the High-Integrity Language Technologies Conference, HILT 2013 (November 2013)
OpenMP Architecture Review Board, OpenMP Application Program Interface, Version 4.0 (July 2013)
Ali, H., Pinho, L.M.: A parallel programming model for Ada. In: Proceedings of the ACM SIGAda Annual Conference, SIGAda 2011 (November 2011)
Moore, B.: Paraffin libraries, http://sourceforge.net/projects/paraffin/
ISO/IEC, Ada Reference Manual, ISO/IEC 8652:2012(E) (2012)
Squire, J.: Parallel implementation of the gauss-jordan elimination using maximum element for pivot (October 2008), http://www.csee.umbc.edu/~squire/download/psimeq.adb
Pinho, L.M., Michell, S., Moore, B.: Ada and Many-core Platforms. In: 16th International Real-Time Ada Workshop, York, UK (April 2013)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Pinho, L.M., Moore, B., Michell, S. (2014). Parallelism in Ada: Status and Prospects. In: George, L., Vardanega, T. (eds) Reliable Software Technologies – Ada-Europe 2014. Ada-Europe 2014. Lecture Notes in Computer Science, vol 8454. Springer, Cham. https://doi.org/10.1007/978-3-319-08311-7_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-08311-7_8
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08310-0
Online ISBN: 978-3-319-08311-7
eBook Packages: Computer ScienceComputer Science (R0)