Optimal Mutex policy in Ada 95

Authors:
Jim Abu-Ras
Affiliations:
The University of Houston, POB 52383 Houston, Texas
Venue:
ACM SIGAda Ada Letters
Year:
1995

Citing 5
Cited 2

Real-Time Scheduling Theory and Ada

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

ACM SIGOPS Operating Systems Review
An optimal priority inheritance policy for synchronization in real-time systems

Advances in real-time systems
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

Journal of the ACM (JACM)
Priority Inheritance Protocols: An Approach to Real-Time Synchronization

IEEE Transactions on Computers

Priority inversion in multi processor systems due to protected actions

ACM SIGAda Ada Letters
The implementation of the Priority Ceiling Protocol in Ada-2005

ACM SIGAda Ada Letters

Quantified Score

Hi-index	0.00

Visualization

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.