ACM SIGAda Ada Letters
The control of priority inversion in Ada
ACM SIGAda Ada Letters
The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks
IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
Priority inversion and its control: An experimental investigation
IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
ACM SIGOPS Operating Systems Review
Optimal Mutex policy in Ada 95
ACM SIGAda Ada Letters
Priority inversion in Ada programs during elaboration
WADAS '90 Proceedings of the seventh Washington Ada symposium on Ada
A Formalization of Priority Inversion
A Formalization of Priority Inversion
Avoiding unbounded priority inversion in barrier protocols using gang priority management
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
Priority inversion with fungible resources
ACM SIGAda Ada Letters
Hi-index | 0.00 |
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.