Predictable synchronization mechanisms for multiprocessor real-time systems

✍ Scribed by Lory D. Molesky; Chia Shen; Goran Zlokapa

• Publisher: Springer US
• Year: 1990
• Tongue: English
• Weight: 1003 KB
• Volume: 2
• Category: Article
• ISSN: 0922-6443
• DOI: 10.1007/bf00365325

✦ Synopsis

Predictability is of paramount concern for hard real-time systems. In one approach to predictability, every aspect of a real-time system and every primitive provided by the underlying operating system must be bounded and predictable in order to achieve overall predictability. In this paper, we describe several concurrency control synchronization mechanisms developed for a next generation multiprocessor real-time kernel, the Spring Kernel.

The important features of these mechanisms include semaphore support for mutual exclusion with linear waiting and bounded r e s o ~ usage, termed strong semaphores. Three, more efficient, strong semaphore solutions are proposed in this paper. Two of them are based on the main theorem of the paper, the Deferred Bus theorem. These two solutions can either be implemented in hardware or software. The third solution, a pure software solution, is an extension to the existing Burns' algorithm. A performance comparison and a complexity analysis in terms of time, space and bus traffic are presented.