Abstract
In this paper, a protocol, called recursive priority inheritance (RPI) protocol, is proposed to solve complicated priority inversion problems as well as basic one. Our proposed protocol is implemented and tested in the Linux kernel. Additionally, the performance of our proposed protocol is evaluated and compared with previous protocols in the aspect of time and space complexity analyses.
This research was supported by the MIC(Ministry of Information and Communication), Korea, under the ITRC(Information Technology Research Center) support program supervised by the IITA(Institute of Information Technology Advancement) (IITA-2006-C1090-0603-0027).
Chapter PDF
References
TimeSys Inc., Priority Inversion: Why You Care and What to Do About It. A White Paper (2004)
Sha, L., Rajkumar, R., Lehoczky, J.P.: Priority Inheritance Protocols: An Approach to Real-Time Synchronization. IEEE Transactions on Computers 39(9) (1990)
Akgul, B., Mooney, V., Thane, H., Kuacharoen, P.: Hardware Support for Priority Inheritance. In: Proc. of the IEEE Real-Time Systems Symp. (Dec. 2003)
Zöbel, D., Polock, D., Van Arkel, A.: Testing for the Conformance of Real-time Protocols Implemented by Operating Systems. In: Electronic Notes in Theoretical Computer Science, vol. 133 (2005)
Goodenough, J.B., Sha, L.: The Priority Ceiling Protocol. Special Report CMU/SEI-88-SR-4 (Mar. 1998)
Dutertre, B.: Formal Analysis of the Priority Ceiling Protocol. In: Proc. of IEEE Real-Time Systems Symp. (Nov. 2000)
Yodaiken, V.: Against Priority Inheritance. FSMLABS Technical Paper (2003)
Embedded Linux/Microcontroller Project, http://www.uclinux.org
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Ko, K., Kang, SG., Gyeong, G., Eom, Y.I. (2007). Recursive Priority Inheritance Protocol for Solving Priority Inversion Problems in Real-Time Operating Systems. In: Shi, Y., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds) Computational Science – ICCS 2007. ICCS 2007. Lecture Notes in Computer Science, vol 4490. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72590-9_149
Download citation
DOI: https://doi.org/10.1007/978-3-540-72590-9_149
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72589-3
Online ISBN: 978-3-540-72590-9
eBook Packages: Computer ScienceComputer Science (R0)