Laboratoire Informatique de Grenoble Réunion BGPR/SafeScale 06 / 07 / 2006 - Paris / Jussieu Kaapi dans Safescale 1.Une application Safescale sur Grid’5000.

Slides:



Advertisements
Présentations similaires
Yassine Lakhnech Prof. UJF Verimag
Advertisements

GEF 435 Principes des systèmes d’exploitation
Application aux constellations de satellites
Sous-projet IV Communications Placement/Ordonnancement.
TER Visualisation 3D de calculs électromagnétiques Production : Sébastien JOB Jean-Christophe LARRE Cédric PIOVANO Encadrement : Fabrice HUET.
A L I M E N T A T I O N A G R I C U L T U R E E N V I R O N N E M E N T PhpMyGI une interface générique mysql Interface générique ? Pourquoi une interface.
PLAN du COURS Introduction Structure des Systèmes Informatiques
18 avril 2002réunion Datagrid France1 E-toile Plate-forme RNTL 2001 Environnement matériel et logiciel pour le développement et l expérimentation de grille.
Modèle de coût algorithmique intégrant des mécanismes de tolérance aux pannes Samir Jafar, Thierry Gautier, Jean Louis Roch Laboratoire ID-IMAG Equipe.
Jean-François Deverge, Sébastien Monnet
1 ACI DADDI - Réunion de lancement IRISA - Projet ADEPT Michel Hurfin Jean-Pierre Le Narzul Frédéric Tronel 23 mai 2005.
Framework Avancement au Plan Principales avancées pour les parties Ligand, Sites Actifs et Docking Processus dinstallation de.
Sélection automatique d’index et de vues matérialisées
                                        République Algérienne Démocratique et Populaire Ministère de l’Enseignement Supérieur et de la Recherche Scientifique.
Le Téléphone Russe Le Téléphone Russe. Le Téléphone Russe Le Téléphone Russe.
Athapascan-1 Interface C++ de programmation parallèle
DataGRAAL DataGRid pour Animation et Applications à Large échelle
Architecture de grille générique, multi-
.Becquet Yoann .Langa Guillaume .Ribéry Jonathan .Strubbe Ioannis
MinMax et Alpha-Beta.
Chaire UNESCO - Calcul numérique intensif
Calcul distribué pour l'imagerie médicale
Projet de Compilation Manuel VACELET, Jean Pierre CAURIER, Gaël COLLE,
.Becquet Yoann .Langa Guillaume .Ribéry Jonathan .Strubbe Ioannis
III – Convergence Asymptotique
E. Canot J. Erhel C. De Dieuleveult Le code d´eau salée réunion hydrogrid le 11/10/2004.
Abderrahmane Bouarissa Damien Burglin Arnaud Sansig
Franck Cappello CNRS, LRI, Université Paris-sud
II- L’algorithme du recuit simulé (pseudo-code)
Universté de la Manouba
1 RAGTIME Middleware Gestion des accès aux données RAGTIME Middleware Gestion des accès aux données Jean-Louis Roch (ID-IMAG) Participants: – IF-INSA Lyon:
Détection de défaillances pour les grilles
1 DataGRAAL DataGRid pour Animation et Applications à Large échelle Yves Denneulin IMAG-ID Pierre Sens LIP6 - INRIA.
Genèse du projet. Contexte : Université dAvignon Contexte : Université dAvignon Correspondant Informatique et Liberté (CIL) Correspondant Informatique.
L’adaptativité pour un solveur de l’équation de Vlasov
LEGO – Rennes, 18 Septembre 2006 Un outil de monitoring pour le déploiement dynamique de JuxMem Loïc Cudennec IRISA / INRIA, PARIS project-team Stage de.
I MAGIS est un projet commun CNRS - INPG - INRIA - UJF iMAGIS-GRAVIR / IMAG Optimisation à base de flot de graphe pour l'acquisition d'informations 3D.
Spécification de Demoney en JML par raffinement Pierre-Alain Masson, Julien Groslambert LIFC Besançon Réunion GECCOO - 10 mars 2006 FRE 2661.
GDS – Paris, 13 Octobre 2006 Un outil de monitoring pour le déploiement dynamique de JuxMem Loïc Cudennec IRISA / INRIA, PARIS project-team Stage de M2RI.
Algorithmes Parallèles et Systèmes Réparties
Turbulence Homogène et Isotrope
Déploiement et renouvellement d’une constellation de satellites
Plate-forme MIRAGE Méso-Informatique Répartie pour des Applications en Géophysique et Environnement.
Un outil d’estimation du temps d’exécution au pire-cas par analyse statique de programmes IRISA - Projet Solidor Antoine COLIN.
Modèles et protocoles de cohérence des données en environnement volatil Grid Data Service IRISA (Rennes), LIP (Lyon) et LIP6 (Paris) Loïc Cudennec Superviseurs.
Introduction à Visual Studio C++ (VC++)
Étude d’un protocole de partage de travail entre systèmes Pair à Pair
La programmation système
Programmation Système et Réseau
Institut de sciences et technologies Département d’informatique
1 Détection et tolérance aux fautes dans JuxMem Sébastien Monnet IRISA / PARIS Lyon, 05/12/2003.
Abderrahmane Bouarissa Damien Burglin Arnaud Sansig
Environnement des modèles Contraintes liées au parallélisme Utilisation de plusieurs machines Liens couplé/forcé.
Recherches locales et méta-heuristiques
Structures de données avancées : LH (Hachage linéaire) D. E ZEGOUR Institut National d ’Informatique.
Introduction aux solutions Microsoft pour le HPC.
Réunion calcul simulations GIEC/IPCC - Prodiguer Lundi 23 Mars PRODIGUER un noeud français de distribution des données GIEC/IPCC Sébastien Denvil.
Les réseaux de neurones à réservoir en traitement d’images
lignes de C/C++, portable
Projet CiGri CIMENT GRID Grille grenobloise pour la simulation numérique par méthodes de Monte Carlo Laurent Desbat (coordinateur scientifique) et Nicolas.
PaCO++ André Ribes Réunion Hydrogrid Rennes 15/09/03.
The City Scanning Project : Validation et Calcul Parallèle Olivier Koch Tuteur : Seth Teller.
GDS : Grid Data Service Etat de l’avancement Gabriel Antoniu Réunion GDS, Lyon, 17 février 2006 IRISA, Rennes ACI Masses de Données.
Structures de données avancées : LH* D. E ZEGOUR Institut National d ’Informatique.
Recuit simulé Une métaheuristique venue de la métallurgie.
Café In: A quoi ca sert la recherche sur la programmation? Comment peut on faire travailler des ordinateurs ensemble? Ludovic Henrio SCALE TeamSCALE Team.
Projet Théorie des graphes
BaBar France 18/01/2010 Vincent Poireau 1 Page d’aide :
Plan de maintenance de PHIL. Définition : Le plan de maintenance définit les actions à mener pour faire une démarche préventive, il concerne la génération.
Transcription de la présentation:

