Priority Inversion and Its Prevention
Abstract
A priority inversion occurs when a low-priority task causes execution of a higher-priority task to be delayed. The possibility of priority inversion complicates the analysis of systems that use priority-based schedulers because priority inversions invalidate the assumption that a task can be delayed only by higher-priority tasks. This paper formalizes priority inversion and gives sufficient conditions as well as some new protocols for preventing priority inversions.
Document Details
- Document Type
- Technical Report
- Publication Date
- Feb 01, 1990
- Accession Number
- ADA218613
Entities
People
- Fred B. Schneider
- Keith Marzullo
- Ozalp Babaoglu
Organizations
- Cornell University