Abstract
The widespread use of multi-CPU computers is challenging programming languages, which need to adapt to be able to express potential parallelism at the language level. In this paper we propose a new model for fine grained parallelism in Ada, putting forward a syntax based on aspects, and the corresponding semantics to integrate this model with the existing Ada tasking capabilities. We also propose a standard interface and show how it can be extended by the user or library writers to implement their own parallelization strategies.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Hansen, P.B.: The Programming Language Concurrent Pascal. IEEE Transactions on Software Engineering 1(2), 199–207 (1975)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall (1985)
Ada Programming Language, ANSI/MIL-STD-1815A-1983 (1983)
Java Language Specification, http://www.oracle.com/java (last accessed February 2013)
Sutter, H., Larus, J.: Software and the concurrency revolution. Queue 3, 54–62 (2005)
Asanovic, K., Bodik, R., Catanzaro, B.C., Gebis, J.J., Husbands, P., Keutzer, K., Patterson, D.A., Plishker, W.L., Shalf, J., Williams, S.W., Yelick, K.A.: The landscape of parallel computing research: A view from Berkeley. Technical Report UCB/EECS-2006-183, EECS Department, University of California, Berkeley (December 2006)
Ada 83 Rationale, http://www.adaic.org/ada-resources/standards/ada83/ (last accessed February 2013)
Mayer, H.G., Jahnichen, S.: The data-parallel Ada run-time system, simulation and empirical results. In: Proceedings of Seventh International Parallel Processing Symposium, Newport, CA, USA, pp. 621–627 (April 1993)
Hind, M., Schonberg, E.: Efficient Loop-Level Parallelism in Ada. In: Proceedings of TriAda 1991 (October 1991)
Thornley, J.: Integrating parallel dataflow programming with the Ada tasking model. In: Engle Jr., C.B. (ed.) Proceedings of TRI-Ada 1994. ACM, New York (1994)
Moore, B.: Parallelism generics for Ada 2005 and beyond. In: Proceedings of the ACM SIGAda Annual Conference (SIGAda 2010) (October 2010)
Ali, H., Pinho, L.M.: A parallel programming model for Ada. In: Proceedings of the ACM SIGAda Annual Conference (SIGAda 2011) (November 2011)
Hansen, P.B.: Structured Multiprogramming. Communications of the ACM 15(7) (July 1972)
Frigo, M., Leiserson, C.E., Randall, K.H.: The implementation of the cilk-5 multithreaded language. SIGPLAN Notice 33, 212–223 (1998)
Leiserson, C.: The Cilk++ concurrency platform. In: Proceedings of the 46th Annual Design Automation Conference. ACM, New York (2009)
Intel, Cilk Plus, http://software.intel.com/en-us/articles/intel-cilk-plus/ (last accessed February 2013)
Taft, T.: Designing ParaSail, a new programming language, http://parasail-programming-language.blogspot.pt/ (last accessed February 2013)
Intel. Threading Building Blocks, http://threadingbuildingblocks.org/ (last accessed February 2013)
Lea, D.: A Java fork/join framework. In: Proceedings of the ACM 2000 Conference on Java Grande, JAVA 2000, pp. 36–43. ACM, New York (2000)
Marowka, A.: Parallel computing on any desktop. Communications of the ACM 50, 74–78 (2007)
Microsoft. Task parallel library, http://msdn.microsoft.com/en-us/library/dd460717.aspx (last accessed February 2013)
Barnes, J.G.P.: Rationale for Ada 2012: 1 Contracts and aspects. Ada User Journal 32(4) (December 2011)
Blumofe, R.D., Leiserson, C.E.: Scheduling multithreaded computations by work stealing. Journal of the ACM 46(5), 720–748 (1999)
Halpern, P.: Strict Fork-Join Parallelism. JTC1/SC22/WG21 N3409 (September 2012)
Ladner, R.E., Fischer, M.J.: Parallel Prefix Computation. Journal of the ACM 27(4), 831–838 (1980)
Moore, B.: A comparison of work-sharing, work-seeking, and work-stealing parallelism strategies using Paraffin with Ada 2005. Ada User Journal 32(1) (March 2011), http://www.ada-europe.org (last accessed February 2013)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Michell, S., Moore, B., Pinho, L.M. (2013). Tasklettes – A Fine Grained Parallelism for Ada on Multicores. In: Keller, H.B., Plödereder, E., Dencker, P., Klenk, H. (eds) Reliable Software Technologies – Ada-Europe 2013. Ada-Europe 2013. Lecture Notes in Computer Science, vol 7896. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38601-5_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-38601-5_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38600-8
Online ISBN: 978-3-642-38601-5
eBook Packages: Computer ScienceComputer Science (R0)