PRIORITY INHERITANCE PROTOCOLS - AN APPROACH TO REAL-TIME SYNCHRONIZATION

被引：846

作者：

SHA, L

RAJKUMAR, R

LEHOCZKY, JP

机构：

[1] CARNEGIE MELLON UNIV,DEPT COMP SCI,PITTSBURGH,PA 15213

[2] CARNEGIE MELLON UNIV,DEPT STAT,PITTSBURGH,PA 15213

[3] CARNEGIE MELLON UNIV,PITTSBURGH,PA 15213

来源：

IEEE TRANSACTIONS ON COMPUTERS | 1990年 / 39卷 / 09期

关键词：

Priority inheritance; priority inversion; realtime systems; scheduling; synchronization;

D O I：

10.1109/12.57058

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

A direct application of commonly used synchronization primitives such as semaphores, monitors, or the Ada rendezvous can lead to uncontrolled priority inversion, a situation in which a higher priority job is blocked by lower priority jobs for an indefinite period of time. In this paper, we investigate two protocols belonging to the class of priority inheritance protocols, called the basic priority inheritance protocol and the priority ceiling protocol. We show that both protocols solve this uncontrolled priority inversion problem. In particular, the priority ceiling protocol reduces the worst case task blocking time to at most the duration of execution of a single critical section of a lower priority task. In addition, this protocol prevents the formation of deadlocks. We also derive a set of sufficient conditions under which a set of periodic tasks using this protocol is schedulable. © 1990 IEEE

引用

页码：1175 / 1185

页数：11