PRIORITY INHERITANCE AND MESSAGE PASSING COMMUNICATION - A FORMAL TREATMENT

被引：5

作者：

BURNS, A ^{[1
]}

WELLINGS, AJ ^{[1
]}

机构：

[1] UNIV YORK,DEPT COMP SCI,YORK YO1 5DD,N YORKSHIRE,ENGLAND

来源：

REAL-TIME SYSTEMS | 1991年 / 3卷 / 01期

关键词：

D O I：

10.1007/BF00365391

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Priority is one means of representing scheduling information in a concurrent real-time programming language. Unfortunately a static priority scheme can give rise to inversion when combined with synchronization primitives. In this paper one means of overcoming inversion, namely priority inheritance, is specified together with the semantics of a simple message-based language. The formal notation Z is used for this treatment. Following the specification, investigations are made of the operational behavior of programs that adhere to these semantics.

引用

页码：19 / 44

页数：26

共 8 条

[1] THE NOTION OF PRIORITY IN REAL-TIME PROGRAMMING-LANGUAGES [J].

BURNS, A ;

WELLINGS, AJ .

COMPUTER LANGUAGES, 1990, 15 (03) :153-162

[2]

BURNS A, 1987, LECTURE NOTES COMPUT, V262

[3]

BURNS A, 1990, REAL TIME SYSTEMS TH

[4] SCHEDULING ALGORITHMS FOR MULTIPROGRAMMING IN A HARD-REAL-TIME ENVIRONMENT [J].

LIU, CL ;

LAYLAND, JW .

JOURNAL OF THE ACM, 1973, 20 (01) :46-61

[5] PRIORITY INHERITANCE PROTOCOLS - AN APPROACH TO REAL-TIME SYNCHRONIZATION [J].

SHA, L ;

RAJKUMAR, R ;

LEHOCZKY, JP .

IEEE TRANSACTIONS ON COMPUTERS, 1990, 39 (09) :1175-1185

[6]

Spivey M, 1989, Z NOTATION REFERENCE

[7]

1984, OCCAM PROGRAMMING MA

[8]

[No title captured]

← 1 →