On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks

作者: Jorge Garrido , Juan Zamorano , Alejandro Alonso , Juan A. de la Puente

DOI: 10.1007/978-3-319-92432-8_5

关键词:

摘要: Real-time multiprocessor systems are being used extensively in industrial applications. Ada provides ample support for such systems, including a complete tasking model providing time predictability, especially when restricted by the Ravenscar profile. A fundamental element of this is inter-task communication means protected objects. The definition resource locking policies with bounded priority inversion aspect objects, which has received considerable attention, some interesting results that can be real-time systems. However, there another important subject, service policy entries, less attention research community and also order to guarantee predictable behaviour. impact on response analysis evaluated paper self-service proxy model, their relation MSRP MrsP discussed. Extensions both contributed.

参考文章(18)
Fabien Chouteau, José F. Ruiz, Design and implementation of a Ravenscar extension for multiprocessors international conference on reliable software technologies. pp. 31- 45 ,(2011) , 10.1007/978-3-642-21338-0_3
Robert I. Davis, Alan Burns, A survey of hard real-time scheduling for multiprocessor systems ACM Computing Surveys. ,vol. 43, pp. 35- ,(2011) , 10.1145/1978802.1978814
A. Burns, A. J. Wellings, Locking policies for multiprocessor ada ACM Sigada Ada Letters. ,vol. 33, pp. 59- 65 ,(2013) , 10.1145/2552999.2553006
E. W. Giering, Frank Mueller, T. P. Baker, Implementing Ada 9X features using POSIX Threads Proceedings of the conference on TRI-Ada '93 - TRI-Ada '93. pp. 214- 228 ,(1993) , 10.1145/170657.170736
S. Lin, A. J. Wellings, A. Burns, Ada 2012: resource sharing and multiprocessors ACM Sigada Ada Letters. ,vol. 33, pp. 32- 44 ,(2013) , 10.1145/2492312.2492317
Alexander Wieder, Bjorn B. Brandenburg, On Spin Locks in AUTOSAR: Blocking Analysis of FIFO, Unordered, and Priority-Ordered Spin Locks real-time systems symposium. pp. 45- 56 ,(2013) , 10.1109/RTSS.2013.13
T. P. Baker, Stack-based scheduling for realtime processes Real-time Systems. ,vol. 3, pp. 67- 99 ,(1991) , 10.1007/BF00365393
E. W. Giering, T. P. Baker, The GNU Ada runtime library (GNARL) Proceedings of the eleventh annual Washington Ada symposium & summer ACM SIGAda meeting on Ada - WADAS '94. pp. 97- 107 ,(1994) , 10.1145/197978.197989
T.P. Baker, A stack-based resource allocation policy for realtime processes real-time systems symposium. pp. 191- 200 ,(1990) , 10.1109/REAL.1990.128747
A. Burns, A.J. Wellings, A Schedulability Compatible Multiprocessor Resource Sharing Protocol -- MrsP euromicro conference on real-time systems. pp. 282- 291 ,(2013) , 10.1109/ECRTS.2013.37