ED Mathématiques et Informatique
Comprendre et contrôler les performances et la consommation énergétique des applications par l'exploration d'espaces de paramètres
par Lana SCRAVAGLIERI (LaBRI - Laboratoire Bordelais de Recherche en Informatique)
Cette soutenance a lieu à 14h00 - Amphithéâtre LaBRI, Bâtiment A30, Université de Bordeaux, 351 cours de la Libération, 33400 Talence
devant le jury composé de
- Olivier AUMAGE - Chargé de recherche - Université de Bordeaux - Directeur de these
- Gaël THOMAS - Directeur de recherche - Inria de Saclay - Rapporteur
- Camille COTI - Professeure - École de Technologie Supérieure - Rapporteur
- Cédric BASTOUL - Professeur des universités - Université de Strasbourg - Examinateur
- Marc PERACHE - Directeur de recherche - CEA,DAM Île-de-France - Examinateur
- Jean-Baptiste BESNARD - Ingénieur de recherche - DDN - Examinateur
- Mihail POPOV - ISFP - Centre de recherche Inria de l'université de Bordeaux - CoDirecteur de these
De nombreux paramètres liés à l'architecture affectent l'execution d'une application : nombre de threads, placement des threads, placement des données, prefetchers, fréquence des coeurs et de la mémoire, SIMD, utilisation des différents niveaux de parallélisme, précision... Ils peuvent contribuer à améliorer les perfomances et diminuer la consommation énergétique, mais de mauvais choix de paramètre peuvent aussi avoir l'effet inverse. Énumérer et évaluer toutes les combinaisons possibles de ces paramètres devient vite infaisable. Par exemple, les développements matériels récents ont favorisé les unités de calcul SIMD (Single Instruction Multiple Data) qui permettent d'augmenter considérablement le nombre d'opérations flottantes par seconde (FLOPS). Cependant, la diversité et la complexité des micro-architectures etdes jeux d'instructions SIMD rend leur adoption difficile dans les applications de simulation métier. Les transformations de codes requises sont couteuses sans garantie d'amélioration de performances. La même incertitude affecte les autres choix de paramètres et leurs combinaisons. Nous présentons le framework CORHPEX (COmpiler, Runtime and Hardware Parameter EXplorer) qui permet d'effectuer des explorations d'espaces de paramètres (DSE) sur des applications afin de guider le choix des paramètres en modélisant leurs temps d'exécution et consommation énergétique.