Priority Inheritance Protocol Proved Correct

Zhang, XY; Urban, C; Wu, CH

Urban, C (corresponding author), Kings Coll London, London, England.

JOURNAL OF AUTOMATED REASONING, 2020; 64 (1): 73

Abstract

In real-time systems with threads, resource locking and priority scheduling, one faces the problem of Priority Inversion. This problem can make the be......

Full Text Link