Résumé | Pour Nathalie Furmento (accompagnée de Raymond Namyst) :
Calcul parallèle à hautes-performances en MPI
Les travaux présentés portent autour de l'optimisation des
communications sur réseaux rapides au travers de différentes
implantations du standard MPI élaborées dans l'équipe Runtime. La
toute première implantation, MPICH-Madeleine, est basée sur MPICH
développée à Argonne. Les principaux aspects de MPICH-Madeleine sont
l'hétérogénéité au niveaux des réseaux, et le support des applications
multi-threadées. L'implantation, qui s'appuie à la fois sur une
bibliothèque de communication bas-niveau et sur une bibliothèque de
multithreading, est capable d'assurer la progression des
communications parallèlement au déroulement de l'application. Une
deuxième version de MPICH-Madeleine repose sur PadicoTM, une
infrastructure de communications pour les grilles de calcul, et permet
donc de cibler un éventail plus large d'architectures pour l'exécution
d'applications MPI.
Plus récemment, nous avons développé MadMPI, une nouvelle
implantation de MPI, basée sur un moteur de communication nommé
NewMadeleine développé tout récemment dans l'équipe. Ce moteur permet
d'implanter des optimisations agressives des transferts en inversant,
regroupant ou encore en découpant les paquets. Il est en outre capable
d'exploiter plusieurs réseaux simultanément. MadMPI implante un
sous-ensemble des fonctionnalités de MPI, en mettant plus
particulièrement l'accent sur les performances des communications
point à point.
Des mesures de performances des communications seront présentées pour
MPICH-Madeleine et MadMPI, sur différents réseaux rapides. On
présentera également l'évaluation de différents mécanismes
d'optimisation.
Pour Gérald Point (accompagné de Alain Griffault et Jérôme Leroux) :
Activités de Gérald Point au sein du thème MV
AltaRica est un langage de modélisation de systèmes qui a été conçu pendant
la thèse de G. Point. Il est maintenant utilisé dans l'industrie (Dassault,
Onera, ...) et utilisé dans les enseignements de méthodes de vérifications
formelles. Plusieurs outils d'analyse et de compilation du langage sont
développés au LaBRI et diffusés sur le site du projet AltaRica. Deux outils
sont actuellement diffusés, MEC 5 développé par A. Vincent et les AltaTools
développés par G. Point. Afin de rationnaliser les développements, G. Point
travaille à l'intégration de MEC 5 et des AltaTools au sein d'un même outil
appelé ARC.
La logique de Presburger permet de décrire des modèles infinis (par exemple
un réseau de Petri non borné). L'outil FAST développé au LSV (Cachan) par
J. Leroux et S. Bardin permet l'analyse de systèmes décrits dans cette logique.
Les semi-algorithmes mis en oeuvre dans l'outil requièrent l'utilisation d'un
moteur de calcul permettant la résolution et le stockage des solutions de
formules de Presburger. Jusqu'à présent FAST utilisait la bibliothèque MONA.
Depuis 2005, nous avons réorganisé le code de FAST afin de faciliter
l'intégration et la comparaison d'autres moteurs de calcul. En particulier nous
avons pu intégrer dans FAST la bibliothèque Prestaf conçue par J.M. Couvreur.
Après une présentation des thèmes d'activités précédents, nous donnerons un
aperçu des outils développés par G. Point autour d'AltaRica et du traitement
des formules de Presburger.
|