Contribution à l'analyse d'ordonnançabilité des applications temps-réel multiprocesseurs

Résumé : Les applications temps réel, le plus souvent dédiées au contrôle de procédé, sont soumises à des contraintes temporelles strictes, destinées à garantir la sécurité et la cohérence du procédé contrôlé. Les applications temps réel étant des applications multi tâches, elles doivent être ordonnancées, le critère sine qua non de qualité de la stratégie d'ordonnancement étant la garantie du respect des contraintes temporelles. Ces applications sont de plus en plus souvent déployées sur des architectures multiprocesseurs. Le problème de l'ordonnancement doit donc être posé dans ce contexte, où de nombreux problèmes doivent encore être abordés. Notons tout d'abord que dans le cas multiprocesseur, il n'existe pas d'ordonnancement en ligne optimal dans le cas général, le problème de l'ordonnancement est NP-complet, et des anomalies d'ordonnancement apparaissent même lorsque l'on ne considère que des tâches indépendantes (une durée d'exécution plus courte que prévue peut provoquer une faute temporelle). Nous avons envisagé de prendre en compte la possibilité que des pannes matérielles surviennent. Nous avons étudié les mécanismes de reprise après la panne d'un processeur, dans le cas où l'application est ordonnancée par EDF, puis par un algorithme P-équitable. Ces mécanismes nécessitent de disposer d'un certain nombre de résultats généraux. Tout d'abord, nous avons étendu la définition de la P-équité à un contexte plus large que celui de la littérature, à savoir aux tâches à départs différés et à échéances contraintes, puis nous avons établi une condition suffisante d'ordonnançabilité dans ce contexte, dont nous avons étudié les performances à l'aide de simulations. Enfin, nous avons proposé un protocole efficace de gestion des flux apériodiques qui s'appuie sur une distribution P-équitable des temps creux. Cette répartition peut être obtenue soit en ordonnançant les tâches périodiques par une stratégie P-équitable quand le contexte le permet, soit via une analyse hors-ligne à base de réseaux de Petri. Nous avons proposé une technique d'extraction qui permet de forcer la répartition équitable des temps creux.
Type de document :
Thèse
Liste complète des métadonnées

Littérature citée [115 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-00554234
Contributeur : Bénédicte Carouge <>
Soumis le : lundi 10 janvier 2011 - 15:04:56
Dernière modification le : mercredi 5 septembre 2018 - 13:30:06
Document(s) archivé(s) le : lundi 11 avril 2011 - 03:14:35

Identifiants

  • HAL Id : tel-00554234, version 1

Collections

Citation

Sadouanouan Malo. Contribution à l'analyse d'ordonnançabilité des applications temps-réel multiprocesseurs. Sciences de l'ingénieur [physics]. ISAE-ENSMA Ecole Nationale Supérieure de Mécanique et d'Aérotechique - Poitiers, 2010. Français. ⟨tel-00554234⟩

Partager

Métriques

Consultations de la notice

217

Téléchargements de fichiers

387