BROWSE
Detail
Journal Article
Space-Optimal, Wait-Free Real-Time Synchronization
Cited 8 time in 
Share 
Share
- Authors
- Hyeon Joong Cho, Binoy Ravindran, E. Douglas Jensen
- Issue Date
- 2007-03
- Citation
- IEEE Transactions on Computers, v.56, no.3, pp.373-384
- ISSN
- 0018-9340
- Publisher
- IEEE
- Language
- English
- Type
- Journal Article
- Abstract
- 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. © 2007 IEEE.
- KSP Keywords
- Analytical Solution, Evaluation studies, Priori knowledge, Wait-free synchronization, analytical results, embedded real-time systems, real-time synchronization