A Space-Optimal Wait-Free Real-Time Synchronization Protocol

Authors:
Hyeonjoong Cho;Binoy Ravindran;E. Douglas Jensen
Affiliations:
Virginia Tech;Virginia Tech;The MITRE Corporation
Venue:
ECRTS '05 Proceedings of the 17th Euromicro Conference on Real-Time Systems
Year:
2005

Citing 0
Cited 4

Lock-free synchronization for dynamic embedded real-time systems

Proceedings of the conference on Design, automation and test in Europe: Proceedings
On utility accrual processor scheduling with wait-free synchronization for embedded real-time software

Proceedings of the 2006 ACM symposium on Applied computing
Space-Optimal, Wait-Free Real-Time Synchronization

IEEE Transactions on Computers
Lock-free synchronization for dynamic embedded real-time systems

ACM Transactions on Embedded Computing Systems (TECS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.