The implementation of the Cilk-5 multithreaded language
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Parallel computing on any desktop
Communications of the ACM - ACM's plan to go online first
Integrating job parallelism in real-time scheduling theory
Information Processing Letters
Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX
Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX
Parallelism generics for Ada 2005 and beyond
Proceedings of the ACM SIGAda annual international conference on SIGAda
Scheduling Parallel Real-Time Tasks on Multi-core Processors
RTSS '10 Proceedings of the 2010 31st IEEE Real-Time Systems Symposium
A survey of hard real-time scheduling for multiprocessor systems
ACM Computing Surveys (CSUR)
Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Design Principles for Distributed Embedded Applications
A parallel programming model for ada
SIGAda '11 Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language
Multi-core Real-Time Scheduling for Generalized Parallel Task Models
RTSS '11 Proceedings of the 2011 IEEE 32nd Real-Time Systems Symposium
Synchronization cannot be implemented as a library
Proceedings of the 2012 ACM conference on High integrity language technology
A Generalized Parallel Task Model for Recurrent Real-time Processes
RTSS '12 Proceedings of the 2012 IEEE 33rd Real-Time Systems Symposium
Parallelism in Ada: general model and ravenscar
ACM SIGAda Ada Letters
Hi-index | 0.00 |
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.