Skip to Main content Skip to Navigation
Conference papers

Polyèdres et Compilation

Résumé : La première utilisation de polyèdres pour résoudre un problème de compilation, la parallélisation automatique de boucles en présence d'appels de procédure, a été décrite et implémenté il y a près de trente ans. Le modèle polyédrique est maintenant reconnu internationalement et est en phase d'intégration dans le compilateur GCC, bien que la complexité exponentielle des algorithmes associés ait été pendant très longtemps un motif justifiant leur refus pur et simple. L'objectif de cet article est de donner de nombreux exemples d'utilisation des polyèdres dans un compilateur optimiseur et de montrer qu'ils permettent de poser des conditions simples pour garantir la légalité de transformations.
Document type :
Conference papers
Complete list of metadata

Cited literature [53 references]  Display  Hide  Download

https://hal-mines-paristech.archives-ouvertes.fr/hal-00743713
Contributor : Claire Medrala <>
Submitted on : Friday, October 19, 2012 - 5:10:36 PM
Last modification on : Thursday, September 24, 2020 - 4:36:02 PM
Long-term archiving on: : Sunday, January 20, 2013 - 3:45:47 AM

Files

A-464.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00743713, version 1

Citation

François Irigoin, Mehdi Amini, Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, et al.. Polyèdres et Compilation. Rencontres francophones du Parallélisme (RenPar'20), May 2011, Saint-Malo, France. ⟨hal-00743713⟩

Share

Metrics

Record views

292

Files downloads

518