Title :
Real-time computing with lock-free shared objects
Author :
Anderson, James H. ; Ramamurthy, Srikanth ; Jeffay, Kevin
Author_Institution :
Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA
Abstract :
This paper considers the use of lock-free shared objects within hard real-time systems. As the name suggests, lock-free shared objects are distinguished by the fact that they are not locked. As such, they do not give rise to priority inversions, a key advantage over conventional, lock-based object-sharing approaches. Despite this advantage, it is not immediately apparent that lock-free shared objects can be employed if tasks must adhere to strict timing constraints. In particular, lock-free object implementations permit concurrent operations to interfere with each other, and repeated interferences can cause a given operation to take an arbitrarily long time to complete. The main contribution of this paper is to show that such interferences can be bounded by judicious scheduling. This work pertains to periodic, hard real-time tasks that share lock-free objects on a uniprocessor. In the first part of the paper, scheduling conditions are derived for such tasks, for both static and dynamic priority schemes. Based on these conditions, it is formally shown that lock-free object-sharing approaches can be expected to incur much less overhead than approaches based on wait-free objects or lock-based schemes. In the last part of the paper, this conclusion is validated experimentally through work involving a real time desktop videoconferencing system
Keywords :
object-oriented programming; processor scheduling; real-time systems; shared memory systems; hard real-time systems; judicious scheduling; lock-based object-sharing approaches; lock-based schemes; lock-free shared objects; periodic hard real-time tasks; priority inversions; real time desktop videoconferencing system; real-time computing; repeated interferences; strict timing constraints; wait-free objects; Computer science; Contracts; Dynamic scheduling; Interference constraints; Operating systems; Protocols; Real time systems; Switches; Teleconferencing;
Conference_Titel :
Real-Time Systems Symposium, 1995. Proceedings., 16th IEEE
Conference_Location :
Pisa
Print_ISBN :
0-8186-7337-0
DOI :
10.1109/REAL.1995.495193