Priority Inheritance Protocols¶
Sha, L., Rajkumar, R., & Lehoczky, J. P. (1990). Priority Inheritance Protocols: An Approach to Real-Time Synchronization. IEEE Transactions on Computers, 39(9), 1175-1185.
Cited by¶
3 citations across 3 artifacts.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Goal Shielding
- In operating systems and concurrency the transfer is sharp: a thread holding a lock during a critical section is goal-shielded — other threads run but are inhibited from the claimed resources until lock release — and the priority-inversion failure mode is a textbook goal-shielding failure where an insufficiently inhibited alternative steals resources from a higher-priority goal.
This sourceDefines unbounded priority inversion (a thread holding a lock blocks a higher-priority task while a medium task preempts) and the priority-inheritance fix that raises the lock-holder's priority so it completes and releases.
- In operating systems and concurrency the transfer is sharp: a thread holding a lock during a critical section is goal-shielded — other threads run but are inhibited from the claimed resources until lock release — and the priority-inversion failure mode is a textbook goal-shielding failure where an insufficiently inhibited alternative steals resources from a higher-priority goal.
Mechanisms¶
- Blocked Item Escalation
- Real-time systems formalize the idea as the priority-inheritance protocol: a task blocked on a resource held by a lower-priority task lends it priority so the blocker finishes and releases sooner.
This sourceDefines priority inheritance: when a higher-priority task blocks on a resource held by a lower-priority task, the holder temporarily inherits the higher priority so it can finish its critical section and release the resource.
- Real-time systems formalize the idea as the priority-inheritance protocol: a task blocked on a resource held by a lower-priority task lends it priority so the blocker finishes and releases sooner.
- Priority Bypass Token
- The subtler one is priority inversion,
This sourceDefines priority inversion as a high-priority task being blocked by a lower-priority task that holds a shared resource.
- The subtler one is priority inversion,
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:6f614d0a830b · see in the full table