A formalization of priority inversion
- 1 October 1993
- journal article
- research article
- Published by Springer Nature in Real-Time Systems
- Vol. 5 (4) , 285-303
- https://doi.org/10.1007/bf01088832
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Priority inheritance protocols: an approach to real-time synchronizationIEEE Transactions on Computers, 1990
- Preemptive Scheduling Under Time and Resource ConstraintsIEEE Transactions on Computers, 1987
- Distributed snapshotsACM Transactions on Computer Systems, 1985
- Experience with processes and monitors in MesaCommunications of the ACM, 1980
- A Majority consensus approach to concurrency control for multiple copy databasesACM Transactions on Database Systems, 1979
- Scheduling according to job priority with prevention of deadlock and permanent blockingActa Informatica, 1977
- Scheduling Algorithms for Multiprogramming in a Hard-Real-Time EnvironmentJournal of the ACM, 1973
- Avoiding deadlock in multitasking systemsIBM Systems Journal, 1968