Précédent : Systèmes Transactionnels Répartis Temps Réel Remonter : Algorithmique TRDF Suivant : Algorithmes d'ordonnancement

Analyse holistique de systèmes répartis temps réel à ordonnancement par échéance la plus proche en premier

Participants : Jean-François Hermant, Marco Spuri La théorie holistique proposée par Tindell et Clark est une approche destinée à établir la faisabilité de systèmes répartis temps réel à priorités fixes. Son mérite apparent est de permettre l'analyse de systèmes répartis temps réel, sans que celle-ci soit trop pessimiste. Dans cette étude, nous étendons la théorie holistique à l'analyse de systèmes répartis temps réel ordonnancés selon les échéances de terminaison des tâches. Le protocole à jeton temporisé (Timed Token protocol) est considéré pour l'arbitrage des accès au réseau de la part des différents processeurs. En plus, pour obtenir une bonne utilisation des ressources, nous avons supposé que les paquets émis par les processeurs sont localement ordonnancés selon l'algorithme ``échéance la plus proche en premier'' (EDF). Nous avons développé une procédure pour le calcul des délais de communication en pire cas. Les résultats analytiques établis dans cette étude ont été validés sur un exemple d'application distribuée temps réel, pour laquelle les pires temps de réponse des traitements de bout-en-bout sont strictement bornés. L'exemple a confirmé l'efficacité de l'algorithme d'ordonnancement EDF global.