ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 31/8-10 - 2012  - pp.987-1019  - doi:10.3166/tsi.31.987-1019
TITRE
Polyèdres et compilation

TITLE
Compiling with polyhedra

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.



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.



AUTEUR(S)
François IRIGOIN, Mehdi AMINI, Corinne ANCOURT, Fabien COELHO, Béatrice CREUSILLET, Ronan KERYELL

MOTS-CLÉS
transformation de programme, synthèse de code, parallélisation, polyèdre, interprétation abstraite.

KEYWORDS
program transformation, code synthesis, parallelization, polyhedron, abstract interpretation.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (361 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier