Abstract
Multi-core platforms are challenging the way software is developed, in all application domains. For the particular case of real-time systems, models for the development of parallel software must be able to be shown correct in both functional and non-functional properties at design-time. In particular, issues such as concurrency, timing behaviour and interaction with the environment need to be addressed with the same caution as for the functional requirements. This paper proposes an execution model for the parallelization of real-time software, based upon a fine-grained parallelism support being proposed to Ada, a programming language particularly suited to the development of critical, concurrent software. We also show the correctness of the proposed model in terms of satisfying constraints related to execution order and unbounded priority inversions.
- H. Ali and L. M. Pinho. A parallel programming model for Ada. In Proceedings of the 2011 ACM SIGAda International Conference. ACM, November 2011. Google Scholar
Digital Library
- S. K. Baruah, V. Bonifaci, A. Marchetti-Spaccamela, L. Stougie and A. Wiese. A Generalized Parallel Task Model for Recurrent Real-time Processes. In Proceedings of the 33rd IEEE Real-Time Systems Symposium, pp. 63--72, 2012. Google Scholar
Digital Library
- G. Bosch. Synchronization cannot be implemented as a library. In Proceedings of the High Integrity Language Technology Conference 2012, ACM, 2012. Google Scholar
Digital Library
- A. Burns and A. Wellings. Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX. 4th Edition, Pearson Education Ltd, Edinburg, UK, 2009. Google Scholar
Digital Library
- A. Burns and A. Wellings. Locking Policies for Multiprocessor Ada. In Proceedings 16th International Real-Time Ada Workshop IRTAW 2013, York, UK, ACM Ada Letters (to be published).Google Scholar
- S. Collette, L. Cucu and J. Goossens. Integrating job parallelism in real-time scheduling theory. Information Processing Letters, vol. 106, pp. 180--187, May 2008. Google Scholar
Digital Library
- R. I. Davis and A. Burns. A survey of hard real-time scheduling for multiprocessor systems. ACM Computing Survey, 43(4):35:1--35:44, October 2011. Google Scholar
Digital Library
- M. Frigo, C. E. Leiserson and K. H. Randall. The implementation of the Cilk-5 multithreaded language. SIGPLAN Not., 33:212--223, May 1998. Google Scholar
Digital Library
- ISO IEC 8652:2012. Programming Languages and their Environments -- Programming Language Ada. International Standards Organization, Geneva, Switzerland, 2012.Google Scholar
- H. Kopetz. Real-Time Systems: Design Principles for Distributed Embedded Applications. Springer, 2011. Google Scholar
Digital Library
- K. Lakshmanan, S. Kato and R. Rajkumar. Scheduling parallel realtime tasks on multi-core processors. In Proceedings of the 31st IEEE Real-Time Systems Symposium, pp. 259--268, December 2010. Google Scholar
Digital Library
- A. Marowka. Parallel computing on any desktop. Communications of the ACM. 50:74--78, ACM, September 2007. Google Scholar
Digital Library
- S. Michell, B. Moore and L. M. Pinho. 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
Cross Ref
- B. Moore. Parallelism generics for Ada 2005 and beyond. In Proceedings of the ACM SIGAda Annual International Conference. ACM, 2010. Google Scholar
Digital Library
- B. Moore. A comparison of work-sharing, work-seeking, and work-stealing parallelism strategies using Paraffin with Ada 2005. Ada User Journal, Volume 32 Number 1, published by Ada Europe, March 2011.Google Scholar
- B. Moore, S. Michell and L. M. Pinho. Parallelism in Ada: General Model and Ravenscar. In Proceedings 16th International Real-Time Ada Workshop IRTAW 2013, York, UK, ACM Ada Letters (to be published). Google Scholar
Digital Library
- A. Saifullah, K. Agrawal, C. Lu and C. Gill. Multi-core real-time scheduling for generalized parallel task models. In Proceedings of the 32nd IEEE Real-Time Systems Symposium, Vienna, Austria, December 2011. Google Scholar
Digital Library
Index Terms
Real-time programming on accelerator many-core processors
Recommendations
Real-time programming on accelerator many-core processors
HILT '13: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technologyMulti-core platforms are challenging the way software is developed, in all application domains. For the particular case of real-time systems, models for the development of parallel software must be able to be shown correct in both functional and non-...
parMERASA -- Multi-core Execution of Parallelised Hard Real-Time Applications Supporting Analysability
DSD '13: Proceedings of the 2013 Euromicro Conference on Digital System DesignEngineers who design hard real-time embedded systems express a need for several times the performance available today while keeping safety as major criterion. A breakthrough in performance is expected by parallelizing hard real-time applications and ...
Multi-core Desktop Processors Make Possible Real-Time Electron Tomography
PDP '11: Proceedings of the 2011 19th International Euromicro Conference on Parallel, Distributed and Network-Based ProcessingElectron tomography (ET) allows elucidation of the three-dimensional (3D) structure of large complex biological specimens at molecular resolution. In order to achieve such resolution levels, large projection images have to be used to compute the 3D ...







Comments