Code optimization based on source to source transformations using profile guided metrics / Youenn Lebras ; sous la direction de William Jalby

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Calcul intensif (informatique)

Code source (informatique)

Compilateurs (logiciels)

Optimisation mathématique

Programmation automatique

Classification Dewey : 005.45

Jalby, William (1957-....) (Directeur de thèse / thesis advisor)

Barthou, Denis (1970-....) (Président du jury de soutenance / praeses)

Scemama, Anthony (19..-....) (Rapporteur de la thèse / thesis reporter)

Steffenel, Luiz Angelo (1977-....) (Rapporteur de la thèse / thesis reporter)

Masella, Michel (Membre du jury / opponent)

Robert, Sophie (19..-.... ; maître de conférences en informatique) (Membre du jury / opponent)

Charif Rubial, Andrés Salim (1984-....) (Membre du jury / opponent)

Université Paris-Saclay (2015-2019) (Organisme de soutenance / degree-grantor)

École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (Ecole doctorale associée à la thèse / doctoral school)

Laboratoire d’informatique parallélisme réseaux algorithmes distribués (Saint-Quentin en Yvelines, Yvelines ; 2015-....) (Laboratoire associé à la thèse / thesis associated laboratory)

Université de Versailles-Saint-Quentin-en-Yvelines (Autre partenaire associé à la thèse / thesis associated third party)

Résumé / Abstract : 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).

Résumé / Abstract : 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, ...).