Title :
A priority inheritance-based inversion control methodology for general resource access problems
Author :
Chen, Liubo ; Mizuno, Masaaki ; Singh, Gurdip
Author_Institution :
Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
Abstract :
Real-time concurrent systems typically involve a large number of components interacting with one another in complex ways. In such systems, proper and often complex and elaborate resource access policies must be incorporated to eliminate undesirable executions and to ensure maximum possible concurrency. In this paper, we present a technique for priority inversion control when using such complex resource access policies. We present a systematic approach to design resource access control code based on a formal development methodology called the global invariant approach, along with appropriate priority inversion control code. Our solution relies only on mutex locks with priority inversion control, which are found in many real-time operating systems, and priority-based binary semaphores; therefore, our solution can be implemented on existing infrastructures. We present an implementation of our solution on VxWorks.
Keywords :
Java; access protocols; concurrency control; formal specification; parallel programming; real-time systems; resource allocation; VxWork; formal development methodology; global invariant based synchronization; mutex lock; priority inheritance protocol; priority inheritance-based inversion control methodology; priority-based binary semaphore; real-time concurrent system; real-time operating system; resource access control code; Access control; Access protocols; Concurrency control; Concurrent computing; Control systems; Delay effects; Java; Operating systems; Real time systems; Standards development;
Conference_Titel :
Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004. 10th IEEE
Print_ISBN :
0-7695-2148-7
DOI :
10.1109/RTTAS.2004.1317265