Defining New Non-Preemptive Dispatching and Locking Policies for Ada
A. Burns
In many high-integrity applications, non-preemptive execution is preferred. This paper motivates and defines such a dispatching policy for Ada. It also describes an associated locking policy for protected objects. To deliver non-preemptive execution a new processing resource is introduced -- the execution token. In addition to defining these new policies the paper also reviews how non-preemptive tasking systems can be analysed for their schedulability.
Download Not Available
BibTex Entry
@inproceedings{Burns2001b,
author = {A. Burns},
booktitle = {Proceedings of Reliable Software Technologies---Ada Europe 2001},
category = {scheduling,languages},
editor = {D. Craeyneest and A. Strohmeier},
pages = {328-336},
publisher = {Springer},
series = {LNCS},
title = {Defining New Non-Preemptive Dispatching and Locking Policies for Ada},
volume = {2043},
year = {2001}
}