DocumentCode :
3228223
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
fYear :
2004
fDate :
25-28 May 2004
Firstpage :
202
Lastpage :
210
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004. 10th IEEE
ISSN :
1545-3421
Print_ISBN :
0-7695-2148-7
Type :
conf
DOI :
10.1109/RTTAS.2004.1317265
Filename :
1317265
Link To Document :
بازگشت