Sujet de thèse : Compilation de code régulier pour architectures reconfigurables

ReMaP/Compsys, LIP, ENS Lyon
Encadreur: Tanguy Risset
(tel. direct : 02 99 84 74 60, e-mail: risset@irisa.fr)

Les architectures reconfigurables (FPGA) sont un intermédiaire entre les solutions matérielles (VLSI) et logicielles pour l'implémentation des traitements coûteux en temps de calcul. Grâce aux progrès technologiques, les FPGA devrait bientôt arriver à concurrencer les cartes spécialisées comme coprocesseurs accélérateurs, en particulier si ils sont intégrés directement sur la puce (et non sur une carte reliée par un bus PCI au processeur).

Aujourd'hui, comme pour les machine parallèles il y a 10 ans, on sait construire de telles machines, mais on n'a pas d'outils (compilateur/paralléliseur) permettant de produire rapidement du code exécutable sur un FPGA. Parmi les approches existant aujourd'hui pour résoudre ce problème, le système MMAlpha développé à Rennes (http://www.irisa.fr/cosi/ALPHA) est un des outils les plus puissants pour la production d'architectures régulières sur FPGA. Cette approche est basée sur le modèle polyédrique qui a été développé en grande partie par la communauté française de parallélisation automatique. Les développements dans ce domaine permettent de combiner les expérimentations pratiques avec des recherches théoriques utilisant des outils mathématiques non triviaux (programmation linéaire, modèle polyédrique).

Le sujet de la thèse sera le développement et la validation de la chaîne de compilation pour FPGA à partir de l'outil MMAlpha. Parmi les différents voies de recherche possibles, on pourra s'intéresser de près à l'ordonnancement sous contrainte de ressource, au partitionnement, à l'interfacage efficace de l'architecture compilée avec d'autres parties du matériel ou à la nouveauté qu'apportent les Z-polyèdres récemment disponibles dans MMAlpha.

La thèse aura lieu dans le laboratoire LIP de l'ENS Lyon. Le directeur de thèse sera Tanguy Risset, actuellement chargé de recherche INRIA à l'Irisa (Rennes) qui arrivera à Lyon à la rentrée 2001. Le contacter pour toute information, et pour monter le dossier de demande d'allocation de recherche à l'école doctorale MATHIF (Mathématiques et Informatique Fondamentale) de Lyon.
This document was translated from LATEX by HEVEA.