Participants : Laurent Hascoët
Cette activité entre dans le cadre du projet GéNIE . Il s'agit
d'automatiser une transformation de programmes de résolution par
éléments finis. Le but de cette transformation est de faire
fonctionner un tel programme en parallèle sur les morceaux
résultant du découpage du maillage. Cette méthode de
parallélisation existait déjà, et est utilisée manuellement avec
succès sur des exemples réels 
. Néanmoins ses spécifications
étaient empiriques.
Une spécification détaillée du problème a été rédigée . Ce rapport formalise la
transformation empirique, ce qui devrait permettre de prouver sa
correction (la transformation garantit-elle la conservation des
résultats finaux?). Le problème de la correction de la
transformation est exprimé en termes très généraux de respect des
dépendances de données. De plus, ce rapport propose une
succession d'étapes pour un outil d'aide à la transformation.
L'étape cruciale, automatisable, permettant l'insertion des
synchronisations entre processeurs parallèles, synchronisations
nécessaires et suffisantes pour conserver les résultats finaux du
programme. L'implémentation proprement dite de l'outil a débuté,
mais n'est pas suffisamment avancée pour examiner les premiers
résultats. On a choisi de bâtir l'outil sur le système PARTITA,
pour utiliser au maximum le calcul des dépendances de données
existant dans PARTITA. Pour l'instant, l'interface utilisateur de
ce nouvel outil n'est que grossièrement esquissée.