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
Real-Time Scheduling Theory and Ada
Computer
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Real-Time Computing with IEEE Futurebus+
IEEE Micro
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
Locking protocols for concurrency control in real-time database systems
ACM SIGMOD Record
Optimal Mutex policy in Ada 95
ACM SIGAda Ada Letters
Priority ceiling protocol in Ada
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world
Using MTBDDs for Discrete Timed Symbolic Model Checking
EDTC '97 Proceedings of the 1997 European conference on Design and Test
Symbolic Verification and Analysis of Discrete Timed Systems
Formal Methods in System Design
Priority inversion in multi processor systems due to protected actions
ACM SIGAda Ada Letters
Evolving mach 3.0 to a migrating thread model
WTEC'94 Proceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference
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
| Hi-index | 0.00 |
In the design of real-time systems, tasks are often assigned priorities. Preemptive priority driven schedulers are used to schedule tasks to meet the timing requirements. Priority inversion is the term used to describe the situation when a higher priority task's execution is delayed by lower priority tasks. Priority inversion can occur when there is contention for resources among tasks of different priorities. The duration of priority inversion could be long enough to cause tasks to miss their deadlines. Priority inversion cannot be completely eliminated. However, it is important to identify sources of priority inversion and minimize the duration of priority inversion. IN the paper we present a comprehensive review of the problem of and solutions to unbounded priority inversion.