A New EDF Feasibility Test - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2004

A New EDF Feasibility Test

Nicolas Navet
  • Fonction : Auteur
  • PersonId : 755790
  • IdRef : 096306831

Résumé

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.
Fichier principal
Vignette du fichier
RR-5125.pdf (266.65 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00071458 , version 1 (23-05-2006)

Identifiants

  • HAL Id : inria-00071458 , version 1

Citer

Bruno Gaujal, Nicolas Navet. A New EDF Feasibility Test. [Research Report] RR-5125, INRIA. 2004. ⟨inria-00071458⟩
210 Consultations
186 Téléchargements

Partager

Gmail Facebook X LinkedIn More