We present a new algorithm for testing the feasibility of a set of non-recurrent tasks (or jobs) with real-time constraints scheduled under the EDF policy (Earliest Deadline First). The proposed feasibility test has a lower complexity than the previously known test. The first step of the algorithm is to construct the Hasse diagram of the set of tasks where the partial order is defined by the inclusion relation on the tasks. Then, the algorithm constructs the shortest path in a geometrical representation at each level of the Hasse diagram. Depending on the maximal slope of each path, the set of tasks is either feasible of not. The worst-case complexity of this feasibility test depends on structural characteristics of the set of jobs since it is the sum of the levels in the Hasse diagram. Whatever the set of jobs, this is better than the worst-case complexities of existing approaches. Furthermore, we provide a probabilistic analysis of the complexity when the tasks are random. For Poisson arrivals and exponentially distributed latencies, we show that the asymptotic complexity for assessing feasibility is O(N (N)). As an interesting by-product, the algorithm provides a new way to derive the best speeds of the processor so as to minimize the total energy consumption while meeting the deadline of each task. The exact complexity of this algorithm (sub-cubic in the number of tasks) is lower than the complexity of all the algorithms solving the same problem, known by the authors.
[1]
Peter C. Fishburn,et al.
Interval orders and interval graphs : a study of partially ordered sets
,
1985
.
[2]
P. Diaconis,et al.
Hammersley's interacting particle process and longest increasing subsequences
,
1995
.
[3]
F. Frances Yao,et al.
A scheduling model for reduced CPU energy
,
1995,
Proceedings of IEEE 36th Annual Foundations of Computer Science.
[4]
Bruno Gaujal,et al.
Real-time scheduling for optimal energy use
,
2003
.
[5]
Flavius Gruian,et al.
Energy-Centric Scheduling for Real-Time Systems
,
2002
.
[6]
Eric W. Weisstein,et al.
The CRC concise encyclopedia of mathematics
,
1999
.