Thèse soutenue

Etude du RCPSP cyclique
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Abir Benabid
Direction : Claire Hanen
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 2011
Etablissement(s) : Paris 6

Mots clés

FR

Mots clés contrôlés

Résumé

FR

La constante évolution des architectures des processeurs à haute performance, afin de répondre aux exigences des applications embarquées, donnent de plus en plus d'importance à une programmation plus performante, surtout au niveau de la compilation, dans ces systèmes. Notre étude est particulièrement motivée par l'optimisation de l'ordonnancement lors de la compilation des instructions dans les processeurs de type VLIW (Very Large Instruction Word), et sa résolution à l'aide du RCPSP (Resource Constrained Project Scheduling Problem) cyclique. Dans un tel model, on dispose en général d'un petit nombre d'unités fonctionnelles indépendantes et qui peuvent exécuter plusieurs tâches simultanément si les dépendances de données s'y prêtent et si les ressources nécessaires sont disponibles. Aujourd'hui, les études théoriques dans le domaine d'ordonnancement cyclique visent à caractériser les algorithmes d'ordonnancement (analyses du pire cas, résultat d'optimalité, etc) pour des applications réelles aussi bien dans les systèmes embarqués que dans les systèmes de production. Dans le cadre de cette thèse, nous avons travaillé sur la détermination de modèles appropriés, capables de prendre en compte les nouvelles caractéristiques de ces systèmes (la nature des dépendances, l'hétérogénéité des ressources, etc. ). Plusieurs algorithmes approchés avec garanties de performance ont été proposés, ainsi qu'une étude expérimentale, afin d'analyser leur efficacité en pratique, a été établie.