On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks
Pages 73 - 86
Abstract
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 tasking model is inter-task communication by means of protected objects. The definition of resource locking policies with bounded priority inversion is a fundamental aspect of protected objects, which has received considerable attention, with some interesting results that can be used in multiprocessor real-time systems. However, there is another important subject, the service policy for protected entries, that has received less attention in the research community and is also important in order to guarantee a predictable time behaviour. The impact of the service model on the response time analysis of multiprocessor real-time systems is evaluated in the paper for the self-service model and the proxy model, and their relation to the MSRP and the MrsP locking policies is discussed. Extensions to response time analysis for the proxy model with both locking policies are also contributed.
References
[1]
Ada Reference Manual, ISO/IEC 8652:2012(E) with COR.1:2016 (2016). http://www.ada-auth.org/arm.html
[2]
Baker, T.P.: A stack-based resource allocation policy for realtime processes. In: 1990 Proceedings of the 11th Real-Time Systems Symposium, pp. 191–200, December 1990
[3]
Baker TP Stack-based scheduling for realtime processes Real-Time Syst. 1991 3 1 67-99
[4]
Barnes J Programming in Ada 2012 2014 Cambridge Cambridge University Press
[5]
Brandenburg, B.B.: Scheduling and locking in multiprocessor real-time operating systems. Ph.D. thesis, The University of North Carolina at Chapel Hill (2011)
[6]
Burns A and Wellings AJ Locking policies for multiprocessor Ada Ada Lett. 2013 33 2 59-65
[7]
Burns, A., Wellings, A.: Analysable Real-Time Systems: Programmed in Ada. CreateSpace Independent Publishing Platform (2016)
[8]
Burns, A., Wellings, A.J.: A schedulability compatible multiprocessor resource sharing protocol-MrsP. In: 2013 25th Euromicro Conference on Real-Time Systems (ECRTS), pp. 282–291. IEEE (2013)
[9]
Chouteau F and Ruiz JF Romanovsky A and Vardanega T Design and implementation of a Ravenscar extension for multiprocessors Reliable Software Technologies - Ada-Europe 2011 2011 Heidelberg Springer 31-45
[10]
Davis RI and Burns AA survey of hard real-time scheduling for multiprocessor systemsACM Comput. Surv.201143435:1-35:44http://doi.acm.org/10.1145/1978802.1978814
[11]
Gai, P., Lipari, G., Natale, M.D.: Minimizing memory utilization of real-time task sets in single and multi-processor systems-on-a-chip. In: Proceedings of the 22nd IEEE Real-Time Systems Symposium. IEEE Computer Society (2001)
[12]
Garrido J, Zamorano J, Alonso A, and de la Puente JA Blieberger J and Bader M Evaluating MSRP and MrsP with the multiprocessor Ravenscar profile Reliable Software Technologies – Ada-Europe 2017 2017 Cham Springer 3-17
[13]
Garrido J, Zhao S, Burns A, and Wellings A Blieberger J and Bader M Supporting nested resources in MrsP Reliable Software Technologies – Ada-Europe 2017 2017 Cham Springer 73-86
[14]
Giering, E.W., Baker, T.P.: The GNU Ada Runtime Library (GNARL): design and implementation. In: WADAS 1994: Proceedings of the Eleventh Annual Washington Ada Symposium & Summer ACM SIGAda Meeting on Ada, pp. 97–107. ACM Press, New York (1994)
[15]
Giering, E.W., Mueller, F., Baker, T.P.: Implementing ada 9x features using posix threads: design issues. In: Proceedings of the Conference on TRI-Ada 1993, TRI-Ada 1993, pp. 214–228. ACM, New York (1993). http://doi.acm.org/10.1145/170657.170736
[16]
Lin S, Wellings AJ, and Burns A Ada 2012: resource sharing and multiprocessors Ada Lett. 2013 33 1 32-44
[17]
Miranda, J.: A detailed description of the GNU Ada run time (2003). http://www.iuma.ulpgc.es/users/jmiranda/gnat-rts/
[18]
Sha L, Rajkumar R, and Lehoczky JP Priority inheritance protocols: an approach to real-time synchronization IEEE Trans. Comput. 1990 39 9 1175-1185
[19]
Wieder, A., Brandenburg, B.B.: On spin locks in AUTOSAR: blocking analysis of FIFO, unordered, and priority-ordered spin locks. In: Proceedings of the IEEE 34th Real-Time Systems Symposium, RTSS 2013, Vancouver, BC, Canada, 3–6 December 2013, pp. 45–56 (2013).
[20]
Zhao, S., Garrido, J., Burns, A., Wellings, A.: New schedulability analysis for MrsP. In: 2017 IEEE 23rd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), pp. 1–10. IEEE (2017)
Recommendations
Response Time Analysis of Asynchronous Real-Time Systems
In asynchronous real-time systems the time when all events occur can not be predicted beforehand. Systems with sporadic tasks, or that operate a protocol for sharing resources like the priority ceiling protocol, for example, are asynchronous real-time ...
Model-based schedulability analysis of safety critical hard real-time Java programs
JTRES '08: Proceedings of the 6th international workshop on Java technologies for real-time and embedded systemsIn this paper, we present a novel approach to schedulability analysis of Safety Critical Hard Real-Time Java programs. The approach is based on a translation of programs, written in the Safety Critical Java profile introduced in [21] for the Java ...
Integrating I-DEVS and schedulability methods for analyzing real-time systems constraints
The design of embedded real-time systems (RTS) is challenging due to the criticality of the timing constraints of these systems. Various informal and formal methods for RTS design have been proposed, both in the design space and the real-time execution ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Jun 2018
178 pages
© Springer International Publishing AG, part of Springer Nature 2018.
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 18 June 2018
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 04 Oct 2024
Other Metrics
Citations
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in