Polyèdres et compilation - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques Année : 2012

Polyèdres et compilation

(1) , (1) , (1) , (1) , (2) , (3, 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ée 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 nombreuses transformations de programme.
Title: Compiling with polyhedra
Abstract: Polyhedra have been used to parallelize loops containing call sites for almost 30 years. The polyhedral model is now internationally known and is being integrated within GCC, although the worst-case exponential complexity of its algorithms has long been a reason to forbid its use in a production compiler. This paper contains numerous examples of polyhedral models and shows that they provide simple conditions to express the legality of transformations.

Dates et versions

hal-00826543 , version 1 (27-05-2013)

Identifiants

Citer

François Irigoin, Mehdi Amini, Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, et al.. Polyèdres et compilation. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2012, 31 (8-10), pp.987-1019. ⟨10.3166/tsi.31.987-1019⟩. ⟨hal-00826543⟩
112 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook Twitter LinkedIn More