Space-optimal, wait-free real-time synchronization

IEEE Transactions on Computers

Volumn 56, Issue 3, 2007, Pages 373-384

  Cho, Hyeonjoong ^a   Ravindran, Binoy ^b   Jensen, E Douglas ^c  

^a Electronics and Telecommunications Research Institute (ETRI)   (South Korea)

^b State University   (United States)

^c MITRE CORPORATION   (United States)

Author keywords

Nonblocking synchronization; Real time systems; Space optimality; Wait free buffers

Indexed keywords

DATA STORAGE EQUIPMENT; NETWORK PROTOCOLS; OPTIMIZATION; SYNCHRONIZATION;

REAL-TIME SYNCHRONIZATION; SPACE-OPTIMALITY; WAIT-FREE BUFFER;

REAL TIME SYSTEMS;

EID: 33947372059     PISSN: 00189340     EISSN: None     Source Type: Journal    
DOI: 10.1109/TC.2007.51     Document Type: Article

References (13)

1. L. Sha, R. Rajkumar, and J.P. Lehoczky, "Priority Inheritance Protocols: An Approach to Real-Time Synchronization," IEEE Trans. Computers, vol. 39, no. 9, pp. 1175-1185, Sept. 1990.
2. T.P. Baker, "Stack-Based Scheduling of Real-Time Processes," Real-Time Systems, vol. 3, no. 1, pp. 67-99, Mar. 1991.
3. R.K. Clark, "Scheduling Dependent Real-Time Activities," PhD dissertation, Carnegie Mellon Univ., 1990.
4. H. Kopetz and J. Reisinger, "The Non-Blocking Write Protocol NBW: A Solution to a Real-Time Synchronization Problem," Proc. IEEE Real-Time Systems Symp., pp. 131-137, 1993.
5. J. Chen and A. Burns, "A Fully Asynchronous Reader/Writer Mechanism for Multiprocessor Real-Time Systems," Technical Report YCS-288, Univ. of York, May 1997.
6. J.H. Anderson, R. Jain, and S. Ramamurthy, "Wait-Free Object-Sharing Schemes for Real-Time Uniprocessors and Multiprocessors," Proc. IEEE Real-Time Systems Symp., pp. 111-122, Dec. 1997.
7. H. Huang, P. Pillai, and K.G. Shin, "Improving Wait-Free Algorithms for Interprocess Communication in Embedded Real-Time Systems," Proc. USENIX Ann. Technical Conf., pp. 303-316, 2002.
8. J.H. Anderson, S. Ramamurthy, and K. Jeffay, "Real-Time Computing with Lock-Free Shared Objects," ACM Trans. Computer Systems, vol. 15, no. 2, pp. 134-165, 1997.
9. H. Cho, B. Ravindran, and E.D. Jensen, "Lock-Free Synchronization for Dynamic Embedded Real-Time Software," Proc. ACM/IEEE Design, Automation, and Test in Europe (DATE), pp. 438-443, Mar. 2006.
10. H. Sundell and P. Tsigas, "Space Efficient Wait-Free Buffer Sharing in Multiprocessor Real-Time Systems Based on Timing Information," Proc. IEEE Real-Time Computing Systems and Applications Conf., pp. 433-440, 2000.
11. P. Gai, L. Abeni, M. Giorgi, and G. Buttazzo, "A New Kernel Approach for Modular Real-Time Systems Development," Proc. Euromicro Conf. Real-Time Systems, pp. 199-206, 2001.
12. J. Chen and A. Burns, "A Three-Slot Asynchronous Reader/Writer Mechanism for Multiprocessor Real-Time Systems," Technical Report YCS-186, Univ. of York, 1997.
13. H. Cho, B. Ravindran, and E.D. Jensen, "A Space-Optimal, Wait-Free Real-Time Synchronization Protocol," Proc. IEEE Euromicro Conf. Real-Time Systems, pp. 79-88, July 2005.