Methode d'estimation de performance logicielle : application au developpement rapide de code optimise pour une classe de processeurs dsp

par Alain Pegatoquet

Thèse de doctorat en Sciences et techniques

Sous la direction de Michel Auguin.

Soutenue en 1999

à Nice .

mots clés

• Compilation (informatique)
• Traitement du signal -- Techniques numériques -- Appareils et matériel
• Microprocesseurs

Résumé

Les compilateurs c pour processeurs dsp actuellement disponibles sont generalement incapables de generer un code assembleur respectant les contraintes temps reel fortes des systemes embarques. Les couts de developpement eleves associes au codage manuel d'applications sur dsp et la pression sans cesse plus forte du time-to-market rendent cette situation de plus en plus inacceptable pour les entreprises et militent en faveur d'une approche de haut niveau basee sur l'utilisation de compilateurs. Or, si les compilateurs pour dsp sont globalement inefficaces, il est toutefois possible d'ameliorer de maniere significative les performances du code assembleur genere en modifiant le code c d'origine pour le compilateur cible (i. E. L'architecture cible) sur les parties de code critiques de l'application. Ces problemes ont motive l'elaboration de nouveaux outils permettant d'accelerer ce processus. Nous proposons pour cela d'utiliser des methodes d'estimations logicielles qui fournissent, a partir d'une description en c de l'application, d'une part les performances du code assembleur genere sans utiliser de simulateur de niveau instruction et d'autre part les performances d'un code assembleur optimise. Ce dernier code correspond a une estimation d'un code ecrit par un programmeur experimente. Par comparaison des deux performances il est aise de localiser rapidement les parties a optimiser dans le code c de l'application. Par cette approche on limite ainsi aux parties reellement critiques, identifiees par la methode, la necessite de developper du code assembleur (si necessaire). Le modele d'estimation utilise est multicible et se base sur une representation intermediaire orientee schema de calcul dsp. De nombreuses experimentations sur des applications industrielles illustrent l'interet de l'approche.

Pas de résumé disponible.