Menhir : un environnement pour l'execution efficace des codes matlab

Menhir : an environment for the efficient execution of matlab codes

• Auteur / Autrice : STEPHANE CHAUVEAU
• Direction : Bernard Philippe
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1998
• Etablissement(s) : Rennes 1

Résumé

Au cours de la derniere decennie, le developpement de codes numeriques a ete grandement simplifie par l'apparition d'environnement de developpement offrant une forte convivialite et une grande portabilite. Ainsi, de nombreux numericiens utilisent le logiciel matlab et le langage associe pour verifier la validite de leurs methodes sans se soucier des details d'implantations. Malheureusement, les performances de matlab sont assez faibles car le mecanisme d'interpretation des codes induit un cout non negligeable. Au cours de cette these, nous avons developpe menhir, un environnement permettant la compilation et eventuellement la parallelisation des codes matlab. Nous utilisons une description externe du systeme cible pouvant etre amelioree par les utilisateurs desirant ajouter leur propres methodes de calculs. Cette approche nous permet egalement d'obtenir un logiciel adaptable a des systemes cibles tres differents par leurs architectures materielles, par les bibliotheques de fonctions numeriques disponibles et par les modeles de programmations utilises. Nous avons developpe des techniques d'inferences des types permettant de pallier l'absence de declarations des variables dans les codes matlab. Nous avons egalement developpe une selection automatiques des structures de donnees et des codes numeriques parmis toutes les possibilites proposees dans la description du systeme cible. Nos experimentations montrent que de nombreuses sources d'optimisations permettent d'ameliorer sensiblement les performances des programmes matlab.