Building of a Polyhedral Representation from an Instrumented Execution: Making Dynamic Analyses of non-Affine Programs Scalable

Résumé : Le modèle polyédrique est aujourd'hui utilisé à grande échelle via son intégration dans des compilateurs très largement utilisés. Néanmoins, seule une classe très restreinte de programmes peut en bénéficier. Des travaux récents ont montré comment des informations provenant d'une exécution du programme pouvaient être utilisées afin d'étendre la portée du modèle polyédrique. Ce travail s'inscrit dans ce contexte d'analyse dynamique de programmes pour appliquer le modèle polyédrique plus largement. Nous proposons une analyse dynamique capable de construire une représentation polyédrique d'un programme à partir d'une éxecution instrumentée. Cette analyse détecte de façon précise les dépendances affines ainsi que les accès mémoire avec incréments constants présents dans le programme. Notre analyse passe à l'échelle sur de vraies applications qui contiennent souvent quelques dépendances et accès mémoire non affines. Ce passage à l'échelle est possible grâce à un mécanisme de sur-approximation. Nous évaluons notre analyse sur la suite de benchmarks Rodinia en montrant quel est le retour fourni à l'utilisateur en ce qui concerne de potentielles transformations polyédriques.
Type de document :
Rapport
[Research Report] RR-9244, CORSE - Compiler Optimization and Run-time Systems. 2019, pp.1-24
Liste complète des métadonnées

https://hal.inria.fr/hal-01967828
Contributeur : Manuel Selva <>
Soumis le : jeudi 10 janvier 2019 - 11:04:08
Dernière modification le : vendredi 8 février 2019 - 08:46:01

Fichier

rr.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01967828, version 2

Citation

Fabian Gruber, Manuel Selva, Diogo Sampaio, Christophe Guillon, Louis-Noël Pouchet, et al.. Building of a Polyhedral Representation from an Instrumented Execution: Making Dynamic Analyses of non-Affine Programs Scalable. [Research Report] RR-9244, CORSE - Compiler Optimization and Run-time Systems. 2019, pp.1-24. 〈hal-01967828v2〉

Partager

Métriques

Consultations de la notice

76

Téléchargements de fichiers

257