Laboratoire Informatique de Grenoble Réunion BGPR/SafeScale 06 / 07 / Paris / Jussieu Kaapi dans Safescale 1.Une application Safescale sur Grid’ Kaapi : graphe dataflow, vol de travail, et adaptation 3.Tolérance aux pannes franches Vincent Danjean, Thierry Gautier, Samir Jafar, Jean-Louis Roch Projet MOAIS [ INRIA / CNRS / INPG / UJF ] moais.imag.fr kaapi.gforge.inria.fr

Une application SafeScale sur Grid’5000 [V Danjean] Construction de boîtes cryptographiques [R Gillard] –Espace de recherche : Perm(F256) => 256! –Code “paloDF.c” : recherche statistique (calcul de minima) Parallélisation sur Athapascan/Kaapi et portage Grid’5000 –paloDF.C: fichier principal en C++ : 370 lignes à l'origine, 680 maintenant Enrobage tâches de calcul dans des tâches “Athapascan/Kaapi” Découpe récursive directe de l’espace exploré (parallélisme dynamique/vol de travail) Flag de compilation pour compiler avec ou sans les modifications Kaapi – mt19937ar.[hc]: tirages aléatoires 280 lignes à l'origine, 300 maintenant Transformation thread-safe (suppression variables globales) –Re-vérification des boîtes intéressantes trouvées Comment vérifier les autres ? (OK si attaque massive mais sinon …) Expériences menées sur Grid’5000: –Tests de fonctionnement sur les 3 clusters de Rennes en simultané –Cluster 100 bi-pro Nice : en 2h30, 686 boites intéressantes trrouvées Expériences prévues : mesures sur plus de procs, hétérogènes : –Utilisation tolérance aux pannes de Kaapi [Ingénieur SafeScale oct. 2006] –Récupération résultats partiels locaux : schéma récursif adaptatif

Modèle de coût : avec une grande probabilité, sur p proc. Identiques - Temps d’exécution = - nombre de requètes de vols =

SEL : protocole par journalisation du graphe de flot de données

Conclusion tolérance défaillances Kaapi tolère ajout et défaillance de machines –Protocole TIC : période à ajuster –Détecteur défaillances signal erreurs +heartbeat améliorable Athapascan / Kaapi Pile [TIC] oui Pas besoin Locale ou globale oui FullDag[SEL] Dataflow graph

Questions ?