17th Euromicro Conference on Real-Time Systems (ECRTS'05) Palma de Mallorca, Balearic Islands, Spain July 06-July 08 ISBN: 0-7695-2400-1
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ECRTS.2005.5
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 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||