Méthodes d’optimisation combinatoire pour l’ordonnancement d’expressions arithmétiques sous contraintes de registres
Auteur / Autrice : | Benjamin Cohen Boulakia |
Direction : | Dominique Barth |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 2006 |
Etablissement(s) : | Versailles-St Quentin en Yvelines |
Partenaire(s) de recherche : | Laboratoire : Laboratoire Parallélisme, Réseaux, Systèmes, Modélisation (PRISM) |
Jury : | Président / Présidente : François Bodin |
Rapporteurs / Rapporteuses : Nathalie Drach-Temam, Evripidis Bampis |
Mots clés
Résumé
S'il est trivial d'affirmer que l'amélioration des performances de calcul a toujours été un objectif primordial depuis l'apparition des premiers calculateurs "modernes", pendant les premières années, la poursuite de cet objectif s'est limité au perfectionnement physique des machines de l'époque. Cependant, les architectures rivalisant de sophistication, le problème s'est rapidement posé d'exploiter au mieux les capacités offertes par ces machines. Un constat s'impose finalement : au fur et mesure que les architectures matérielles se perfectionnent, notre maîtrise de cette puissance grandissante se dégrade. Dans ce cadre varié, le travail exposé dans cette thèse consiste à isoler une classe de problèmes liée à l'optimisation de code et à en explorer certains aspects algorithmiques et combinatoires. Plus précisément, nous nous intéressons à certaines techniques d'ordonnancement d'instructions, lorsque le code à optimiser correspond à une expression arithmétique. Ce type de problèmes a déjà été traité par le passé, mais l'originalité de l'approche présentée ici consiste à exploiter une particularité des expressions arithmétiques communément rencontrées dans le calcul scientifique : la présence de plusieurs occurrences de certaines valeurs initiales dans l'expression arithmétique considérée.