Modélisation d'architectures DSP pour le reciblage de compilateurs
Auteur / Autrice : | Thomas Deruyter |
Direction : | Marie-Laure Potet, Jean-Claude Fernandez |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique. Systèmes et logiciels |
Date : | Soutenance en 2007 |
Etablissement(s) : | Grenoble INPG |
Mots clés
Mots clés contrôlés
Mots clés libres
Résumé
Les compilateurs reciblables visent à réutiliser un même cœur de technologie pour différentes architectures. Pour cela, une description détaillée de l'architecture est nécessaire. Les architectures du traitement du signal (DSP) sont principalement utilisées dans les systèmes embarqués pour des applications temps réel. Ces architectures sont dites irrégulieres car elles présentent des particularités telles que des ressources dédiées et des instructions spécifiques rendant la compilation très complexe, Ainsi, les compilateurs DSP reciblables s'appuient sur des langages de descriptions d'architectures qui permettent de décrire le jeu d'instructions ainsi que les contraintes sur les opérandes, telles que les registres autorisés, les modes d'adressages ainsi que les relations entre opérandes de sorte à permettre un contrôle sur le processus de compilation. D'autre part l'analyse et la vérification des contraintes relatives aux opérandes permet de garantir la qualité du compilateur