Automated analysis of real-time scheduling using graph games
Proceedings of the 16th international conference on Hybrid systems: computation and control
| Hi-index | 0.00 |
This paper investigates the task scheduling problem for real-time systems that provide rate of progress guarantees on task execution. A parametrerized task system model, called (r, g) task system, is introduced that allows rate of progress requirements to be specified in terms of two simple parameters: an execution rate r and a granularity g . The granularity parameter is a new metric that allows the specification of"fine-grain" timing constraints on the taskýs execution and is a generalization of the stretch metric used an recent research on task scheduling. It is shown that the product r 1g(1/g) as an important determiner of the existence of good online scheduling algorithms. Specifically, there is an upper bound on this product above which there are no good online algorithms but below which an online algorithm with logarithmic competitive ratio exists. This paper also demonstrates a fundamental difference between two contrasting strategies for admission control: greedy vs. non-greedy. It is shown that "greed does not pay": there is a scheduling algorithm with a non-greedy admission policy that provably outperforms the well-known Greedy EDF scheduling algorithm.