COMPSYS
Compilation, systèmes enfouis et calcul intensif
Équipe CNRS-ENS Lyon-INRIA-UCBL
Présentation
Compsys est un projet INRIA depuis 2004. L'objectif de Compsys est le
développement de techniques d'optimisation spécifiques au processus de
compilation pour les systèmes embarqués. Par "systèmes embarqués" (ou
"systèmes enfouis"), on désigne plus spécifiquement les systèmes
complets sur une puce (system on chip, SoC), tout en ayant à l'esprit
le fait que dans un avenir proche, ce type de conception de systèmes
trouvera probablement son application dans la conception de tous les
types de système embarqués (équipements automobile, objets
communicants, etc.). Plus précisément, la spécificité de Compsys est
l'étude de transformations dans des langages de haut niveau, en vue
d'optimisation spécifiques aux systèmes enfouis. Cette action se
trouve à l'intersection des domaines de la compilation/optimisation de
code et de la synthèse architecturale de haut niveau. Il s'intègre
dans le thème "compilation de circuits" qui est aujourd'hui un des
défis à relever pour que l'Europe devienne "leader dans l'intégration
de systèmes sur les puces silicium".
Le domaine de la conception de systèmes sur silicium est vaste. Les
compétences des membres de Compsys sont fortement liées à la
parallélisation de calculs réguliers. La thématique de cette action
est donc liée aux applications à fort taux de parallélisme mais
l'action insiste particulièrement sur l'intégration des techniques
développées dans des environnements plus généraux de compilation pour
systèmes enfouis. Il est essentiel aujourd'hui de pouvoir "interfacer"
les conceptions générées avec d'autres parties d'un système. L'étude
de l'intégration des résultats obtenus dans un environnement de
conception conjointe sera un des points clés de la réussite de
Compsys. En pratique, l'action Compsys portera initialement son effort
sur trois points: l'optimisation des codes répétitifs, le prototypage
rapide d'applications sur FPGA (architectures reconfigurables) et
l'influence des transformations de boucles sur la hiérarchie mémoire
(et sur la consommation).
