This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Space-Optimal, Wait-Free Real-Time Synchronization
March 2007 (vol. 56 no. 3)
pp. 373-384
We consider wait-free synchronization for the single-writer/multiple-reader problem in small-memory embedded real-time systems. We present an analytical solution to the problem of determining the minimum, optimal space cost required for this problem, considering a priori knowledge of interferences—the first such result. We also show that the space costs required by previous algorithms can be obtained by our analytical solution, which subsumes them as special cases. We also present a wait-free protocol that utilizes the minimum space cost determined by our analytical solution. Our evaluation studies and implementation measurements using the SHaRK RTOS kernel validate our analytical results.
Index Terms:
Nonblocking synchronization, wait-free buffers, real-time systems, space-optimality.
Citation:
Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen, "Space-Optimal, Wait-Free Real-Time Synchronization," IEEE Transactions on Computers, vol. 56, no. 3, pp. 373-384, March 2007, doi:10.1109/TC.2007.51
Usage of this product signifies your acceptance of the Terms of Use.