Optimisation de code basée sur des transformations source-à-source guidées par des métriques issues de profilages

Code optimization based on source to source transformations using profile guided metrics

• Auteur / Autrice : Youenn Lebras
• Direction : William Jalby
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance le 03/07/2019
• Etablissement(s) : Université Paris-Saclay (ComUE)
• Ecole(s) doctorale(s) : École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....)
• Partenaire(s) de recherche : Laboratoire : Laboratoire d’informatique parallélisme réseaux algorithmes distribués (Saint-Quentin en Yvelines, Yvelines ; 2015-....) - Laboratoire d'Informatique Parallélisme Réseaux Algorithmes Distribués / LI-PaRAD
• Partenaire(s) de recherche : établissement opérateur d'inscription : Université de Versailles-Saint-Quentin-en-Yvelines (1991-....)
• Jury : Président / Présidente : Denis Barthou
• Jury : Examinateurs / Examinatrices : William Jalby, Denis Barthou, Anthony Scemama, Luiz Angelo Steffenel, Michel Masella, Sophie Robert, Andrés Salim Charif Rubial
• Jury : Rapporteurs / Rapporteuses : Anthony Scemama, Luiz Angelo Steffenel

Mots clés

Mots clés contrôlés

Programmation automatique

Optimisation mathématique

Compilateurs (logiciels)

Code source (informatique)

Calcul intensif (informatique)

Mots clés libres

Optimisation de code

Transformations source à source

Autotuning

Pgo

Métriques dynamiques

Code optimization

Source-To-Source transformations

Autotuning

Pgo

Dynamic metrics

Résumé

Le but est de développer d'un cadriciel permettant de définir les transformations de code source que nous jugeons judicieuses et sur la base de métriques dynamiques.Ce cadriciel sera ensuite intégré à la suite d'outil MAQAO, développée à l'UVSQ/ECR.Nous présentons des transformations source-à-source automatique guidées par l'utilisateur ansi que par les métriques dynamiques qui proviennent des différents outils d'analyse de MAQAO, afin de pouvoir travailler à la fois sur des objets sources et binaires.Ce cadriciel peut aussi servir de pré-processeur pour simplifier le développement en permettant d'effectuer certaines transformations simples mais chronophage et sources d'erreurs (i.e.: spécialisation de boucle ou fonction).

Our goal is to develop a framework allowing the definition of source code transformations based on dynamic metrics.This framework be integrated to the MAQAO tool suite developed at the UVSQ / ECR.We present a set of source-to-source transformations guidable by the end user and by the dynamic metrics coming from the various MAQAO tools in order to work at source and binary levels.This framework can also be used as a pre-processor to simplify the development by enabling to perform cleanly and automatically some simple but time-consuming and error-prone transformations (i.e .: loop/function specialization, ...).