Integrating priority inheritance algorithms in the real-time specification for Java

Andy Wellings; Alan Burns; Osmar Marchi dos Santos; Benjamin M. Brosgol

Integrating priority inheritance algorithms in the real-time specification for Java

Andy Wellings, Alan Burns, Osmar Marchi dos Santos, Benjamin M. Brosgol

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Priority in version and priority inheritance protocols for bounding blocking time are well-understood topics in real-time systems research. The two most commonly used priority, inheritance protocols are basic priority inheritance and priority ceiling emulation. Although both are supported in POSIX Ada and the Real-Time Specification for Java (RTSJ), little has been written about the consequences of using both protocols concurrently in the same program. The assumption is usually that only one is in force at any particular time. For large real-time systems, this assumption may not be valid. This paper provides motivation for why a mixture of the two can occur and illustrates that this can result in the raising of unwanted asynchronous exception. This has led the Technical Interpretation Committee for the RTSJ to propose a new version of the priority ceiling emulation protocol that will enable it to work in harmony with basic priority inheritance. The protocol is described and we use the UPPAAL tool to explore formal properties using model checking.

Original language	English
Title of host publication	10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, Proceedings
Editors	M DeMiguel, V Kalogeraki, DH Kim
Place of Publication	LOS ALAMITOS
Publisher	IEEE Computer Society
Pages	115-122
Number of pages	8
ISBN (Print)	978-0-7695-2765-9
Publication status	Published - 2007
Event	10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing - Santorini Isl Duration: 7 May 2007 → 9 May 2007

Conference

Conference	10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing
City	Santorini Isl
Period	7/05/07 → 9/05/07

Cite this

@inproceedings{b6c99b6533684370ac33209839305c55,

title = "Integrating priority inheritance algorithms in the real-time specification for Java",

abstract = "Priority in version and priority inheritance protocols for bounding blocking time are well-understood topics in real-time systems research. The two most commonly used priority, inheritance protocols are basic priority inheritance and priority ceiling emulation. Although both are supported in POSIX Ada and the Real-Time Specification for Java (RTSJ), little has been written about the consequences of using both protocols concurrently in the same program. The assumption is usually that only one is in force at any particular time. For large real-time systems, this assumption may not be valid. This paper provides motivation for why a mixture of the two can occur and illustrates that this can result in the raising of unwanted asynchronous exception. This has led the Technical Interpretation Committee for the RTSJ to propose a new version of the priority ceiling emulation protocol that will enable it to work in harmony with basic priority inheritance. The protocol is described and we use the UPPAAL tool to explore formal properties using model checking.",

author = "Andy Wellings and Alan Burns and {dos Santos}, {Osmar Marchi} and Brosgol, {Benjamin M.}",

year = "2007",

language = "English",

isbn = "978-0-7695-2765-9",

pages = "115--122",

editor = "M DeMiguel and V Kalogeraki and DH Kim",

booktitle = "10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, Proceedings",

publisher = "IEEE Computer Society",

address = "United States",

note = "10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing ; Conference date: 07-05-2007 Through 09-05-2007",

}

Wellings, A , Burns, A , dos Santos, OM & Brosgol, BM 2007, Integrating priority inheritance algorithms in the real-time specification for Java. in M DeMiguel, V Kalogeraki & DH Kim (eds), 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, Proceedings. IEEE Computer Society, LOS ALAMITOS, pp. 115-122, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, Santorini Isl, 7/05/07.

Integrating priority inheritance algorithms in the real-time specification for Java. / Wellings, Andy ; Burns, Alan ; dos Santos, Osmar Marchi et al.
10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, Proceedings. ed. / M DeMiguel; V Kalogeraki; DH Kim. LOS ALAMITOS: IEEE Computer Society, 2007. p. 115-122.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Integrating priority inheritance algorithms in the real-time specification for Java

AU - Wellings, Andy

AU - Burns, Alan

AU - dos Santos, Osmar Marchi

AU - Brosgol, Benjamin M.

PY - 2007

Y1 - 2007

N2 - Priority in version and priority inheritance protocols for bounding blocking time are well-understood topics in real-time systems research. The two most commonly used priority, inheritance protocols are basic priority inheritance and priority ceiling emulation. Although both are supported in POSIX Ada and the Real-Time Specification for Java (RTSJ), little has been written about the consequences of using both protocols concurrently in the same program. The assumption is usually that only one is in force at any particular time. For large real-time systems, this assumption may not be valid. This paper provides motivation for why a mixture of the two can occur and illustrates that this can result in the raising of unwanted asynchronous exception. This has led the Technical Interpretation Committee for the RTSJ to propose a new version of the priority ceiling emulation protocol that will enable it to work in harmony with basic priority inheritance. The protocol is described and we use the UPPAAL tool to explore formal properties using model checking.

AB - Priority in version and priority inheritance protocols for bounding blocking time are well-understood topics in real-time systems research. The two most commonly used priority, inheritance protocols are basic priority inheritance and priority ceiling emulation. Although both are supported in POSIX Ada and the Real-Time Specification for Java (RTSJ), little has been written about the consequences of using both protocols concurrently in the same program. The assumption is usually that only one is in force at any particular time. For large real-time systems, this assumption may not be valid. This paper provides motivation for why a mixture of the two can occur and illustrates that this can result in the raising of unwanted asynchronous exception. This has led the Technical Interpretation Committee for the RTSJ to propose a new version of the priority ceiling emulation protocol that will enable it to work in harmony with basic priority inheritance. The protocol is described and we use the UPPAAL tool to explore formal properties using model checking.

M3 - Conference contribution

SN - 978-0-7695-2765-9

SP - 115

EP - 122

BT - 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, Proceedings

A2 - DeMiguel, M

A2 - Kalogeraki, V

A2 - Kim, DH

PB - IEEE Computer Society

CY - LOS ALAMITOS

T2 - 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing

Y2 - 7 May 2007 through 9 May 2007

ER -