Polyèdres et Compilation - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année :

Polyèdres et Compilation

(1) , (1) , (1) , (1) , (2, 3) , (2, 4)
1
2
3
4
François Irigoin
Mehdi Amini
  • Fonction : Auteur
  • PersonId : 927334
Corinne Ancourt
Fabien Coelho
Béatrice Creusillet
  • Fonction : Auteur
  • PersonId : 931481

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.
Fichier principal
Vignette du fichier
A-464.pdf (197.93 Ko) Télécharger le fichier
Vignette du fichier
A-470.pdf (275.65 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Format : Autre
Loading...

Dates et versions

hal-00743713 , version 1 (19-10-2012)

Identifiants

  • HAL Id : hal-00743713 , version 1

Citer

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⟩
86 Consultations
265 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More