Third International Workshop on Real-Time Computing Systems Application (RTCSA'96) Priority inversion handling in microkernel-based Real-Time Mike Seoul, Korea October 30-November 01 ISBN: 0-8186-7626-4
We propose a resource management model to avoid priority inversion problem that may occur when two tasks attempt to send service requests to a server task, and then the server task sends a request to another server task in a nested fashion. In this model we introduce two new concepts: job identifier inheritance and priority ceiling inheritance. We also suggest a new resource locking condition of the priority ceiling protocol for the computational model of the microkernel-based real-time system, called Mike, in which both IPC and synchronization are utilized and client/server communication model is frequently used in a nested fashion. To see the effectiveness, the proposed model has been implemented in Real-Time Mike developed previously. The implemented system shows that the resource management model efficiently prevents the priority inversion problem and avoids deadlock and multiple blocking.
Index Terms:
real-time systems; resource management model; microkernel-based; Real-Time Mike; priority inversion; resource locking; job identifier inheritance; priority ceiling inheritance; deadlock; multiple blocking; client/server communication
Citation:
Jaehong Shim, Kyunghee Choi, Gihyun Jung, Seungkyu Park, HyeonSik Shin, Dongyoon Kim, "Priority inversion handling in microkernel-based Real-Time Mike," rtcsa, pp.238, Third International Workshop on Real-Time Computing Systems Application (RTCSA'96), 1996 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||