Experimental implementations of priority inheritance semaphore on ITRON-specification kernel

Using priority inheritance protocols is an effective approach to solve the problem of uncontrolled priority inversion, which is among the major sources of deadline violations in hard real-time systems. In this paper, some approaches to incorporate priority inheritance to the ITRON specification are discussed. As the result, we propose two specifications of priority inheritance semaphore functions with which the basic priority inheritance protocol can be realized, and implement both of them for evaluation. The run-time performance and memory requirements of the functions are evaluated with the implementations