Stack-based scheduling for realtime processes
Real-Time Systems
Real-time computing with lock-free shared objects
ACM Transactions on Computer Systems (TOCS)
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
Improving Wait-Free Algorithms for Interprocess Communication in Embedded Real-Time Systems
ATEC '02 Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference
RTCSA '00 Proceedings of the Seventh International Conference on Real-Time Systems and Applications
Wait-free object-sharing schemes for real-time uniprocessors and multiprocessors
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
A New Kernel Approach for Modular Real-Time Systems Development
ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
Scheduling dependent real-time activities
Scheduling dependent real-time activities
A Space-Optimal Wait-Free Real-Time Synchronization Protocol
ECRTS '05 Proceedings of the 17th Euromicro Conference on Real-Time Systems
Lock-free synchronization for dynamic embedded real-time systems
Proceedings of the conference on Design, automation and test in Europe: Proceedings
On Scalable Synchronization for Distributed Embedded Real-Time Systems
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
Hi-index | 14.98 |
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.