The ceiling protocol in multi-moded real-time systems

J Real; A Wellings

The ceiling protocol in multi-moded real-time systems

Computer Science

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

Abstract

Fixed-priority scheduling has become a very important approach for implementing real-time systems. Two key aspects of the method are its support for resource management using priority inheritance protocols and its ability to model modes of operation. In this paper, we discuss the impact of mode changes on the immediate inheritance priority ceiling protocol. We show that the approach adopted in Ada can result in an increased blocking time for tasks that can unnecessarily jeopardise their schedulability. We propose several solutions to help solve this problem.

Original language	English
Title of host publication	RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE' 99
Editors	MG Harbour, JA DelaPuente
Place of Publication	BERLIN
Publisher	Springer
Pages	275-286
Number of pages	12
ISBN (Print)	3-540-66093-3
Publication status	Published - 1999
Event	4th International Conference on Reliable Software Technologies (Ada-Europe'99) - SANTANDER Duration: 7 Jun 1999 → 11 Jun 1999

Conference

Conference	4th International Conference on Reliable Software Technologies (Ada-Europe'99)
City	SANTANDER
Period	7/06/99 → 11/06/99

Cite this

@inproceedings{549377ecd2d74f16b5b70ad03194572c,

title = "The ceiling protocol in multi-moded real-time systems",

abstract = "Fixed-priority scheduling has become a very important approach for implementing real-time systems. Two key aspects of the method are its support for resource management using priority inheritance protocols and its ability to model modes of operation. In this paper, we discuss the impact of mode changes on the immediate inheritance priority ceiling protocol. We show that the approach adopted in Ada can result in an increased blocking time for tasks that can unnecessarily jeopardise their schedulability. We propose several solutions to help solve this problem.",

author = "J Real and A Wellings",

year = "1999",

language = "English",

isbn = "3-540-66093-3",

pages = "275--286",

editor = "MG Harbour and JA DelaPuente",

booktitle = "RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE' 99",

publisher = "Springer",

address = "Germany",

note = "4th International Conference on Reliable Software Technologies (Ada-Europe'99) ; Conference date: 07-06-1999 Through 11-06-1999",

}

TY - GEN

T1 - The ceiling protocol in multi-moded real-time systems

AU - Real, J

AU - Wellings, A

PY - 1999

Y1 - 1999

N2 - Fixed-priority scheduling has become a very important approach for implementing real-time systems. Two key aspects of the method are its support for resource management using priority inheritance protocols and its ability to model modes of operation. In this paper, we discuss the impact of mode changes on the immediate inheritance priority ceiling protocol. We show that the approach adopted in Ada can result in an increased blocking time for tasks that can unnecessarily jeopardise their schedulability. We propose several solutions to help solve this problem.

AB - Fixed-priority scheduling has become a very important approach for implementing real-time systems. Two key aspects of the method are its support for resource management using priority inheritance protocols and its ability to model modes of operation. In this paper, we discuss the impact of mode changes on the immediate inheritance priority ceiling protocol. We show that the approach adopted in Ada can result in an increased blocking time for tasks that can unnecessarily jeopardise their schedulability. We propose several solutions to help solve this problem.

M3 - Conference contribution

SN - 3-540-66093-3

SP - 275

EP - 286

BT - RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE' 99

A2 - Harbour, MG

A2 - DelaPuente, JA

PB - Springer

CY - BERLIN

T2 - 4th International Conference on Reliable Software Technologies (Ada-Europe'99)

Y2 - 7 June 1999 through 11 June 1999

ER -