Abstract
Fixed-priority scheduling has become a very important approach for implementing real-time systems. Two key aspects of the method are its support for resource management using priority inheritance protocols and its ability to model modes of operation. In this paper, we discuss the impact of mode changes on the immediate inheritance priority ceiling protocol. We show that the approach adopted in Ada can result in an increased blocking time for tasks that can unnecessarily jeopardise their schedulability. We propose several solutions to help solve this problem.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
C.L. Liu and J.W. Layland. Scheduling algorithms for multiprogramming in a hard realtime environment. Journal of the ACM 20(1), pp 46–61. 1973.
L. Sha, R. Rajkumar and J.P. Lehoczky. Priority inheritance protocols: an approach to realtime synchronisation. Technical report CMU-CS-87-181. Computer Science Department, Carnegie-Mellon University. Pittsburgh, Pennsylvania. 1987.
R. Rajkumar, L. Sha and J.P. Lehoczky. An experimental investigation of synchronisation protocols. Proceedings of the 6th IEEE Workshop on Real-Time Operating Systems and Software, pp. 11–17. May, 1989.
Information Technology — Programming Languages Ada 95. International standard ISO/IEC 8652:1995. (Ada Reference Manual). 1995.
Information technology — Portable Operating System Interface (POSIX®) ISO/IEC 9945-1:1996(E) ANSI/IEEE Std 1003.1, 1996 Edition.
K.W. Tindell, A. Burns and A.J. Wellings. Mode changes in priority pre-emptively scheduled systems. Proceedings of the Real Time Systems Symposium, Phoenix, Arizona. 1992.
Private comments from Offer Pazy and Ted Baker.
L. Sha, R. Rajkumar, J.P. Lehoczky and R. Ramamritham. Mode change protocols for priority-driven preemptive scheduling. The Journal of Real-Time Systems, 1, 243–264. 1989.
J. Real, A. Espinosa and A. Crespo. Using Ada 95 for prototyping real-time systems. In A. Strohmeier (Ed.) Reliable Software Technologies. Proceedings of the Ada-Europe’96 Conference. Lecture Notes in Computer Science vol. 1088, pp. 262–274. Springer Verlag.
C.D. Locke, D.R. Vogel and T.J. Mesler. Building a predictable avionics platform in Ada: a case study. Proc. of the IEEE 12th Real Time Systems Symposium. Dec 1991.
N. Audsley, A. Burns, M. Richardson, K. Tindell, A.J. Wellings. Applying new scheduling theory to static priority pre-emptive scheduling. Software Engineering Journal. 8(5) pp. 284–292. 1993.
P. Pedro and A. Burns. Schedulability Analysis for Mode Changes in Flexible Real-Time Systems. Proceedings 10th Euromicro Workshop on Real-Time Systems. Berlin, June 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Real, J., Wellings, A. (1999). The Ceiling Protocol in Multi-moded Real-Time Systems1. In: González Harbour, M., de la Puente, J.A. (eds) Reliable Software Technologies — Ada-Europe’ 99. Ada-Europe 1999. Lecture Notes in Computer Science, vol 1622. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48753-0_24
Download citation
DOI: https://doi.org/10.1007/3-540-48753-0_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66093-4
Online ISBN: 978-3-540-48753-1
eBook Packages: Springer Book Archive