Determining optimal processor speeds for periodic real-time tasks with different power characteristics

摘要

In this paper, we provide an efficient solution for periodic real-time tasks with (potentially) different power consumption characteristics. We show that a task T{sub}i can run at a constant speed S{sub}i at every instance without hurting optimality. We sketch an O(n{sup}2 log n) algorithm to compute the optimal S{sub}i values. We also prove that the EDF (Earliest Deadline First) scheduling policy can be used to obtain a feasible schedule with these optimal speed values.