A Space-Optimal Wait-Free Real-Time Synchronization Protocol
Real-Time Systems, 2005.（2005）
摘要
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.
更多查看译文
关键词
implementation measurement,shark rtos kernel,additional key words and phrases: critical sections,evaluation study,multiple-reader problem,wait-free protocol,lock free,small-memory embedded real-time system,scheduling,space-optimal wait-free real-time synchronization,wait-free,best wait-free protocol,a-priori knowledge,space optimality,rate monotonic,syn- chronization,synchronisation,real time,embedded systems,a priori knowledge,real time systems,buffer,concurrent computing,operating system,resource management,protocols,process management,critical section,kernel
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要