Optimal Mutex policy in Ada 95-Reference-Cited by-同舟云学术

Optimal Mutex policy in Ada 95

Published:1995-12 Issue:6 Volume:XV Page:46-56
ISSN:1094-3641
Container-title:ACM SIGAda Ada Letters
language:en
Short-container-title:Ada Lett.

Author:

Abu-Ras Jim¹

Affiliation:

1. The University of Houston, POB 52383 Houston, Texas

Abstract

Priority inversion is any situation where low priority tasks are served before higher priority tasks. It is recognized as a serious problem for Real-Time Systems. In this paper, we present some of the important features of the Real-Time Annex of Ada 95. We also implement the Optimal Mutex Policy (OMP) in Ada 95 to better illustrate Ada's new usefulness for Real-Time programming. A detailed discussion of this protocol and other related issues are presented.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/216578.216581

Reference9 articles.

1. {1} Abu-Ras Jim "Priority Inheritance Protocol in Ada 95 " (Research Document) University of Houston - Clear Lake 1995. {1} Abu-Ras Jim "Priority Inheritance Protocol in Ada 95 " (Research Document) University of Houston - Clear Lake 1995.

2. Sources of unbounded priority inversions in real-time systems and a comparative study of possible solutions

3. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

4. {4} Liu J. W. Lin K. and Natarajan S. "Scheduling Real-Time Periodic Jobs Using Imprecise Results. " In Proceedings of the 8th Real-Time Systems Symposium pp. 252-260. IEEE San Jose California December 1987. {4} Liu J. W. Lin K. and Natarajan S. "Scheduling Real-Time Periodic Jobs Using Imprecise Results. " In Proceedings of the 8th Real-Time Systems Symposium pp. 252-260. IEEE San Jose California December 1987.

5. An Optimal Priority Inheritance Policy For Synchronization in Real-Time Systems;Rajkumar R.;Advances in Real-Time Systems,1995

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The implementation of the Priority Ceiling Protocol in Ada-2005;ACM SIGAda Ada Letters;2007-04

2. Priority inversion in multi processor systems due to protected actions;ACM SIGAda Ada Letters;2005-03