Lock-free synchronization for dynamic embedded real-time systems

Proceedings -Design, Automation and Test in Europe, DATE

Volumn 1, Issue , 2006, Pages

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

^a State University   (United States)

^b MITRE CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; MATHEMATICAL MODELS; SCHEDULING; SYNCHRONIZATION;

RESOURCE OVERLOADS; UNIMODAL ARBITRARY; UNIMODAL ARBITRARY ARRIVAL MODEL ( U AM);

REAL TIME SYSTEMS;

EID: 34047188077     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. J. Anderson, R. Jain, and K. Jeffay. Efficient object sharing in quantum-based real-time systems. In RTSS, 1998.
2. J. H. Anderson, R. Jain, and S. Ramamurthy. Wait-free object-sharing schemes for real-time uniprocessors and multiprocessors. In IEEE RTSS, pages 111 - 122, Dec. 1997.
3. J. H. Anderson, S. Ramamurthy, and K. Jeffay. Real-time computing with lock-free shared objects. ACM TOCS, 15(2):134-165, 1997.
4. J. Chen and A. Burns. Asynchronous data sharing in multiprocessor real-time systems using process consensus. In 10th Euromicro Workshop on Real-Time System, 1998.
5. H. Cho et al. A space-optimal, wait-free real-time synchronization protocol. In IEEE ECRTS, 2005.
6. R. Clark, E. D. Jensen, et al. An adaptive, distributed airborne tracking system. In IEEE WPDRTS, April 1999.
7. R. K. Clark, E. D. Jensen, and N. F. Rouquette. Software organization to facilitate dynamic processor scheduling. In IEEE WPDRTS, April 2004.
8. J.-F. Hermant and G. L. Lann. A protocol and correctness proofs for real-time high-performance broadcast networks. In IEEE ICDCS, pages 360-369, 1998.
9. H. Huang, R Pillai, and K. G. Shin. Improving wait-free algorithms for interprocess communication in embedded real-time systems. In USENIX Annual, pages 303-316, 2002.
10. E. D. Jensen, C. D. Locke, and H. Tokuda. A time-driven scheduling model for real-time systems. In IEEE RTSS, pages 112-122, December 1985.
11. H. Kopetz and J. Reisinger. The non-blocking write protocol nbw: A solution to a real-time synchronisation problem. In IEEE RTSS, pages 131-137, 1993.
12. P. Li, B. Ravindran, et al. A formally verified application-level framework for real-time scheduling on posix real-time operating systems. IEEE TSE, 30(9):613 - 629, Sept. 2004.
13. M.Herlihy. A methodology for implementing highly concurrent data objects. ACM TOPIAS, 15(5):745-770, 1993.
14. M. M. Michael and M. L. Scott. Non-blocking algorithms and preemption-safe locking on multiprogrammed shared memory multiprocessors. JPDC, 51(1): 1-26, May 1998.
15. B. Ravindran, E. D. Jensen, and P. Li. On recent advances in time/utility function real-time scheduling and resource management. In IEEE ISORC, pages 55 - 60, May 2005.
16. L. Sha, R. Rajkumar, and J. P. Lehoczky. Priority inheritance protocols: An approach to real-time synchronization. IEEE Trans. Computers, 39(9): 1175-1185, 1990.
17. R. K. Treiber. System programming: Copying with parallelism. Technical report, IBM Almaden Research Center, April 1986. RJ 5118.
18. J. Valois. Lock-free linked list using compare-and-swap. In ACM PODC, pages 214-222, 1995.
19. H. Wu, B. Ravindran, et al. Utility accrual scheduling under arbitrary time/utility functions and multiunit resource constraints. In IEEE RTCSA, August 2004.
20. H. Cho. Utility Accrual Scheduling with Non-Blocking Synchronization on Uniprocessors and Multiprocessors. In PhD Dissertation Proposal, ECE Dept., Virginia Tech, 2005, http://www.ee.vt.edu/~realtime/cho.proposal05.pdf.