We present a wait-free protocol for the singlewriter/ multiple-reader problem in small-memory embedded real-time systems. We analytically establish that our protocol requires lesser (or equal) number of buffers than previously best wait-free protocols for this problem. Further, we prove that our protocol is space-optimal--the first space optimality established for wait-free protocols that consider a-priori knowledge of preemptions. Our evaluation studies and implementation measurements using the SHaRK RTOS kernel confirm the protocol?s superiority and effectiveness.
Citation:
Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen, "A Space-Optimal Wait-Free Real-Time Synchronization Protocol," ecrts, pp.79-88, 17th Euromicro Conference on Real-Time Systems (ECRTS'05), 2005