Mapping Deviation: A Technique to Adapt or to Guard Loop Transformation Intuitions for Legality

Cédric Bastoul 1, 2, *
* Auteur correspondant
1 CAMUS - Compilation pour les Architectures MUlti-coeurS
Inria Nancy - Grand Est, ICube - Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
Abstract : Parallel architectures are now omnipresent in mainstream electronic devices and exploiting them efficiently is a challenge for all developers. Hence, they need the support of languages, libraries and tools to assist them in the optimization or parallelization task. Compilers can provide a major help by automating this work. However they are very fragile black-boxes. A compiler may take a bad optimization decision because of imprecise heuristics or may turn off an optimization because of imprecise analyses, without providing much control or feedback to the end user. To address this issue, we introduce mapping deviation, a new compiler technique that aims at providing a useful feedback on the semantics of a given program restructuring. Starting from a transformation intuition a user or a compiler wants to apply, our algorithm studies its cor-rectness and can suggest changes or conditions to make it possible rather than being limited to the classical go/no-go answer. This algorithm builds on state-of-the-art polyhedral representation of programs and provides a high flexibility. We present two example applications of this technique: improving semi-automatic optimization tools for programmers and automatically designing runtime tests to check the correctness of a transformation for compilers.
Type de document :
Communication dans un congrès
CC'2016 25th International Conference on Compiler Construction, Mar 2016, Barcelone, Spain. CC 2016 - 25th International Conference on Compiler Construction, 〈http://cc2016.eew.technion.ac.il/〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01271998
Contributeur : Cédric Bastoul <>
Soumis le : mercredi 10 février 2016 - 00:45:30
Dernière modification le : jeudi 29 mars 2018 - 09:10:05
Document(s) archivé(s) le : samedi 12 novembre 2016 - 15:32:19

Fichier

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

Identifiants

  • HAL Id : hal-01271998, version 1

Collections

Citation

Cédric Bastoul. Mapping Deviation: A Technique to Adapt or to Guard Loop Transformation Intuitions for Legality. CC'2016 25th International Conference on Compiler Construction, Mar 2016, Barcelone, Spain. CC 2016 - 25th International Conference on Compiler Construction, 〈http://cc2016.eew.technion.ac.il/〉. 〈hal-01271998〉

Partager

Métriques

Consultations de la notice

237

Téléchargements de fichiers

167