DocumentCode :
3395053
Title :
Loop-free asynchronous data sharing in multiprocessor real-time systems based on timing properties
Author :
Chen, J. ; Burns, A.
Author_Institution :
Dept. of Electr. Eng., Nat. Cheng Kung Univ., Tainan, Taiwan
fYear :
1999
fDate :
1999
Firstpage :
236
Lastpage :
246
Abstract :
The paper presents a timing based approach to implementing fully asynchronous reader/writer mechanisms which addresses the problems of priority inversion and blocking among tasks within multiprocessor real time systems. The approach associates a sequential circular buffer data sharing algorithm, which, although being lock-free and loop-free, is vulnerable to some timing subtlety, with necessary feasibility conditions and a configuring mechanism. Both the feasibility conditions and the configuring mechanism are constructed through analyzing the timing properties of relevant tasks. The feasibility conditions are employed to verify the safety property against a given implementation of the data sharing algorithm while the configuring mechanism helps configure the buffer holding the shared data objects. Applying this timing based approach to the asynchronous data sharing problem has the advantage that sequential data sharing mechanisms may be adapted to help remove priority inversion and blocking incurred by the commonly used lock based synchronization mechanism. Therefore, it demonstrates an effective alternative to the traditional algorithm based approaches
Keywords :
concurrency control; multiprocessing systems; processor scheduling; real-time systems; synchronisation; timing; asynchronous data sharing problem; buffer; configuring mechanism; data sharing algorithm; feasibility conditions; fully asynchronous reader/writer mechanisms; lock based synchronization mechanism; loop-free asynchronous data sharing; multiprocessor real time systems; priority inversion; safety property; sequential circular buffer data sharing algorithm; sequential data sharing mechanisms; shared data objects; timing based approach; timing properties; timing subtlety; Cities and towns; Computer science; Contracts; Councils; Mechanical factors; Parallel processing; Processor scheduling; Real time systems; Safety; Timing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Real-Time Computing Systems and Applications, 1999. RTCSA '99. Sixth International Conference on
Conference_Location :
Hong Kong
Print_ISBN :
0-7695-0306-3
Type :
conf
DOI :
10.1109/RTCSA.1999.811236
Filename :
811236
Link To Document :
بازگشت