Polyèdres et Compilation - Mines Paris Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Polyèdres et Compilation

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
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⟩
95 Consultations
320 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More