This paper addresses the scheduling of systems that implement the abort and restart (AR) model. The AR model requires that preempted tasks are aborted. As a result high priority tasks run quickly and shared resources need not be protected (as tasks only work on copies of these resources). However there is significant wastage as low priority tasks may be subject to a series of aborts. We show that exact analysis of the AR model is intractable. A sufficient but tractable test is developed and is used to address the priority assignment issue. Again an optimal tractable algorithm is not available. The paper develops a priority assignment heuristic that is demonstrated to perform better than existing schemes.

BibTex Entry

@inproceedings{Wong2013a,
 author = {H. C. Wong and A. Burns},
 booktitle = {7th Junior Researcher Workshop on Real-Time Computing (JRWRTC)},
 title = {Improved Priority Assignment for the Abort-and-Restart (AR) Model},
 year = {2013}
}