BENABID Abir

Docteur
Équipe : RO
Date de départ : 07/02/2011
Direction de recherche : Claire HANEN

Étude du problème RCPSP cyclique

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.
Soutenance : 07/02/2011 - 16h30 - Site Jussieu 25-26/105
Membres du jury :
M. Christian Artigue, CNRS-LAAS de Toulouse
M. Benoit D. De Dinechin, Responsable du développement logiciel à Kalray
Mme. Claire Hanen, Université Paris Ouest Nanterre la Defense
M. Jean-Claude Konig, Université de Montpellier [Rapporteur]
Mme. Alix Munier Kordon, Université Pierre et Marie Curie
M. Sid-Ahmed-Ali Touati, Université de Versailles
M. Frédéric Vivien, INRIA Rhone-Alpes [Rapporteur]

Publications 2008-2013

 Mentions légales
Carte du site |