Evènement pour le groupe Séminaire du LaBRI


Date 2006-12-07  14:00-15:00
TitreExposés d'Ingénieurs de Recherche du LaBRI (II) 
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.  
Lieu050 
OrateurNathalie Furmento et Gerald Point 



Aucun document lié à cet événement.

Retour
Retour à l'index