An EDF Run-Time Profile based on Ravenscar

A. Burns

An EDF Run-Time Profile based on Ravenscar

Computer Science

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

Abstract

This paper presents a definition of a Ravenscar-like profile (EDF Ravenscar) that incorporates EDF scheduling. Rather than just replace the dispatching policy, an argument is made for simplifying the support that is provided in full Ada for controlling access to protected objects. As a result all tasks and protected objects have their default priorities, and only one ready queue is needed (ordered by absolute deadline). The paper also outlines the static scheduling analysis that can be applied to applications conforming to the profile.

Original language	Undefined/Unknown
Title of host publication	Proceeding of the 15th IRTAW
Publisher	ACM
Pages	24-31
Number of pages	8
Volume	XXXII
Publication status	Published - 2013

Cite this

@inproceedings{e48ccc5ac465421c9c8dfe0e924da7e5,

title = "An EDF Run-Time Profile based on Ravenscar",

abstract = "This paper presents a definition of a Ravenscar-like profile (EDF Ravenscar) that incorporates EDF scheduling. Rather than just replace the dispatching policy, an argument is made for simplifying the support that is provided in full Ada for controlling access to protected objects. As a result all tasks and protected objects have their default priorities, and only one ready queue is needed (ordered by absolute deadline). The paper also outlines the static scheduling analysis that can be applied to applications conforming to the profile.",

author = "A. Burns",

year = "2013",

language = "Undefined/Unknown",

volume = "XXXII",

pages = "24--31",

booktitle = "Proceeding of the 15th IRTAW",

publisher = "ACM",

address = "United States",

}

TY - GEN

T1 - An EDF Run-Time Profile based on Ravenscar

AU - Burns, A.

PY - 2013

Y1 - 2013

N2 - This paper presents a definition of a Ravenscar-like profile (EDF Ravenscar) that incorporates EDF scheduling. Rather than just replace the dispatching policy, an argument is made for simplifying the support that is provided in full Ada for controlling access to protected objects. As a result all tasks and protected objects have their default priorities, and only one ready queue is needed (ordered by absolute deadline). The paper also outlines the static scheduling analysis that can be applied to applications conforming to the profile.

AB - This paper presents a definition of a Ravenscar-like profile (EDF Ravenscar) that incorporates EDF scheduling. Rather than just replace the dispatching policy, an argument is made for simplifying the support that is provided in full Ada for controlling access to protected objects. As a result all tasks and protected objects have their default priorities, and only one ready queue is needed (ordered by absolute deadline). The paper also outlines the static scheduling analysis that can be applied to applications conforming to the profile.

M3 - Conference contribution

VL - XXXII

SP - 24

EP - 31

BT - Proceeding of the 15th IRTAW

PB - ACM

ER -