Une approche génétique et source à source de l'optimisation de code

Serge Guelton (1) , Sébastien Varrette (2)

1 INFO - Département informatique
2 FSTC - Faculty of Science, Technology and Communication [Luxembourg]

Développement et maintenance de codes numériques performants requièrent généralement des optimisations manuelles, au détriment de la maintenabilité. Les compilateurs source a source o rent une solution intéressante a ce problème en séparant le code métier des optimisations. Reste que la recherche des bonnes transformations parmi l'ensemble disponible, la sélection de leur ordre et point d'application exigent l'exploration d'un domaine trop vaste pour espérer obtenir un résultat optimal a partir de modifications manuelles. Cet article propose un environnement adaptatif qui automatise l'exploration des combinaisons de transformations possibles en couplant un compilateur source a source et un algorithme génétique. Une validation expérimentale donnant des résultats particulièrement encourageants est proposée en n d'article.

Domaines: Compilation; Calcul parallèle, distribué et partagé [cs.DC]

Serge Guelton, Sébastien Varrette. Une approche génétique et source à source de l'optimisation de code. Rencontres francophones du Parallélisme (RenPar'19), Symposium en Architecture de machines (SympA'13) et Conférence Française sur les Systèmes d'Exploitation (CFSE'7), Sep 2009, Toulouse, France. ⟨hal-00919312⟩