Projet : REFLECS

Précédent : Maintien de la cohérence dans Remonter : Résultats nouveaux Suivant : Diffusion fiable uniforme temps réel

   
Conditions de faisabilité temps réel pour un système de tâches distribuées ayant une structure de graphe

Participants : Soumaya Kamoun, Pascale Minet.

Mots clés : temps réel, ordonnancement distribué, analyse combinatoire, complexité, condition suffisante de faisabilité .

Les travaux commencés en 1997 se poursuivent. La solution étudiée relève de l'approche évitement des conflits. L'ordre total global sur $\tau_{c}^{}$(cf. §  5.2) est fourni par un référentiel d'ordonnancement précalculé de tâches distribuées ayant chacune une structure de graphe. L'algorithme d'ordonnancement est périodique. Il s'agit de la solution établie dans le cadre du contrat TRDF/ORECA [[2]]. L'établissement des conditions de faisabilité temps réel repose sur l'identification des scénarios pires cas. L'exploration de ces scénarios est fortement combinatoire en raison des synchronisations entre les processeurs introduites par les graphes des tâches. Nous avons identifié certaines propriétés permettant de réduire la longueur des scénarios testés ainsi que leur nombre. Ceci permet d'obtenir des conditions de faisabilité temps réel nécessaires et suffisantes, mais à un coût très élevé. En effet, les scénarios pires cas sont construits par itération sur un nombre de périodes d'ordonnancement. A chaque itération, il y a au maximum 2ⁿ possibilités à considérer avec n = nombre de tâches $\tau_{i}^{}$ dont l'intervalle de sporadicité w_i n'est pas diviseur de la période d'ordonnancement p.

Par ailleurs, l'utilisation de constructions simplicatrices permet de ramener le problème à une recherche des plus longs chemins dans un graphe orienté, ce graphe comprenant 2ⁿ$\prod^{n}_{i=1}$PPCM(p, w_i)/p noeuds. Nous obtenons ainsi des conditions de faisabilité suffisantes à moindre coût.

Précédent : Maintien de la cohérence dans Remonter : Résultats nouveaux Suivant : Diffusion fiable uniforme temps réel