Synthèse des outils de parallélisation. lisation. Matthieu PérotinP LI Tours. Matthieu Pérotin - LI Tours 1
|
|
- Henriette Bilodeau
- il y a 7 ans
- Total affichages :
Transcription
1 Synthèse des outils de parallélisation lisation Matthieu PérotinP LI Tours 1
2 Plan (1/2) Introduction Pourquoi? Rappels architecturaux Paralléliser liser Modèles de parallélisation lisation Algorithmes parallèles les Évaluation de la qualité 2
3 Plan (2/2) Exemple avancé Procédures par Séparation S et Évaluation Conclusion 3
4 Introduction Pourquoi Paralléliser liser? Gagner du temps La modélisation parallèle le est parfois évidente Comment paralléliser liser? Question non triviale Propre à chaque architecture Propre à chaque problème 4
5 Introduction Rappels architecturaux Flynn (1972) propose une classification basée e sur: Les capacités s des machines à exécuter plusieurs instructions en parallèle le Les capacités à lire plusieurs sources d informationsd simultanément ment 5
6 Introduction 4 catégories: Single Instruction Single Data Unité de Commande Processeur U.A.L Mémoire Bus d interconnexion 6
7 Introduction Multiple Instructions Single Data Processeur Unité cde 3 U.A.L 3 Unité cde 2 U.A.L 2 Unité cde 1 U.A.L 1 Mémoire Bus d interconnexion 7
8 Introduction Single Instruction Multiple Data Processeur Unité de Commande U.A.L U.A.L U.A.L Mémoire Bus d interconnexion 8
9 Introduction Multiple Instruction Multiple Data Processeur 1 Processeur n Unité de Commande U.A.L Unité de Commande U.A.L Mémoire Bus d interconnexion 9
10 Introduction Classification étendue par Johnson (1988) Tient compte des types d accd accès s mémoirem moire Uniform Memory Access (UMA) Processeur 1 Processeur n Unité de Commande U.A.L Unité de Commande U.A.L Mémoire Bus d interconnexion 10
11 Introduction Non Uniform Memory Access (NUMA) Processeur n Processeur n Unité de Commande U.A.L Mem Unité de Commande U.A.L Mem Bus d interconnexion Bus d interconnexion Bus d interconnexion 11
12 Introduction No Remote Memory Access (NORMA) Processeur n Processeur n Unité de Commande U.A.L Mem Unité de Commande U.A.L Mem Bus d interconnexion Bus d interconnexion 12
13 Introduction Il est important de tenir compte de l architecturel matérielle de l ordinateur l qui va exécuter le code En particulier cette architecture détermine d le grain de l applicationl Le grain est la taille des unités s de calcul On peut le définir d comme le rapport des temps de communication sur le temps d exd exécution 13
14 Intoduction Les architectures MIMD/NORMA sont peu adaptées aux applications à grain fin Une architecture MIMD/UMA l est l beaucoup plus 14
15 Plan Introduction Pourquoi? Rappels architecturaux Paralléliser liser Modèles de parallélisation lisation Algorithmes parallèles les Évaluation de la qualité 15
16 Paralléliser liser Démarche d éd étude: Quels sont les modèles existants? Qu est-ce qu un un algorithme parallèle le? Comment évaluer sa qualité? 16
17 Paralléliser liser Modèles Modèles de parallélisme lisme Un modèle de parallélisme lisme est une description abstraite d une d machine parallèle. le. Deux grands modèles Mémoire partagée Réseau d interconnexiond 17
18 Paralléliser liser - Modèles Mémoire partagée Les processeurs accèdent tous de manière identique à une zone de mémoire m moire unique P 1 P 2 Unité d Accès Mémoire Mémoire partagée P n 18
19 Parallélisme lisme - Modèles Dans ce modèle Les processeurs utilisent la mémoire m moire pour communiquer les uns avec les autres Un mécanisme m d exclusion d mutuelle est mis en place Plusieurs processeurs peuvent lire la même m me adresse Un seul peut y écrire à un moment donné 19
20 Parallélisme lisme - Modèle Mémoire partagée Existence physique Systèmes SMP Systèmes UMA Existence logique SSI Attention: ceci ne remet pas en cause la classification matérielle! 20
21 Paralléliser liser - Modèles Réseau Les processeurs disposent chacun d une d mémoirem moire qui leur est propre, mais sont reliés s par un réseaur Mémoire Mémoire Mémoire P 1 P 2 P n R É S E A U 21
22 Parallélisation lisation - Modèles Dans ce modèle Les processeurs communiquent par échange de message Mécanisme d exclusion d mutuelle (ou pas) au niveau de l accl accès s réseaur 22
23 Paralléliser liser - Modèles Réseau d interconnexiond Existence physique Salle de TP Existence logique MPI, PVM 23
24 Parallélisation lisation - Algorithmes Qu est-ce qu un un algorithme parallèle le? «Un algorithme parallèle le est une méthode m de résolution d un d problème dans laquelle le problème est découpd coupé en sous problèmes de taille inférieure qui sont résolus r de façon simultanée» [Akl00] Attention : la simultanéit ité est ici un concept logique Ex: application multi-threadée s exécutant sur un unique processeur 24
25 Paralléliser liser - Algorithmes Formalisme Graphique: Diagramme de Gantt M 1 P 1 P 2 P 3 P 2 t M 2 P 2 M 1 P 1 P 3 t 25
26 Paralléliser liser - Algorithmes Formalisme Graphique: diagramme de Gantt M 2 P 2 M 1 P 1 P 3 P 2 M 2 P 4 M 1 P 1 P 3 26
27 Paralléliser liser - Algorithmes Formalisme Graphique : diagramme de précédence P 2 P 4 P 1 P 3 P 5 P 6 27
28 Parallélisme lisme - Algorithmes Formalisme théorique On suppose disposer de nouvelles primitives en pseudo code Démarrer(tache(arguments)) Lance la tâche t en parallèle, le, de manière non bloquante Envoyer(P, message) et Recevoir(P, message) Pour échanger des messages avec le processeur P L implémentation mentation effective de ces primitives dépendd du modèle et de l architecturel 28
29 Paralléliser liser - Algorithmes Exemple On doit effectuer un mailing 1000 courriers à envoyer Plier une feuille Mettre dans une enveloppe Adresser Timbrer 29
30 Paralléliser liser - Algorithmes Première version, séquentielles Tant que les 1000 enveloppes ne sont pas faites Traiter l enveloppel M 1 P 1 30
31 Paralléliser liser - Algorithmes Deuxième version, parallèle le On invite 4 amis à participer, chacun fait 200 enveloppes Pourquoi notre algorithme parallèle le n est-il n pas optimal? 31
32 Paralléliser liser - Algorithmes P 11 M 1 P 11 P 12 P 13 1 P 14 P 15 t M 2 P 12 M 3 P 13 M 4 P 14 M 5 P 15 t 32
33 Paralléliser liser - Algorithmes Une nouvelle version de l algorithme l serait Tant que 1000 enveloppes n ont n pas été faites, faire des enveloppes Induit un coût t de synchronisation supplémentaire mentaire P e P e P e P e P e P e P e P e P e P e P e P e P e P e P e P e P e P e P e PP e e 33
34 Paralléliser liser - Algorithmes On peut aussi décider d que chacun a une tâchet bien définied L un timbre, l autre l écrit les adresses Sans se préoccuper des autres P I Un stock apparaît en entrée Pour chaque enveloppe traitée, 3 arrivent A T 34
35 Paralléliser liser - Algorithmes Sur cet exemple simple, nous n avons n pas réfléchi P E E E E E A I T 35
36 Paralléliser liser - Algorithme Nous allons faire les opérations dans un autre ordre PA PI AI T Plus de stock et la date de fin reste inchangée 36
37 Paralléliser liser - Algorithmes Autre possibilité,, je m autorise m à avoir du stock A P I T Date de fin réduiter 37
38 Paralléliser liser - Qualité Disposer de critères res d éd évaluation est indispensable 3 principaux critères res Le temps d exd exécution total (Makespan( Makespan, C max Le nombre de processeurs Le coût max ) 38
39 Parallélisme lisme - Qualité Temps total d exd exécution Critère re «intuitif» : moins un algorithme met de temps à s exécuter, meilleur est cet algorithme Dépend généralement g de la taille des données, t(n) Problème : évaluer le temps d exd exécution d und algorithme est un problème ouvert 39
40 Parallélisation lisation - Qualité Nombre de processeurs p(n) Pour des raisons économiques, il est important de prendre en compte le nombre de processeurs que nécessite un algorithme Quand le nombre de processeurs augmente, le C max diminue (en général) g 40
41 Parallélisation lisation - Qualité Plusieurs coûts possibles Coût t des communications Coût t de stockage (espace mémoire) m moire) Coût t d inactivitd inactivité des machines 41
42 Parallélisation lisation - Qualité Les critères res d évaluation sont souvent contradictoires Nous sommes bel et bien face à des problèmes d optimisation multi-critères res L intervention d un d décideur d est essentielle On peut proposer un outil d aide d à la décision, d mais pas un outil de décision d automatique 42
43 Plan Exemple avancé Procédures par Séparation S et Évaluation Conclusion 43
44 Les PSE Principe en exemple Le problème du voyageur de commerce (PVC) 3 2 c 12 c 23 c c c 35 1 c 13 {1,5,4,2,3} c 15 c 34 c 14 4 c
45 Les PSE Le PVC est un problème NP-Difficile Pas d autre d choix que d essayer d toutes les possibilités si l on l veut trouver la solution optimale (n-1)! possibilités 45
46 Les PSE Construction de notre PSE 1 {1} {1,2} 2 {1,3} 3 {1,4} 4 {1,5} 5 c 12 c 13 c 14 c 15 {1,2,3} 6 {1,2,4} 7 c 12 + c 23 c 12 + c 24 n {1,2,3,5,4} C n Si C < c n 15 il n est n pas nécessairen d explorer les solutions qui découlent du nœud n 5 46
47 Les PSE En fait une PSE permet une énumération implicite, et pas trop bêteb On n explore n que les solutions à même me de donner une solution meilleure que celles que l on connaît t déjàd Deux règles r de coupe Tests de borne inférieure Tests de dominance 47
48 Les PSE Exemple de tests de dominance Soit les deux solutions partielles {1,2,3,4} de coût t c 12 {1,3,2,4} de coût t c c 23 +c c 32 +c = z 1 24 = z 2 Si z 1 = z 2 alors on dit que z 1 domine z 2 On explorera qu un un des deux sous arbres au départd des noeuds 48
49 Paralléliser liser une PSE L arbre d une d PSE peut être vu comme un diagramme de précédence Le parallélisme lisme apparaît t donc de manière limpide 49
50 Paralléliser liser une PSE Par exemple 1 {1} {1,2} 2 {1,3} 3 {1,4} 4 {1,5} 5 c 12 c 13 c 14 c 15 6 {1,2,4} 7 c 12 + c 24 n {1,2,3,5,4} C n 50
51 Paralléliser liser une PSE Paralléliser liser une PSE est un problème intéressant à plus d un d titre Les PSE sont utiles Des phénom nomènes nes dignes d intd intérêt t apparaissent Anomalie d accd accélération Anomalie de décélérationd 51
52 Paralléliser liser une PSE Anomalie de décélérationd O n m 52
53 Paralléliser liser une PSE Anomalie d accd accélération O n m 53
54 Paralléliser liser une PSE Certains critères res existent pour éviter les anomalies de détérioration, d et favoriser celles d accélération 54
55 Conclusion Paralléliser liser une application est une opération compliquée Pas de recette magique Il est nécessaire n de bien réfléchir Sur quelle architecture matérielle vais-je exécuter mon application? Quels sont mes critères res d éd évaluation? Ma solution logicielle est-elle réalisable r? 55
56 Conclusion Il existe des outils théoriques qui permettent une modélisation fine Théorie de l ordonnancement l mono et multi critères res Recherche opérationnelle Algorithmique Plus de processeurs n implique n pas nécessairement plus de vitesse 56
Parallélisme et Répartition
Parallélisme et Répartition Master Info Françoise Baude Université de Nice Sophia-Antipolis UFR Sciences Département Informatique baude@unice.fr web du cours : deptinfo.unice.fr/~baude Septembre 2009 Chapitre
Plus en détailInitiation au HPC - Généralités
Initiation au HPC - Généralités Éric Ramat et Julien Dehos Université du Littoral Côte d Opale M2 Informatique 2 septembre 2015 Éric Ramat et Julien Dehos Initiation au HPC - Généralités 1/49 Plan du cours
Plus en détailExtrait de http://www.microsoft.com/france/windows/xp/virtualpc/deco uvrez/technique.mspx UREC 2006-09 MMSH (S. ZARDAN) 1
Extrait de http://www.microsoft.com/france/windows/xp/virtualpc/deco uvrez/technique.mspx MMSH (S. ZARDAN) 1 Les systèmes d exploitation d hébergh bergés s Windows 98, Windows 2000 et Windows XP dans Windows
Plus en détailAspects théoriques et algorithmiques du calcul réparti L agglomération
Aspects théoriques et algorithmiques du calcul réparti L agglomération Patrick CIARLET Enseignant-Chercheur UMA patrick.ciarlet@ensta-paristech.fr Françoise LAMOUR franc.lamour@gmail.com Aspects théoriques
Plus en détailCommunications collectives et ordonnancement en régime permanent pour plates-formes hétérogènes
Loris MARCHAL Laboratoire de l Informatique du Parallélisme Équipe Graal Communications collectives et ordonnancement en régime permanent pour plates-formes hétérogènes Thèse réalisée sous la direction
Plus en détailINF6500 : Structures des ordinateurs. Sylvain Martel - INF6500 1
INF6500 : Structures des ordinateurs Sylvain Martel - INF6500 1 Cours 4 : Multiprocesseurs Sylvain Martel - INF6500 2 Multiprocesseurs Type SISD SIMD MIMD Communication Shared memory Message-passing Groupe
Plus en détailInfo0804. Cours 6. Optimisation combinatoire : Applications et compléments
Recherche Opérationnelle Optimisation combinatoire : Applications et compléments Pierre Delisle Université de Reims Champagne-Ardenne Département de Mathématiques et Informatique 17 février 2014 Plan de
Plus en détailÉquilibrage Dynamique de Charge pour des Calculs Parallèles sur Cluster Linux - Une Évaluation de l Environnement AMPI.
Facultés Universitaires Notre-Dame de la Paix, Namur Institut d Informatique Année académique 2003-2004 Équilibrage Dynamique de Charge pour des Calculs Parallèles sur Cluster Linux - Une Évaluation de
Plus en détailContexte et motivations Les techniques envisagées Evolution des processus Conclusion
Vérification de logiciels par analyse statique Contexte et motivations Les techniques envisagées Evolution des processus Conclusion Contexte et motivations Specification Design architecture Revues and
Plus en détailMachines virtuelles Cours 1 : Introduction
Machines virtuelles Cours 1 : Introduction Pierre Letouzey 1 pierre.letouzey@inria.fr PPS - Université Denis Diderot Paris 7 janvier 2012 1. Merci à Y. Régis-Gianas pour les transparents Qu est-ce qu une
Plus en détailPROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES
Leçon 11 PROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES Dans cette leçon, nous retrouvons le problème d ordonnancement déjà vu mais en ajoutant la prise en compte de contraintes portant sur les ressources.
Plus en détailPlan du cours. Autres modèles pour les applications réparties Introduction. Mode de travail. Introduction
Plan du cours Autres modèles pour les applications réparties Introduction Riveill@unice.fr http://rangiroa.polytech.unice.fr Notre terrain de jeu : les systèmes répartis Un rappel : le modèle dominant
Plus en détailEnseignant: Lamouchi Bassem Cours : Système à large échelle et Cloud Computing
Enseignant: Lamouchi Bassem Cours : Système à large échelle et Cloud Computing Chapitre 1 : Introduction Introduction générale Origine du cloud Concepts prédécésseurs «liés aux serveurs» Concepts prédécesseurs
Plus en détailConception des systèmes répartis
Conception des systèmes répartis Principes et concepts Gérard Padiou Département Informatique et Mathématiques appliquées ENSEEIHT Octobre 2012 Gérard Padiou Conception des systèmes répartis 1 / 37 plan
Plus en détailNouvelles propositions pour la résolution exacte du sac à dos multi-objectif unidimensionnel en variables binaires
Nouvelles propositions pour la résolution exacte du sac à dos multi-objectif unidimensionnel en variables binaires Julien Jorge julien.jorge@univ-nantes.fr Laboratoire d Informatique de Nantes Atlantique,
Plus en détailJulien MATHEVET Alexandre BOISSY GSID 4. Rapport RE09. Load Balancing et migration
Julien MATHEVET Alexandre BOISSY GSID 4 Rapport Load Balancing et migration Printemps 2001 SOMMAIRE INTRODUCTION... 3 SYNTHESE CONCERNANT LE LOAD BALANCING ET LA MIGRATION... 4 POURQUOI FAIRE DU LOAD BALANCING?...
Plus en détailLes nouveaux programmes de l él. école primaire. Projet soumis à consultation
Les nouveaux programmes de l él primaire Projet soumis à consultation primaire Les nouveaux programmes sont plus courts : environ 36 pages format BO contre 104. Ils sont écrits dans un langage clair sans
Plus en détailCESI Bases de données
CESI Bases de données Introduction septembre 2006 Bertrand LIAUDET EPF - BASE DE DONNÉES - septembre 2005 - page 1 PRÉSENTATION GÉNÉRALE 1. Objectifs généraux L objectif de ce document est de faire comprendre
Plus en détailSystèmes et traitement parallèles
Systèmes et traitement parallèles Mohsine Eleuldj Département Génie Informatique, EMI eleuldj@emi.ac.ma 1 Système et traitement parallèle Objectif Etude des architectures parallèles Programmation des applications
Plus en détailL Autorité de régulation des communications électroniques et des postes (ci-après «l Autorité»),
Avis n 2014-0659 de l Autorité de régulation des communications électroniques et des postes en date du 10 juin 2014 relatif à une modification du catalogue des prestations internationales du service universel
Plus en détailQuestionnaire à transmettre aux employés de la commune. Communication interne. I ) Relations interservices.
Questionnaire sur la communication interne Mairie de Pont de l Arche. Questionnaire à transmettre aux employés de la commune. Communication interne Dénomination du service : Domaine d intervention : I
Plus en détailEléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm)
Eléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 - Evénements et architectures - Spécifications de performances
Plus en détailDG-ADAJ: Une plateforme Desktop Grid
DG-ADAJ: Une plateforme pour Desktop Grid Olejnik Richard, Bernard Toursel Université des Sciences et Technologies de Lille Laboratoire d Informatique Fondamentale de Lille (LIFL UMR CNRS 8022) Bât M3
Plus en détailUML Diagramme de communication (communication diagram) Emmanuel Pichon 2013
UML Diagramme de communication (communication diagram) 2013 Diagramme de communication (communication diagram) Utilisation / objectifs Sens Ce diagramme présente des objets, des acteurs, des liens et des
Plus en détailQuantification d incertitude et Tendances en HPC
Quantification d incertitude et Tendances en HPC Laurence Viry E cole de Physique des Houches 7 Mai 2014 Laurence Viry Tendances en HPC 7 Mai 2014 1 / 47 Contents 1 Mode lisation, simulation et quantification
Plus en détailLes environnements de calcul distribué
2 e Atelier CRAG, 3 au 8 Décembre 2012 Par Blaise Omer YENKE IUT, Université de Ngaoundéré, Cameroun. 4 décembre 2012 1 / 32 Calcul haute performance (HPC) High-performance computing (HPC) : utilisation
Plus en détailNouvelles propositions pour la résolution exacte du problème de sac à dos bi-objectif unidimensionnel en variables binaires
Nouvelles propositions pour la résolution exacte du problème de sac à dos bi-objectif unidimensionnel en variables binaires Julien Jorge, Xavier Gandibleux Laboratoire d Informatique de Nantes Atlantique
Plus en détailCours 1 : La compilation
/38 Interprétation des programmes Cours 1 : La compilation Yann Régis-Gianas yrg@pps.univ-paris-diderot.fr PPS - Université Denis Diderot Paris 7 2/38 Qu est-ce que la compilation? Vous avez tous déjà
Plus en détailEstimation des charges. «Le travail se dilate jusqu à remplir le temps disponible»
«Le travail se dilate jusqu à remplir le temps disponible» Le savoir faire du chef de projet Pas d excès d optimisme Retour sur expérience Toujours garder de la marge Identifier les points à risque Ne
Plus en détailPassage à l échelle d applications java distribuées auto-adaptatives
Année : 2011 Numéro d ordre : 40563 Habilitation à Diriger des Recherches de l Université de Lille I Discipline : Mathématique Passage à l échelle d applications java distribuées auto-adaptatives Par :
Plus en détailAlgorithmes de recherche
Algorithmes de recherche 1 Résolution de problèmes par recherche On représente un problème par un espace d'états (arbre/graphe). Chaque état est une conguration possible du problème. Résoudre le problème
Plus en détail1 questionnaire rempli = 1 reproduction de clé de votre choix, offerte par picard serrures*
Cher partenaire, Picard Serrures a besoin de vous! Vous avez, jusqu à présent, un certain nombre de supports de communication Picard Serrures. PLV clé, catalogues, affiches Mais ils sont parfois trop grands,
Plus en détailBig Data et Graphes : Quelques pistes de recherche
Big Data et Graphes : Quelques pistes de recherche Hamamache Kheddouci Laboratoire d'informatique en Image et Systèmes d'information LIRIS UMR 5205 CNRS/INSA de Lyon/Université Claude Bernard Lyon 1/Université
Plus en détailOptimisation Combinatoire et Colonies de Fourmis Nicolas Monmarche April 21, 1999 Sommaire Inspiration biologiques Ant Colony Optimization Applications TSP QAP Flow Shop Problemes dynamiques 1 Historique
Plus en détailARBRES BINAIRES DE RECHERCHE
ARBRES BINAIRES DE RECHERCHE Table de symboles Recherche : opération fondamentale données : éléments avec clés Type abstrait d une table de symboles (symbol table) ou dictionnaire Objets : ensembles d
Plus en détailArchitecture des ordinateurs
Décoder la relation entre l architecture et les applications Violaine Louvet, Institut Camille Jordan CNRS & Université Lyon 1 Ecole «Découverte du Calcul» 2013 1 / 61 Simulation numérique... Physique
Plus en détailEnsimag 1ère année Algorithmique 1 Examen 2ième session 24 juin 2010. Algorithmique 1
Algorithmique 1 Durée : 2h Machines électroniques interdites Tous documents papiers autorisés Il est conseillé de traiter les deux parties dans l ordre du sujet. Veuillez respecter les notations introduites
Plus en détailRappel sur les bases de données
Rappel sur les bases de données 1) Généralités 1.1 Base de données et système de gestion de base de donnés: définitions Une base de données est un ensemble de données stockées de manière structurée permettant
Plus en détailEric Bertrand ebertrand@ixis-cib.com. 08/11/06 Maître de conférence 1
Calcul parallèle des options MC. Eric Bertrand ebertrand@ixis-cib.com 1 Plan Contexte du calcul parallèle Qualités requises Architecture Outillage Problèmes rencontrés perspectives 2 Contexte du calcul
Plus en détail6 - Le système de gestion de fichiers F. Boyer, UJF-Laboratoire Lig, Fabienne.Boyer@imag.fr
6 - Le système de gestion de fichiers F. Boyer, UJF-Laboratoire Lig, Fabienne.Boyer@imag.fr Interface d un SGF Implémentation d un SGF Gestion de la correspondance entre la structure logique et la structure
Plus en détailIntroduction à la Programmation Parallèle: MPI
Introduction à la Programmation Parallèle: MPI Frédéric Gava et Gaétan Hains L.A.C.L Laboratoire d Algorithmique, Complexité et Logique Cours du M2 SSI option PSSR Plan 1 Modèle de programmation 2 3 4
Plus en détailDUT Informatique Module Système S4 C Département Informatique 2009 / 2010. Travaux Pratiques n o 5 : Sockets Stream
iut ORSAY DUT Informatique Département Informatique 2009 / 2010 Travaux Pratiques n o 5 : Sockets Stream Nom(s) : Groupe : Date : Objectifs : manipuler les primitives relatives à la communication par sockets
Plus en détailArchitecture des calculateurs
Formation en Calcul Scientifique - LEM2I Architecture des calculateurs Violaine Louvet 1 1 Institut Camille jordan - CNRS 12-13/09/2011 Introduction Décoder la relation entre l architecture et les applications
Plus en détailIntroduction aux algorithmes répartis
Objectifs et plan Introduction aux algorithmes répartis Sacha Krakowiak Université Joseph Fourier Projet Sardes (INRIA et IMAG-LSR http://sardes.inrialpes.fr/people/krakowia! Introduction aux algorithmes
Plus en détailSujet 4: Programmation stochastique propriétés de fonction de recours
Sujet 4: Programmation stochastique propriétés de fonction de recours MSE3313: Optimisation Stochastiqe Andrew J. Miller Dernière mise au jour: October 19, 2011 Dans ce sujet... 1 Propriétés de la fonction
Plus en détailResolution limit in community detection
Introduction Plan 2006 Introduction Plan Introduction Introduction Plan Introduction Point de départ : un graphe et des sous-graphes. But : quantifier le fait que les sous-graphes choisis sont des modules.
Plus en détailAnnexe 6. Notions d ordonnancement.
Annexe 6. Notions d ordonnancement. APP3 Optimisation Combinatoire: problèmes sur-contraints et ordonnancement. Mines-Nantes, option GIPAD, 2011-2012. Sophie.Demassey@mines-nantes.fr Résumé Ce document
Plus en détailPlan. 1. La planification d un d 2. Méthodes et techniques de planification 3. Conclusion. D. Leclet - 2006-2007
Plan 1. La planification d un d projet 2. Méthodes et techniques de planification 3. Conclusion 1 1. La planification d un d projet 1.1 Découpage chronologique du projet 1.2 Ordonnancement des tâchest
Plus en détail3. SPÉCIFICATIONS DU LOGICIEL. de l'expression des besoins à la conception. Spécifications fonctionnelles Analyse fonctionnelle et méthodes
PLAN CYCLE DE VIE D'UN LOGICIEL EXPRESSION DES BESOINS SPÉCIFICATIONS DU LOGICIEL CONCEPTION DU LOGICIEL LA PROGRAMMATION TESTS ET MISE AU POINT DOCUMENTATION CONCLUSION C.Crochepeyre Génie Logiciel Diapason
Plus en détailDétection d'intrusions en environnement haute performance
Symposium sur la Sécurité des Technologies de l'information et des Communications '05 Détection d'intrusions en environnement haute performance Clusters HPC Fabrice Gadaud (fabrice.gadaud@cea.fr) 1 Sommaire
Plus en détailModule 4 Tablettes et lieux de culture, musées, bibliothèques, universités
Module 4 Tablettes et lieux de culture, musées, bibliothèques, universités Titre de l atelier : Ecrire devant une œuvre d art avec la tablette Rappel de sa problématique : A la rencontre d une architecture
Plus en détailCircuits RL et RC. Chapitre 5. 5.1 Inductance
Chapitre 5 Circuits RL et RC Ce chapitre présente les deux autres éléments linéaires des circuits électriques : l inductance et la capacitance. On verra le comportement de ces deux éléments, et ensuite
Plus en détail3.00. Catalogue produit
3.00 Catalogue produit PRESENTATION 2 La liberté de mouvement passe par une accessibilité véritable monte-escaliers. Cette gamme complète nous permet de trou- 30 années d expérience Stepless est une division
Plus en détailUE 8 Systèmes d information de gestion Le programme
UE 8 Systèmes d information de gestion Le programme Légende : Modifications de l arrêté du 8 mars 2010 Suppressions de l arrêté du 8 mars 2010 Partie inchangée par rapport au programme antérieur Indications
Plus en détailMétriques de performance pour les algorithmes et programmes parallèles
Métriques de performance pour les algorithmes et programmes parallèles 11 18 nov. 2002 Cette section est basée tout d abord sur la référence suivante (manuel suggéré mais non obligatoire) : R. Miller and
Plus en détailLe Ro le Hyper V Troisie me Partie Haute disponibilite des machines virtuelles
Le Ro le Hyper V Troisie me Partie Haute disponibilite des machines virtuelles Microsoft France Division DPE Table des matières Présentation... 2 Objectifs... 2 Pré requis... 2 Quelles sont les principales
Plus en détailProgrammation parallèle et distribuée
ppd/mpassing p. 1/43 Programmation parallèle et distribuée Communications par messages Philippe MARQUET Philippe.Marquet@lifl.fr Laboratoire d informatique fondamentale de Lille Université des sciences
Plus en détailCluster High Availability. Holger Hennig, HA-Cluster Specialist
Cluster High Availability Holger Hennig, HA-Cluster Specialist TABLE DES MATIÈRES 1. RÉSUMÉ...3 2. INTRODUCTION...4 2.1 GÉNÉRALITÉS...4 2.2 LE CONCEPT DES CLUSTERS HA...4 2.3 AVANTAGES D UNE SOLUTION DE
Plus en détailCompteurs d Energie Thermique & Systèmes associés
Compteurs d Energie Thermique & Systèmes associés La juste mesure de la consommation d énergie thermique. Compteurs Compacts COMPTEUR ULTRAMAX Compteur compact et communicant d appartement pour la répartition
Plus en détailWhite Paper - Livre Blanc
White Paper - Livre Blanc Développement d applications de supervision des systèmes d information Avec LoriotPro Vous disposez d un environnement informatique hétérogène et vous souhaitez à partir d une
Plus en détailIRL : Simulation distribuée pour les systèmes embarqués
IRL : Simulation distribuée pour les systèmes embarqués Yassine El Khadiri, 2 ème année Ensimag, Grenoble INP Matthieu Moy, Verimag Denis Becker, Verimag 19 mai 2015 1 Table des matières 1 MPI et la sérialisation
Plus en détailCours Informatique 1. Monsieur SADOUNI Salheddine
Cours Informatique 1 Chapitre 2 les Systèmes Informatique Monsieur SADOUNI Salheddine Un Système Informatique lesystème Informatique est composé de deux parties : -le Matériel : constitué de l unité centrale
Plus en détailJOURNEES SYSTEMES & LOGICIELS CRITIQUES le 14/11/2000. Mise en Œuvre des techniques synchrones pour des applications industrielles
JOURNEES SYSTEMES & LOGICIELS CRITIQUES le 14/11/2000 Mise en Œuvre des techniques synchrones pour des applications industrielles Mise en œuvre des techniques synchrones pour des applications industrielles
Plus en détailUne Architecture de Bureaux Graphiques Distants Sécurisée et Distribuée
Une Architecture de Bureaux Graphiques Distants Sécurisée et Distribuée J. Rouzaud-Cornabas Laboratoire d Informatique Fondamentale d Orléans Université d Orléans Batiment IIIA, Rue Léonard de Vinci 45067
Plus en détailConception d'une plate-forme collaborative Microsoft SharePoint 2003
Business Management and Global Internet Center Intitulé de la formation : Conception d'une plate-forme collaborative Programme B.M.G.I. Center Adresse : 88 Ter, Bd. KRIM Belkacem - Télemly, 16004 Alger
Plus en détailINSTALLATION ET CONFIGURATION DE HYPER V3
INSTALLATION ET CONFIGURATION DE HYPER V3 I. Installation de HyperV3 sous Windows serveur 2012 HyperV3 est le successeur de HyperV2 apparu sous les versions de Windows serveur 2008 R2, c est puissant Hyper
Plus en détailDescriptif de Kelio Protect
Descriptif de Kelio Protect Réf : 654070A Bodet France - Tél. : 08.25.81.44.00 - Fax : 08.25.81.44.01 - http : www.bodet.fr mail : commercial.gtp@bodet.com Bodet Export - Tel: +33(0)2.41.71.44.82 - Fax
Plus en détailCours de Master Recherche
Cours de Master Recherche Spécialité CODE : Résolution de problèmes combinatoires Christine Solnon LIRIS, UMR 5205 CNRS / Université Lyon 1 2007 Rappel du plan du cours 16 heures de cours 1 - Introduction
Plus en détailUne nouvelle génération de serveur
Séminaire Aristote 27 Mars 2013 Une nouvelle génération de serveur Sommaire L'équipe État de l'art et vision Présentation de l'innovation Les points forts de la solution Cas d'usage Questions? 2 L'équipe
Plus en détailRapport d activité. Mathieu Souchaud Juin 2007
Rapport d activité Mathieu Souchaud Juin 2007 Ce document fait la synthèse des réalisations accomplies durant les sept premiers mois de ma mission (de novembre 2006 à juin 2007) au sein de l équipe ScAlApplix
Plus en détailCORBA haute performance
CORBA haute performance «CORBA à 730Mb/s!» Alexandre DENIS PARIS/IRISA, Rennes Alexandre.Denis@irisa.fr Plan Motivations : concept de grille de calcul CORBA : concepts fondamentaux Vers un ORB haute performance
Plus en détailProgrammation Par Contraintes
Programmation Par Contraintes Cours 2 - Arc-Consistance et autres amusettes David Savourey CNRS, École Polytechnique Séance 2 inspiré des cours de Philippe Baptiste, Ruslan Sadykov et de la thèse d Hadrien
Plus en détailRetour d expérience en Astrophysique : utilisation du Cloud IaaS pour le traitement de données des missions spatiales
Retour d expérience en Astrophysique : utilisation du Cloud IaaS pour le traitement de données des missions spatiales Cécile Cavet cecile.cavet at apc.univ-paris7.fr Centre François Arago (FACe), Laboratoire
Plus en détailChapitre 4 : Exclusion mutuelle
Chapitre 4 : Exclusion mutuelle Pierre Gançarski Juillet 2004 Ce support de cours comporte un certain nombre d erreurs : je décline toute responsabilité quant à leurs conséquences sur le déroulement des
Plus en détailMIS 102 Initiation à l Informatique
MIS 102 Initiation à l Informatique Responsables et cours : Cyril Gavoille Catherine Pannier Matthias Robine Marc Zeitoun Planning : 6 séances de cours 5 séances de TD (2h40) 4 séances de TP (2h40) + environ
Plus en détailAudit 360. Votre Data Center peut-il vraiment répondre à vos objectifs? À quelles conditions? Avec quelles priorités? Pour quels budgets?
Votre Data Center peut-il vraiment répondre à vos objectifs? À quelles conditions? Avec quelles priorités? Pour quels budgets? Permet de s affranchir d éventuels problèmes liés aux infrastructures techniques,
Plus en détailÀ qui s adresse cet ouvrage?
Introduction Bienvenue dans le Guide de l administrateur de Microsoft Windows Server 2008. En tant qu auteur de plus de 65 livres, j écris des ouvrages professionnels sur la technologie depuis 1994. Au
Plus en détailSINEAX V 611 Convertisseur de mesure température, programmable
SINEX V 611 raccordement à 2 fils, pour entrées RT et T, pour montage sur rail en boîtier K7 pplication Le SINEX V 611 est un convertisseur de mesure en technique à 2 fils. Il permet des mesures de températures
Plus en détailTHÈSE. pour obtenir le grade de. Spécialité : "Informatique : Systèmes et Communications"
UNIVERSITÉ JOSEPH FOURIER DE GRENOBLE N attribué par la bibliothèque THÈSE pour obtenir le grade de DOCTEUR DE L UNIVERSITÉ JOSEPH FOURIER DE GRENOBLE Spécialité : "Informatique : Systèmes et Communications"
Plus en détailTable des matières PRESENTATION DU LANGAGE DS2 ET DE SES APPLICATIONS. Introduction
PRESENTATION DU LANGAGE DS2 ET DE SES APPLICATIONS Depuis SAS 9.2 TS2M3, SAS propose un nouveau langage de programmation permettant de créer et gérer des tables SAS : le DS2 («Data Step 2»). Ces nouveautés
Plus en détailCours 3 : L'ordinateur
Cours 3 : L'ordinateur Abdelkrim Zehioua 2éme année Licence Gestion Faculté des sciences Économiques et sciences de Gestion Université A, Mehri - Constantine 2 Plan du cours 1.Définitions de l'ordinateur
Plus en détailcomptable : le pourquoi et le comment
Séparation comptable : le pourquoi et le comment Nicolas Curien,, ARCEP Séminaire FRATEL Libreville, 23 mai 2008 Les principales questions PourquoiPourquoi séparers les comptes? Comment séparers les comptes?
Plus en détailAlgorithmique et programmation : les bases (VBA) Corrigé
PAD INPT ALGORITHMIQUE ET PROGRAMMATION 1 Cours VBA, Semaine 1 mai juin 2006 Corrigé Résumé Ce document décrit l écriture dans le langage VBA des éléments vus en algorithmique. Table des matières 1 Pourquoi
Plus en détailLES OUTILS D ALIMENTATION DU REFERENTIEL DE DB-MAIN
LES OUTILS D ALIMENTATION DU REFERENTIEL DE DB-MAIN Les contenues de ce document sont la propriété exclusive de la société REVER. Ils ne sont transmis qu à titre d information et ne peuvent en aucun cas
Plus en détailWindows serveur 2008 installer hyperv
Windows serveur 2008 installer hyperv 1 Description Voici la description fournit par le site Microsoft. «Windows Server 2008 Hyper-V est le moteur de virtualisation (hyperviseur) fourni dans Windows Server
Plus en détaildonnées en connaissance et en actions?
1 Partie 2 : Présentation de la plateforme SPSS Modeler : Comment transformer vos données en connaissance et en actions? SPSS Modeler : l atelier de data mining Large gamme de techniques d analyse (algorithmes)
Plus en détailArchitecture des Systèmes d Information Architecture des Systèmes d Information
Plan... Tableaux et tris I3 - Algorithmique et programmation 1 Rappels Nicol Delestre 2 Tableaux à n dimensions 3 Initiation aux tris Tableaux - v2.0.1 1 / 27 Tableaux - v2.0.1 2 / 27 Rappels : tableau
Plus en détailCentre CPGE TSI - Safi 2010/2011. Algorithmique et programmation :
Algorithmique et programmation : STRUCTURES DE DONNÉES A. Structure et enregistrement 1) Définition et rôle des structures de données en programmation 1.1) Définition : En informatique, une structure de
Plus en détailConception de circuits numériques et architecture des ordinateurs
Conception de circuits numériques et architecture des ordinateurs Frédéric Pétrot et Sébastien Viardot Année universitaire 2011-2012 Structure du cours C1 C2 C3 C4 C5 C6 C7 C8 C9 C10 C11 C12 Codage des
Plus en détailLa dernière base de données de Teradata franchit le cap du big data grâce à sa technologie avancée
Communiqué de presse Charles-Yves Baudet Twitter: Les clients de Teradata Teradata Corporation peuvent dan.conway@teradata.com tirer parti de plusieurs + 33 1 64 86 76 14 + 33 (0) 1 55 21 01 48/49 systèmes,
Plus en détailLot 4: Validation industrielle. Youness LEMRABET Pascal YIM, 19/11/2010
Lot 4: Validation industrielle Youness LEMRABET Pascal YIM, 19/11/2010 Partenaires Lot 1 Modèle du processus métier L4.1 Modèles PSM Lot 2 Guide d implantation L4.2 Développement & Recette prototype Lot
Plus en détailOptimisation Discrète
Prof F Eisenbrand EPFL - DISOPT Optimisation Discrète Adrian Bock Semestre de printemps 2011 Série 7 7 avril 2011 Exercice 1 i Considérer le programme linéaire max{c T x : Ax b} avec c R n, A R m n et
Plus en détailJeux sous forme extensive (Jeux dynamiques)
(Jeux dynamiques) Plan du chapitre ( juillet 008) / éfinitions, exemples et équivalences Arbres de jeux, information et mémoire tratégies et réduction en forme normale Équilibre de Nash parfait en sous-jeux
Plus en détailLa NP-complétude. Johanne Cohen. PRISM/CNRS, Versailles, France.
La NP-complétude Johanne Cohen PRISM/CNRS, Versailles, France. Références 1. Algorithm Design, Jon Kleinberg, Eva Tardos, Addison-Wesley, 2006. 2. Computers and Intractability : A Guide to the Theory of
Plus en détailINTRODUCTION AUX SYSTEMES D EXPLOITATION. TD2 Exclusion mutuelle / Sémaphores
INTRODUCTION AUX SYSTEMES D EXPLOITATION TD2 Exclusion mutuelle / Sémaphores Exclusion mutuelle / Sémaphores - 0.1 - S O M M A I R E 1. GENERALITES SUR LES SEMAPHORES... 1 1.1. PRESENTATION... 1 1.2. UN
Plus en détailComment initialiser une démarche SOA
Comment initialiser une démarche SOA Placer l approche l SOA au cœur c de la vie du Système d Informationd Olivier Dennery IT Architect IBM certified BCS Application Innovation Objectifs Objectifs - Rappeler
Plus en détailBig Data et Graphes : Quelques pistes de recherche
Big Data et Graphes : Quelques pistes de recherche Hamamache Kheddouci http://liris.cnrs.fr/hamamache.kheddouci Laboratoire d'informatique en Image et Systèmes d'information LIRIS UMR 5205 CNRS/INSA de
Plus en détailRuntime. Gestion de la réactivité des communications réseau. François Trahay Runtime, LaBRI sous la direction d'alexandre Denis Université Bordeaux I
Runtime Gestion de la réactivité des communications réseau François Trahay Runtime, LaBRI sous la direction d'alexandre Denis Université Bordeaux I 1 Le calcul hautes performances La tendance actuelle
Plus en détailGénérer du code à partir d une description de haut niveau
Cedric Dumoulin Générer du code à partir d une description de haut niveau Ce projet vise à fournir un environnement de développement permettant de modéliser des UI Android à un haut niveau d abstraction,
Plus en détailsur les activités futures qui seront mises en œuvre au Maroc en matière de gestion et d administration de la justice
Plan d action d général g sur les activités futures qui seront mises en œuvre au Maroc en matière de gestion et d administration de la justice Gestion des procédures et informatisation. Touati Mohamed
Plus en détail