Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

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.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

Littérature citée [53 références]  Voir  Masquer  Télécharger

https://hal-mines-paristech.archives-ouvertes.fr/hal-00743713
Contributeur : Claire Medrala <>
Soumis le : vendredi 19 octobre 2012 - 17:10:36
Dernière modification le : samedi 19 septembre 2020 - 04:30:56
Archivage à long terme le : : dimanche 20 janvier 2013 - 03:45:47

Fichiers

Identifiants

  • 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⟩

Partager

Métriques

Consultations de la notice

281

Téléchargements de fichiers

483