Sufficient Condition for Guaranteeing (m,k)-firm Real-Time Requirement Under NP-DBP-EDF Scheduling

Jian Li 1
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Beaucoup d'algorithmes d'ordonnancement ont été proposés pour fournir la garantie temps réel (m,k)-firm. Par rapport à la garantie temps réel dure traditionnelle, qui peut être considérée comme le cas de (k,k)-firm, le fait de ne plus viser que garantir m échéances parmi les k instances consécutives d'une tâche devrait intuitivement résulter à moins de demande de ressources. Dans ce document, nous avons donner une condition suffisante pour la garantie temps réel (m,k)-firm avec l'ordonnancement NP-DBP-EDF (Non Preemptive - Distance Based Priority - Earliest Deadline First). Cette condition suffisante est ensuite utilisée pour le dimensionnement de la capacité du serveur dans un modèle MIQSS (Multiple Input Queues Single Server). Nous avons également démontré que pour un système avec des valeurs de mi et ki non spécifiées (avec mi < ki, pour i = 1, 2, N qui représente le numéro de source), la condition suffisant ne peut jamais éviter de tomber dans le cas de temps réel dur. Pour aider à éviter cette situation indésirable, nous avons analysé ses causes. Nous concluons que la meilleure approche d'ordonnancement et la meilleure (m,k)-séquence doivent être donné par le serveur (ordonnanceur). Dans la procédure d'analyse de demande de capacité du serveur nous avons donné une stratégie pour rechercher la situation indésirable, ce qui peut être utilisé dans nos travaux futurs pour trouver l'ordonnancement optimal et établir un protocole de négociation de la qualité de service entre les sources et l'ordonnanceur. || For (m,k)-firm real-time guarantee a lot of specific scheduling algorithms have been proposed. Comparing to the traditional hard real-time guarantee which is equivalent to (k,k)-firm, the fact of only aiming to guarantee m out of k consecutive instances o
Type de document :
Rapport
[Intership report] A03-R-452 || li03a, 2003, 53 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00099703
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 09:40:29
Dernière modification le : jeudi 11 janvier 2018 - 06:20:05

Identifiants

  • HAL Id : inria-00099703, version 1

Collections

Citation

Jian Li. Sufficient Condition for Guaranteeing (m,k)-firm Real-Time Requirement Under NP-DBP-EDF Scheduling. [Intership report] A03-R-452 || li03a, 2003, 53 p. 〈inria-00099703〉

Partager

Métriques

Consultations de la notice

161