A space-optimal wait-free real-time synchronization protocol

We present a wait-free protocol for the single-writer/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.

[1]  James H. Anderson,et al.  Real-time computing with lock-free shared objects , 1997, TOCS.

[2]  J. Chen.  A Fully Asynchronous Reader/Writer Mechanism for Multiprocessor Real-Time Systems , 1997 .

[3]  Theodore P. Baker,et al.  Stack-based scheduling of realtime processes , 1991, Real-Time Systems.

[4]  Giorgio Buttazzo,et al.  Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .

[5]  L. Abeni,et al.  A new kernel approach for modular real-time systems development , 2001, Proceedings 13th Euromicro Conference on Real-Time Systems.

[6]  Lui Sha,et al.  Priority Inheritance Protocols: An Approach to Real-Time Synchronization , 1990, IEEE Trans. Computers.

[7]  Philippas Tsigas,et al.  Space efficient wait-free buffer sharing in multiprocessor real-time systems based on timing information , 2000, Proceedings Seventh International Conference on Real-Time Computing Systems and Applications.

[8]  Alan Burns,et al.  A three-slot asynchronous reader-writer mechanism for multiprocessor real-time systems , 1997 .

[9]  Hermann Kopetz,et al.  The non-blocking write protocol NBW: A solution to a real-time synchronization problem , 1993, 1993 Proceedings Real-Time Systems Symposium.

[10]  Kang G. Shin,et al.  Improving Wait-Free Algorithms for Interprocess Communication in Embedded Real-Time Systems , 2002, USENIX Annual Technical Conference, General Track.

[11]  James H. Anderson,et al.  Wait-free object-sharing schemes for real-time uniprocessors and multiprocessors , 1997, Proceedings Real-Time Systems Symposium.

[12]  Raymond Keith Clark,et al.  Scheduling dependent real-time activities , 1990 .