Optimal Mutex policy in Ada 95
Jim Abu-Ras · ACM SIGAda Ada Letters · 1995
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.