Priority inversion in multi processor systems due to protected actions
Gustaf Naeser · ACM SIGAda Ada Letters · 2005
The use of multiple processors give rise to new issues regarding old problems of the Ada95 design.In this paper we discuss how serviceing of protected actions, due to unspecified dispatching, can lead to unbounded priority inversion in systems with multiple processors. We also discuss different ways to resolve the problem.