La première étape du travail consiste à analyser manuellement une application réelle développée dans un laboratoire de l'École des mines. Le programme principal de cette application contient deux boucles parallèles imbriquées qui contrôlent l'essentiel du code et du temps d'exécution. Le caractère parallèle de ces deux boucles est garanti par le concepteur et son intuition. Il faudrait voir comment ce parallélisme de boucles de haut niveau pourrait être démontré formellement en recherchant des invariants concernant en particulier les tableaux utilisés pour effectuer des indirections.
Une fois la démarche manuelle définie, une étude bibliographique de faisabilité de son automatisation permettra de déterminer si le problème d'analyse de tableaux mis en évidence durant la première phase a déjà été résolu, partiellement ou entièrement. Une réflexion sur les éventuelles extensions sera probablement nécessaire.
Enfin, si le temps le permet, la méthode retenue et ses extensions seront implémentées dans le cadre du projet PIPS.
Contact: François Irigoin - 01 64 69 48 48 - irigoin@cri.ensmp.fr
Voir aussi
la description du projet PIPS.