Pragmatic Nonblocking Synchronization for Real-Time Systems

13 years 8 months ago
Pragmatic Nonblocking Synchronization for Real-Time Systems
We present a pragmatic methodology for designing nonblocking real-time systems. Our methodology uses a combination of lock-free and wait-free synchronization techniques and clearly states which technique should be applied in which situation. This paper reports novel results in various respects: We restrict the usage of lock-free mechanisms to cases where the widely available atomic singleword compare-and-swap operation suffices. We show how Brinch Hansen's monitors (alias Java's synchronized methods) can be implemented on top of our mechanisms, thereby demonstrating their versatility. We describe in detail how we used the mechanisms for a full reimplementation of a popular microkernel interface (L4). Our kernel-in contrast to the original implementation--bounds execution time of all operations. We report on a previous implementation of our mechanisms in which we used Massalin's and Pu's single-server approach, and on the resulting performance, which lead us to aban...
Michael Hohmuth, Hermann Härtig
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2001
Authors Michael Hohmuth, Hermann Härtig
Comments (0)