Etude du RCPSP cyclique

par Abir Benabid

Thèse de doctorat en Informatique

Sous la direction de Claire Hanen.

Soutenue en 2011

à Paris 6 .


  • Résumé

    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.

  • Titre traduit

    Cyclic RCPSP study


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. ( XIV-141 p.)
  • Annexes : Bibliogr. p. 133-141. [160] réf. bibliogr.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Consultable sur place dans l'établissement demandeur
  • Cote : T Paris 6 2011 5
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.