Low-cost memory analyses for efficient compilers

Maroua Maalej Kammoun 1, 2
Résumé : La rapidité, la consommation énergétique et l'efficacité des systèmes logiciels et matériels sont devenues les préoccupations majeures de la communauté informatique de nos jours. Gérer de manière correcte et efficace les problématiques mémoire est essentiel pour le développement des programmes de grande tailles sur des architectures de plus en plus complexes. Dans ce contexte, cette thèse contribue aux domaines de l'analyse mémoire et de la compilation tant sur les aspects théoriques que sur les aspects pratiques et expérimentaux. Outre l'étude approfondie de l'état de l'art des analyses mémoire et des différentes limitations qu'elles montrent, notre contribution réside dans la conception et l'évaluation de nouvelles analyses qui remédient au manque de précision des techniques publiées et implémentées. Nous nous sommes principalement attachés à améliorer l'analyse de pointeurs appartenant à une même structure de données, afin de lever une des limitations majeures des compilateurs actuels. Nous développons nos analyses dans le cadre général de l'interprétation abstraite « non dense ». Ce choix est motivé par les aspects de correction et d'efficacité : deux critères requis pour une intégration facile dans un compilateur. La première analyse que nous concevons est basée sur l'analyse d'intervalles des variables entières ; elle utilise le fait que deux pointeurs définis à l'aide d'un même pointeur de base n'aliasent pas si les valeurs possibles des décalages sont disjointes. La seconde analyse que nous développons est inspirée du domaine abstrait des Pentagones ; elle génère des relations d'ordre strict entre des paires de pointeurs comparables. Enfin, nous combinons et enrichissons les deux analyses précédentes dans un cadre plus général. Ces analyses ont été implémentées dans le compilateur LLVM. Nous expérimentons et évaluons leurs performances, et les comparons aux implémentations disponibles selon deux métriques : le nombre de paires de pointeurs pour lesquelles nous inférons le non-aliasing et les optimisations rendues possibles par nos analyses
Type de document :
Thèse
Other [cs.OH]. Université de Lyon, 2017. English. 〈NNT : 2017LYSE1167〉
Liste complète des métadonnées

Littérature citée [107 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-01626398
Contributeur : Abes Star <>
Soumis le : lundi 11 décembre 2017 - 23:15:04
Dernière modification le : mercredi 18 juillet 2018 - 01:17:04

Fichier

TH2017MAALEJMAROUA.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01626398, version 2

Citation

Maroua Maalej Kammoun. Low-cost memory analyses for efficient compilers. Other [cs.OH]. Université de Lyon, 2017. English. 〈NNT : 2017LYSE1167〉. 〈tel-01626398v2〉

Partager

Métriques

Consultations de la notice

480

Téléchargements de fichiers

177