Improving wait-free algorithms for interprocess communication in embedded real-time systems

Proceedings of the 2002 USENIX Annual Technical Conference

Volumn , Issue , 2002, Pages

  Huang, Hai ^a   Pillai, Padmanabhan ^a   Shin, Kang G ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; LOCKS (FASTENERS); SEMANTICS;

CONCURRENCY MANAGEMENT; EMBEDDED REAL TIME SYSTEMS; EXPERIMENTAL CONDITIONS; INTERPROCESS COMMUNICATION; TASK EXECUTION DEPENDENCIES; TEMPORAL CHARACTERISTICS; TRANSFORMATION MECHANISMS; WAIT-FREE ALGORITHMS;

REAL TIME SYSTEMS;

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

References (35)

1. J. Alemany and W. Felten. Performance issues in non-blocking synchronization on shared-memory multiprocessors. In Proceedings of the 11th ACM Symposium on Principles of Distributed Computing, pages 125–134, 1992.
2. J. Anderson, S. Ramamurthy, and K. Jeffay. Real-time computing with lock-free shared objects. In Proceedings of the 16th IEEE Real-Time Systems Symposium, pages 28–37, Dec 1995.
3. T. P. Baker. Stack-based scheduling of realtime processes. RTSYSTS: Real-Time Systems, 3, 1991.
4. Greg Barnes. A method for implementing lock-free data structures. In 5th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA 93), 1993.
5. B. Bershad. Practical considerations for non-blocking concurrent objects. In IEEE International Conference on Distributed Computing Systems, pages 264–273, 1993.
6. James E. Burns and Gary L. Peterson. Constructing multi-reader atomic values from non-atomic values. In ACM Symposium on Principles of Distributed Computing, pages 222–231, 1987.
7. J. Chen and A. Burns. A fully asynchronous reader/writer mechanism for multiprocessor real-time systems. Technical Report YCS-288, Department of Computer Science, University of York, 1997.
8. J. Chen and A. Burns. A three-slot asynchronous reader/writer mechanism for multiprocessor real-time systems. Technical Report YCS-186, Department of Computer Science, University of York, 1997.
9. P. Courtois, F. Heymans, and D. Parnas. Concurrent control with readers and writers. Communications of the Association of Computing Machinery, 14(10):667–668, 1971.
10. E. Dijkstra. Solution of a problem in concurrent programming control. Communications of the Association of Computing Machinery, 8(9):569, 1965.
11. J. Eliot and B. Moss. Lock-free garbage collection for multiprocessors. In Parallel Algorithms and Architectures, 1991.
12. M. Greenwald and D. Cheriton. The synergy between nonblocking synchronization and operating system structure. In Operating Systems Design and Implementation, pages 123–136, 1996.
13. M. Herlihy. A methodology for implementing highly concurrent data structure. Proceeding of the 2nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 197–206, 1989.
14. M. Herlihy. Wait-free synchronization. ACM Transactions on Programming Languages and Systems, 13(1):124–149, January 1991.
15. M. Herlihy. A methodology for implementing highly concurrent data objects. ACM Transactions on Programming Languages and Systems, 15(5):745–770, November 1993.
16. H. Kopetz and et al. Distributed fault-tolerant real-time systems: the Mars approach. IEEE Micro, 9(1):25–40, 1989.
17. H. Kopetz and J. Reisinger. The non-blocking write protocol NBW: A solution to a real-time synchronisation problem. In IEEE Real-Time Systems Symposium, pages 131–137, 1993.
18. C. M. Krishna and K. G. Shin. Real-Time Systems. McGrawHill, 1997.
19. Anthony LaMarca. A performance evaluation of lock-free synchronization protocols. In ACM Symposium on Principles of Distributed Computing, pages 130–140, 1994.
20. L. Lamport. Concurrent reading and writing. Communications of ACM, 20(11):806–811, Nov 1977.
21. C. L. Liu and James W. Layland. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM, 20(1):46–61, 1973.
22. H. Massalin and C. Pu. A lock-free multiprocessor os kernel. Technical Report CUCS-005-91, Department of Computer Science, Columbia University, 1991.
23. M. Moir. Practical implementations of non-blocking synchronization primitives. In ACM Symposium on Principles of Distributed Computing, pages 219–228, 1997.
24. G. Peterson. Concurrent reading while writing. ACM Transactions on Programming Languages and Systems, 5(1):46–55, 1983.
25. S. Poledna, T. Mocken, and J. Schiemann. Ercos: an operating system for automotive applications. Technical Report 960623, Society of Automotive Engineers Technical Paper Series, 1996.
26. S. Prakash, Y.-H. Lee, and T. Johnson. Non-blocking algorithms for concurrent data structures. Technical Report 91–002, Department of Computer Science, University of California, Los Angeles, 1991.
27. S. Prakash, Y.-H. Lee, and T. Johnson. A non-blocking algorithm for shared queues using compare-and-swap. IEEE Transactions on Computers, 43(5):548–559, 1994.
28. R. Rajkumar. Synchronization in real-time systems - a priority inheritance approach. Kluwer Academic Publishers, 1991.
29. L. Sha, R. Rajkumar, and J. P. Lehoczky. Priority inheritance protocols: An approach to real-time synchronization. IEEE Transactions on Computers, 39(9):1175–1185, 1990.
30. Nir Shavit and Dan Touitou. Software transactional memory. In ACM Symposium on Principles of Distributed Computing, pages 204–213, 1995.
31. H. R. Simpson. Four-slot fully asynchronous communication mechanism. In IEEE Proceedings, 1990.
32. John Turek, Dennis Shasha, and Sundeep Prakash. Locking without blocking: making lock based concurrent data structure algorithms nonblocking. In ACM Proceedings of the Principles of Database Systems, pages 212–222, 1992.
33. J. D. Valois. Implementing lock-free queues. In Proceedings of the Seventh International Conference on Parallel and Distributed Computing Systems, pages 64–69, Las Vegas, NV, 1994.
34. K. Vidyasankar. Concurrent reading while writing revisited. Distributed Computing, 4(2):81–86, 1990.
35. K. Zuberi, P. Pillai, and K. G. Shin. EMERALDS: a small-memory real-time microkernel. In ACM Symposium on Operating Systems Principles, volume 34, pages 277–299, 1999.