Pragmatic Nonblocking Synchronization for Real-Time Systems

  title={Pragmatic Nonblocking Synchronization for Real-Time Systems},
  author={Michael Hohmuth and Hermann H{\"a}rtig},
  booktitle={USENIX Annual Technical Conference, General Track},
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… CONTINUE READING
Highly Cited
This paper has 68 citations. REVIEW CITATIONS
50 Citations
29 References
Similar Papers


Publications citing this paper.

69 Citations

Citations per Year
Semantic Scholar estimates that this publication has 69 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 29 references

L4RTL: Porting RTLinux API to L4/Fiasco. InWorkshop on a Common Microkernel System Platform

  • Frank Mehnert
  • 1999
Highly Influential
4 Excerpts

L 4 RTL : Porting RTLinux API to L 4 / Fiasco

  • M. Maged
  • Workshop on a Common Microkernel System Platform…
  • 1999

and Michael L . Scott . Simple , fast , and practical non - blocking and blocking concurrent queue algorithms

  • Maged M. Michael
  • Workshop on a Common Microkernel System Platform
  • 1999

The Fiasco kernel: Requirements definition

  • Michael Hohmuth
  • Technical Report TUD–FI– 12, TU Dresden, December
  • 1998

, Srikanth Ramamurthy , and Kevin Jeffay . Real - time computing with lock - free shared objects

  • A Peter
  • ACM Transactions of Computer Systems
  • 1997

Similar Papers

Loading similar papers…