Abstract
This paper contains both a survey of mode change protocols for single-processor, fixed-priority, preemptively scheduled real-time systems, and a proposal of several new protocols along with their corresponding schedulability analysis and configuration methods. First, a classification of the protocols found in the literature is given and a set of requirements is proposed for their evaluation. Then, the new protocols are introduced and discussed in the light of the stated requirements. A number of mode change protocols are based on delaying the initiation of the new mode by applying an offset to the initial release of tasks in the destination mode. We tackle the problem of how to obtain these offsets for the proposed protocols. The issue of consistently sharing resources during the mode change by means of a priority inheritance protocol is also dealt with.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Alonso, A. 1994. Extensiones a los métodos de planificación de sistemas de tiempo real críticos basados en prioridades. Ph.D. thesis, Universidad Politécnica de Madrid, Spain.
Audsley, N., Burns, A., Richardson, M., Tindell, K., and Wellings, A. J. 1993. Applying new scheduling theory to static priority pre-emptive scheduling. Software Engineering Journal 8(5): 284-292.
Bailey, C. M. 1993. Hard real-time operating system kernel. Investigation of mode change. Task 14 Deliverable on ESTSEC Contract 9198/90/NL/SF, British Aerospace Systems Ltd.
Bernat, G. 1998. Specification and analysis of weakly-hard real-time systems. Ph.D. thesis, Universitat de les Illes Balears.
de la Puente, J. A. 1999. Session summary: New language features and other language issues. In: Proceedings of IRTAW9, Acta Letters. Vol. XIX(2) pp. 19-20.
Fohler, G. J. 1994. Flexibility in statically scheduled hard real-time systems. Ph.D. thesis, Technische Universität Wien.
Harter, P. 1987. Response times in level structured systems. ACM Transactions on Computer Systems 5(3): 232-248.
IEEE. 1996. Portable Operating System Interface: Part 1: System Application Program Interface (API) [C Language]. ISO/IEC-9945-1-1996 ANSI/IEEE Std 1003.1, IEEE.
Jahanian, F., Lee, R., and Mok, A. 1988. Semantics of modechart in real time logic. In Proceedings of the 21st Hawaii International Conference on Systems Sciencens. pp. 479-489.
Joseph, M., and Pandya, P. 1986. Finding response times in a real-time system. British Computer Society Computer Journal 29(5): 390-395.
Lehoczky, J., Sha, L., and Ding, V. 1989. The rate monotonic scheduling algorithm: Exact characterization and average case behavior. In Proceedings IEEE Real Time Systems Symposium. Santa Monica, CA: IEEE Computer Society Press, 5–7 December, pp. 166-171.
Leung, J., and Whitehead, J. 1982. On the complexity of fixed-priority scheduling of periodic, real-time tasks. Performance Evaluation (Netherlands) 2(4): 237-250.
Liu, C., and Layland, J. 1973. Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of the ACM 20(1): 46-61.
Pedro, P. 1999. Schedulability of mode changes in flexible real-time distributed systems. Ph.D. thesis, University of York, Department of Computer Science.
Pedro, P., and Burns, A. 1998. Schedulabillity analysis for mode changes in real-time systems. In Proceedings of the 10th Euromicro Workshop on Real-Time Systems. Berlin, Germany: IEEE Computer Society Press.
Real, J., and Wellings, A. 1999a. The ceiling protocol in multi-moded real-time systems. In Reliable Software Technologies-Ada Europe 99, Lecture Notes in Computer Science vol. 1622, pp. 275-286.
Real, J., and Wellings, A. 1999b. Dynamic Ceilings Priorities and Ada 95. Ada Letters XIX(2): 41-48.
Real, J. 2000. Protocols de cambio de modo para sistemas de tiempo real (mode change protocols for real time systems). Ph.D. thesis. Universidad Politécnica de Valencia, (in Spanish).
Real, J., Crespo, A., Burns, A., and Wellings, A. 2002. Protected ceiling changes. Ada Letters XXII(4): 66-71.
Real, J., Llamosí, A., and Crespo, A. 2001. A semantics for dynamic ceiling priorities in Ada. Ada Letters XXI(1): 91-95.
Sha, L., and Goodenough, J. B. 1990. Real-time scheduling theory and Ada. IEEE Computer 23(4): 53-62.
Sha, L., Rajkumar, R., Lehoczky, J., and Ramamritham, K. 1989. Mode change protocols for priority-driven premptive scheduling. Real-Time Systems 1(3): 244-264.
Sha, L., Rajkumar, R., and Lehoczky, J. P. 1990. Priority inheritance protocols: An approach to real-time synchronisation. IEEE Transactions on Computers 39(9): 1175-1185.
Taft, S. T., and Duff, R. A. (eds.) 1995. Ada 95 Reference Manual. Language and Standard Libraries. Springer, Lecture Notes on Computer Science, vol. 1246, International Standard ISO/IEC-8652:1995(E).
Taft, T., Duff, R., Brukardt, R., and Ploedereder, E. (eds.) 2000. Consolidated Ada Reference Manual. Lecture Notes on Computer Science vol. 2219, Berlin: Springer.
Tindell, K., and Alonso, A. 1996. A very simple protocol for mode changes in priority preemptive systems. Technical report, Universidad Politécnica de Madrid.
Tindell, K., Burns, A., and Wellings, A. J. 1992. Mode changes in priority pre-emptively scheduled systems. In Proceedings Real Time Systems Symposium. Phoenix, Arizona, pp. 100-109.
Tokar, J. 2001. Tasking and object orientation: session report. Proceedings of IRTAW10, Ada Letters. XXI(1): 9-10.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Real, J., Crespo, A. Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal. Real-Time Systems 26, 161–197 (2004). https://doi.org/10.1023/B:TIME.0000016129.97430.c6
Issue Date:
DOI: https://doi.org/10.1023/B:TIME.0000016129.97430.c6