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.
/lp/association-for-computing-machinery/optimal-mutex-policy-in-ada-95-p05wgwYNeC