Abstract
This paper extends the authors earlier proposal for providing Ada with support for fine-grained parallelism with an execution model based on the concept of abstract executors, detailing the progress guarantees that these executors must provide and how these can be assured even in the presence of potentially blocking operations. The paper also describes how this execution model can be applied to real-time systems.
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
CPLEX, C Parallel Language EXtensions study group. http://www.open-std.org/mailman/listinfo/cplex (last accessed March 2015)
Working Draft: Technical Specification for C++ Extensions for Parallelism. http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n3960.pdf (last accessed March 2015)
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)
Pinho, L.M., Moore, B., Michell, S.: Parallelism in Ada: status and prospects. In: George, L., Vardanega, T. (eds.) Ada-Europe 2014. LNCS, vol. 8454, pp. 91–106. Springer, Heidelberg (2014)
Taft, T., Moore, B., Pinho, L.M., Michell, S.: Safe parallel programming in Ada with language extensions. In: High-Integrity Language Technologies Conference (October 2014)
Intel Corporation: Cilk Plus. https://software.intel.com/en-us/intel-cilk-plus (last accessed March 2015)
OpenMP Architecture Review Board: OpenMP Application Program Interface, Version 4.0, July 2013
ISO IEC 8652:2012. Programming Languages and their Environments – Programming Language Ada. International Standards Organization, Geneva, Switzerland (2012)
Eykholt, J., Kleiman, S., Barton, S., Faulkner, R., Shivalingiah, A., Smith, M., Stein, D., Voll, J., Weeks, M., Williams, D.: Beyond multiprocessing: multithreading the SunOS kernel. In: Proceedings of the Summer USENIX Conference (June 1992)
Moore, B., Michell, S., Pinho, L.M.: Parallelism in Ada: general model and ravenscar. In: 16th International Real-Time Ada Workshop (April 2013)
Riegel, T.: Light-Weight Execution Agents (October 2014). http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n4156.pdf (last accessed March 2015)
Bosch, G.: Lock-free protected types for real-time Ada. In: 16th International Real-Time Ada Workshop (April 2013)
Blumofe, R.D., Leiserson, C.E.: Scheduling multithreaded computations by work stealing. J. ACM 46, 720–748 (1999)
Huang, L., Eachempati, D., Hervey, M.W., Chapman, B.: Extending Global Optimizations in the OpenUH Compiler for OpenMP. Open64 Workshop at CGO (2008)
Pinho, L.M., Quiñones, E., Bertogna, M., Marongiu, A., Carlos, J., Scordino, C., Ramponi, M.: P-SOCRATES: a parallel software framework for time-critical many-core systems. In: Euromicro Conference on Digital System Design (August 2014)
Baruah, S.: Improved multiprocessor global schedulability analysis of sporadic DAG task systems. In: 26th Euromicro Conference on Real-Time Systems (July 2014)
Li, J., Chen, J.J., Agrawal, K., Lu, C., Gill, C., Saifullah, A.: Analysis of federated and global scheduling for parallel real-time tasks. In: 26th Euromicro Conference on Real-Time Systems (July 2014)
Saifullah, A., Li, J., Agrawal, K., Lu, C., Gill, C.: Multi-core real-time scheduling for generalized parallel task models. Real-Time Systems, 49(4) (July 2013)
Maia, C., Bertogna, M., Nogueira, L., Pinho, L.M.: Response-time analysis of synchronous parallel tasks in multiprocessor systems. In: 22nd International Conference on Real-Time Networks and Systems (October 2014)
Axer, P., Quinton, S., Neukirchner, M., Ernst, R., Dobel, B., Hartig, H.: Response-time analysis of parallel fork-join workloads with real-time constraints. In: 25th Euromicro Conference on Real-Time Systems (July 2013)
Pellizzoni, R., Betti, E., Bak, S., Yao, G., Criswell, J., Caccamo, M., Kegley, R.: A predictable execution model for COTS-based embedded systems. In: 17th IEEE Real-Time and Embedded Technology and Applications Symposium (April 2011)
Fonseca, J., Nélis, V., Raravi, G., Pinho, L.M.: A multi-DAG model for real-time parallel applications with conditional execution. In: 30th ACM Symposium on Applied Computing (April 2015)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Pinho, L.M., Moore, B., Michell, S., Tucker Taft, S. (2015). An Execution Model for Fine-Grained Parallelism in Ada . In: de la Puente, J., Vardanega, T. (eds) Reliable Software Technologies – Ada-Europe 2015. Ada-Europe 2015. Lecture Notes in Computer Science(), vol 9111. Springer, Cham. https://doi.org/10.1007/978-3-319-19584-1_13
Download citation
DOI: https://doi.org/10.1007/978-3-319-19584-1_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19583-4
Online ISBN: 978-3-319-19584-1
eBook Packages: Computer ScienceComputer Science (R0)