Polyèdres et Compilation

François Irigoin (1) , Mehdi Amini (1) , Corinne Ancourt (1) , Fabien Coelho (1) , Béatrice Creusillet (2, 3) , Ronan Keryell (2, 4)

1 CRI - Centre de Recherche en Informatique
2 HPC PROJECT
3 Silkan
4 LIT - Laboratoire Informatique et Télécommunications

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.

Mots clés: transformation de programme; synthèse de code; parallélisation; polyèdre; interprétation abstraite

Domaines: Parallélisation

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⟩