Conception des systèmes répartis

Save this PDF as:
 WORD  PNG  TXT  JPG

Dimension: px
Commencer à balayer dès la page:

Download "Conception des systèmes répartis"

Transcription

1 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

2 plan 1 Préambule 2 3 Objectifs Aspect statique Aspect dynamique Gérard Padiou Conception des systèmes répartis 2 / 37

3 Plan 1 Préambule 2 3 Objectifs Aspect statique Aspect dynamique Gérard Padiou Conception des systèmes répartis 3 / 37

4 Préambule : quelques «indicateurs» de tendance... Répartition communication entre objets informatisés L Internet des objets (The Internet of thinks) 1 24 milliards d appareils connectés entre eux en 2020 du porte-clé au réfrigérateur en passant par les plantes... Marché estimé à 1,2 billiards de dollars. Impact sur les protocoles réseaux : exemple UBN (ultra narrow band) sigfox L informatique dans les nuages (cloud computing) : l accès pour tous aux ressources/services informatiques Effet annexe : l analyse et l exploitation de grandes quantités de données (big data) 1. Gérard Padiou Conception des systèmes répartis 4 / 37

5 Préambule : aspects de la distribution (répartition) Distributed Computing Algorithms Applications Systems Architectures Gérard Padiou Conception des systèmes répartis 5 / 37

6 Préambule : de quoi allons nous parler? Distributed Applications Systems Computing Algorithms Architectures Temps réel & Multimedia, Simulation répartie, Objets communicants, Mobilité, etc Introduction, Causalité, Modèle standard Principes algorithmiques Problèmes génériques : élection, terminaison, consensus, cliché, etc Fichiers, Mémoire répartie, Tolérance aux fautes (diffusion de groupe), etc Gérard Padiou Conception des systèmes répartis 6 / 37

7 Plan Préambule 1 Préambule 2 3 Objectifs Aspect statique Aspect dynamique Gérard Padiou Conception des systèmes répartis 7 / 37

8 Modèle centralisé ou réparti Modèle centralisé Les processus se partagent des ressources critiques ou pas Modèle réparti Les processus échangent des données par messages Gérard Padiou Conception des systèmes répartis 8 / 37

9 Préambule Apports de la répartition Accès aux ressources distantes et partage : ressources physiques : imprimantes, traceurs,... ressources logiques : fichiers, données : textuelles, audio, images, vidéo. Répartition géographique Puissance de calcul Disponibilité Flexibilité Gérard Padiou Conception des systèmes répartis 9 / 37

10 Préambule Apports de la répartition Accès aux ressources distantes et partage : ressources physiques : imprimantes, traceurs,... ressources logiques : fichiers, données : textuelles, audio, images, vidéo. Répartition géographique Puissance de calcul Disponibilité Flexibilité Gérard Padiou Conception des systèmes répartis 9 / 37

11 Préambule Apports de la répartition Accès aux ressources distantes et partage : ressources physiques : imprimantes, traceurs,... ressources logiques : fichiers, données : textuelles, audio, images, vidéo. Répartition géographique Puissance de calcul Disponibilité Flexibilité Gérard Padiou Conception des systèmes répartis 9 / 37

12 MAIS modèle d exécution plus complexe... Problèmes... m1 est-il toujours envoyé avant m2 dans toute exécution? e 1 S 1 m1 est-il toujours reçu avant m2 dans toute exécution? m 1 e 2 S 2 Peut-on déduire? date(r 1 ) < date(r 2 )? date(e 1 ) < date(e 2 ) r 1 S 3 r 2 m 2 Fort non déterminisme : explosion des états possibles Gérard Padiou Conception des systèmes répartis 10 / 37

13 Idée... pour en savoir plus Dates dans messages... date(e 1 ) < date(e 2 )? e 1 avant? e 2 <m 1,date(e 1 )> Pas sûr... car l horloge n existe pas!!! r 1 e 1 S 1 e 2 S 2 S 3 r 2 <m 2,date(e 2 )> Gérard Padiou Conception des systèmes répartis 11 / 37

14 En réalité... Préambule il existe 2 horloges... date(e 1 ) < date(e 2 ) e 1 avant e 2 e 1 <m 1,date(e 1 )> S 1 e 2 S 2 H 1 Si les horloges sont synchronisées! r 1 S 3 r 3 <m 2,date(e 2 )> H 2 Pas de référentiel temporel unique Gérard Padiou Conception des systèmes répartis 12 / 37

15 Modèle d exécution plus complexe... suite S 1 Problème... P3 veut savoir si P1 ou P2 ont ouvert des fichiers? f 1 ouvert? P 1 f 1 P 2 S 2 Connaissance instantanée impossible ouvert? P 3 f 2 f 2 S 3 Un processus ne peut pas connaître instantanément l état courant de ses partenaires. Gérard Padiou Conception des systèmes répartis 13 / 37

16 Les épines... en résumé Impact de la répartition Pas d horloge globale : chaque site a son horloge Pas d état global immédiat accessible à un site Fiabilité globale relative : probabilité non négligeable d un arrêt d une machine, d un processus quel que part Sécurité relative : usagers potentiels nombreux... Non-déterminisme (parallélisme) : systèmes asynchrones Conséquence : modèle de calcul différent du cas centralisé Ordre partiel entre les événements d un calcul réparti Calcul d état global passé Gérard Padiou Conception des systèmes répartis 14 / 37

17 Les épines... en résumé Impact de la répartition Pas d horloge globale : chaque site a son horloge Pas d état global immédiat accessible à un site Fiabilité globale relative : probabilité non négligeable d un arrêt d une machine, d un processus quel que part Sécurité relative : usagers potentiels nombreux... Non-déterminisme (parallélisme) : systèmes asynchrones Conséquence : modèle de calcul différent du cas centralisé Ordre partiel entre les événements d un calcul réparti Calcul d état global passé Gérard Padiou Conception des systèmes répartis 14 / 37

18 Les épines... en résumé Impact de la répartition Pas d horloge globale : chaque site a son horloge Pas d état global immédiat accessible à un site Fiabilité globale relative : probabilité non négligeable d un arrêt d une machine, d un processus quel que part Sécurité relative : usagers potentiels nombreux... Non-déterminisme (parallélisme) : systèmes asynchrones Conséquence : modèle de calcul différent du cas centralisé Ordre partiel entre les événements d un calcul réparti Calcul d état global passé Gérard Padiou Conception des systèmes répartis 14 / 37

19 Les épines... en résumé Impact de la répartition Pas d horloge globale : chaque site a son horloge Pas d état global immédiat accessible à un site Fiabilité globale relative : probabilité non négligeable d un arrêt d une machine, d un processus quel que part Sécurité relative : usagers potentiels nombreux... Non-déterminisme (parallélisme) : systèmes asynchrones Conséquence : modèle de calcul différent du cas centralisé Ordre partiel entre les événements d un calcul réparti Calcul d état global passé Gérard Padiou Conception des systèmes répartis 14 / 37

20 Les épines... en résumé Impact de la répartition Pas d horloge globale : chaque site a son horloge Pas d état global immédiat accessible à un site Fiabilité globale relative : probabilité non négligeable d un arrêt d une machine, d un processus quel que part Sécurité relative : usagers potentiels nombreux... Non-déterminisme (parallélisme) : systèmes asynchrones Conséquence : modèle de calcul différent du cas centralisé Ordre partiel entre les événements d un calcul réparti Calcul d état global passé Gérard Padiou Conception des systèmes répartis 14 / 37

21 Thèmes de recherche sur la répartition Concevoir, modéliser, expérimenter Modélisation théorique Algorithmique Langages Systèmes d exploitation Intergiciels (middleware) Gérard Padiou Conception des systèmes répartis 15 / 37

22 Une idée clé : la notion de transparence Principe de conception Un bon système réparti est un système qui semble centralisé (qui s utilise comme) Gérard Padiou Conception des systèmes répartis 16 / 37

23 Idée : masquer la répartition Niveaux de transparence Accès Localisation Partage Réplication Fautes Mécanismes Interface Nommage Synchronisation Groupe Atomicité au cœur du Cloud computing : Niveaux de transparence Migration Charge Échelle Mécanismes Mobilité Réflexivité Reconfiguration Gérard Padiou Conception des systèmes répartis 17 / 37

24 Idée : masquer la répartition Niveaux de transparence Accès Localisation Partage Réplication Fautes Mécanismes Interface Nommage Synchronisation Groupe Atomicité au cœur du Cloud computing : Niveaux de transparence Migration Charge Échelle Mécanismes Mobilité Réflexivité Reconfiguration Gérard Padiou Conception des systèmes répartis 17 / 37

25 Idée : masquer la répartition Niveaux de transparence Accès Localisation Partage Réplication Fautes Mécanismes Interface Nommage Synchronisation Groupe Atomicité au cœur du Cloud computing : Niveaux de transparence Migration Charge Échelle Mécanismes Mobilité Réflexivité Reconfiguration Gérard Padiou Conception des systèmes répartis 17 / 37

26 Idée : masquer la répartition Niveaux de transparence Accès Localisation Partage Réplication Fautes Mécanismes Interface Nommage Synchronisation Groupe Atomicité au cœur du Cloud computing : Niveaux de transparence Migration Charge Échelle Mécanismes Mobilité Réflexivité Reconfiguration Gérard Padiou Conception des systèmes répartis 17 / 37

27 Idée : masquer la répartition Niveaux de transparence Accès Localisation Partage Réplication Fautes Mécanismes Interface Nommage Synchronisation Groupe Atomicité au cœur du Cloud computing : Niveaux de transparence Migration Charge Échelle Mécanismes Mobilité Réflexivité Reconfiguration Gérard Padiou Conception des systèmes répartis 17 / 37

28 Idée : masquer la répartition Niveaux de transparence Accès Localisation Partage Réplication Fautes Mécanismes Interface Nommage Synchronisation Groupe Atomicité au cœur du Cloud computing : Niveaux de transparence Migration Charge Échelle Mécanismes Mobilité Réflexivité Reconfiguration Gérard Padiou Conception des systèmes répartis 17 / 37

29 Idée : masquer la répartition Niveaux de transparence Accès Localisation Partage Réplication Fautes Mécanismes Interface Nommage Synchronisation Groupe Atomicité au cœur du Cloud computing : Niveaux de transparence Migration Charge Échelle Mécanismes Mobilité Réflexivité Reconfiguration Gérard Padiou Conception des systèmes répartis 17 / 37

30 Idée : masquer la répartition Niveaux de transparence Accès Localisation Partage Réplication Fautes Mécanismes Interface Nommage Synchronisation Groupe Atomicité au cœur du Cloud computing : Niveaux de transparence Migration Charge Échelle Mécanismes Mobilité Réflexivité Reconfiguration Gérard Padiou Conception des systèmes répartis 17 / 37

31 Transparence d accès Propriété Accès à une ressource distante accès à une ressource locale. Niveau langage de commande : sh rsh (non transparence) Niveau service système : read,write identiques que le fichier opérande soit local ou distant (tranparence) Niveau langage à objet : Appel de méthode local ou à distance identique pour l appelant (tranparence) Solution : Notion d interface Cas des intergiciels à objets : langage IDL et bus logiciel Gérard Padiou Conception des systèmes répartis 18 / 37

32 Transparence de localisation Propriété La localisation d une ressource reste cachée. Non transparence : commande rsh bach.enseeiht.fr Transparence : Niveau service système : open( nom-fichier,... ) : nom du fichier indépendant de la localisation du fichier Niveau langage à objet : références aux objets distants sans nécessité de connaître leur localisation Solution : Services de nommage gérant des noms globaux Cas des intergiciels à objets : serveurs de noms. Gérard Padiou Conception des systèmes répartis 19 / 37

33 Transparence du partage Propriété L usage partagé (et en parallèle) d une ressource doit rester cohérente ( sémantique équivalente au cas centralisé). Niveau service système : cohérence d accès à un fichier partagé : assurer les contraintes d exclusion mutuelle des lecteurs/rédacteurs, mais trop couteux Niveau langage à objets : limiter l exécution en parallèle des méthodes sur un objet Solution : Mécanismes de synchronisation Problème : mécanismes connus mais souvent couteux en réparti. Gérard Padiou Conception des systèmes répartis 20 / 37

34 Transparence de la réplication Propriété La répartition permet la redondance pour plus de fiabilité Niveau service système : assurer le maintien de plusieurs copies cohérentes d un même fichier. Niveau langage à objets : assurer la réplication transparente d un objet. Niveau intergiciel : assurer que plusieurs serveurs répliqués évoluent en cohérence. Solution : Synchronisme virtuel Notion de groupe et de protocoles de diffusion atomique Gérard Padiou Conception des systèmes répartis 21 / 37

35 Transparence des fautes Propriété La répartition induit un contexte moins fiable que celui du centralisé et nécessite donc de prévoir le traitement des fautes. Niveau service système : un service n est plus accessible (serveur de noms!!!) Niveau langage à objets : un appel à distance de méthode peut échouer... Solution : Traitement d exception et Atomicité Atomicité : un traitement s exécute en entier ou pas du tout. Gérard Padiou Conception des systèmes répartis 22 / 37

36 Transparence de la migration Propriété Permettre la migration de code, de processus, d agents, d objets. Niveau service système : déplacer un serveur d une machine chargée à une machine sous-utilisée Niveau langage à objets : code mobile : exemple des applets Java, exemple des fichiers postscript objets mobiles (ou agents mobiles) Solution : la mobilité des traitements et/ou des données Agents mobiles (contexte d exécution mobile), Code mobile Gérard Padiou Conception des systèmes répartis 23 / 37

37 Transparence de charge Propriété Masquer (et empécher) les phénomènes de surcharge, écroulement. La répartition permet naturellement la mise en œuvre de techniques d équilibrage de charge Niveau système : reconfigurer dynamiquement les services sur les machines disponibles selon la charge des serveurs. Niveau grappe (cluster) : répartir les traitements parallèles de façon équilibrée sur les différents processeurs. Solution : réflexivité Réflexivité : possibilité d auto observation des composants. Gérard Padiou Conception des systèmes répartis 24 / 37

38 Transparence d échelle Propriété Permettre l extension d un système sans remettre en cause son fonctionnement global. Niveau système : introduire de nouveaux serveurs sur de nouvelles machines pour s adapter à une augmentation de l activité applicative. Solution : Adaptabilité et autonomie Adaptabilité et autonomie : mise en œuvre de mécanismes automatique d adaptation dynamique. Gérard Padiou Conception des systèmes répartis 25 / 37

39 En résumé Répartition Accès et partage de ressources via un réseau de communication à tout usager qui en a le droit et où qu il soit Gérard Padiou Conception des systèmes répartis 26 / 37

40 de répartition du contrôle et des données Gestion d un parking Entrée Parking de N places Invariant : 0 <= R - D <= N R Médium de communication Sortie D.. Droit de restitution R - D < N (il existe une place) Droit de location R - D > 0 (il existe un véhicule) Gérard Padiou Conception des systèmes répartis 27 / 37

41 Spécification utilisant la notion d observation Définition de la relation d observation Abstraction d une communication entre 2 processus Relation entre une variable source Src et une variable image Img : l image Img est une copie + ou ancienne de la source Src. Processus Observateur via l image `Img `Img Src Processus Observé via la source Src `Img t Src valeur t valeur courante courante Gérard Padiou Conception des systèmes répartis 28 / 37

42 Spécification utilisant la notion d observation Formalisation Abstraction du calcul : une exécution vue comme une suite infinie d états (de transitions) σ = σ 1 ; σ 2 ;... ; σ i... Notation : σ i.x valeur de la variable x dans l état σ i Une horloge h : compteur croissant tel que : i 0 : h(i) i Une observation est une relation notée x x : - Informellement, la suite des valeurs prises par x est une sous-suite des valeurs prises par x dans l ordre chronologique. - Formellement : la relation x x est vérifiée ssi : σ : σ 0. x = σ 0.x h :: i 0 : σ i. x = σ h(i).x Forme de cohérence faible : des valeurs peuvent être perdues Gérard Padiou Conception des systèmes répartis 29 / 37

43 Spécification utilisant la notion d observation Répartition par réplication en cohérence faible Deux observations : R R D D ; Le couple de variables (D, R) est accessible en sortie ; Le couple de variables ( D, R) est accessible en entrée ; Possibilité de test d un prédicat local plus fort que le prédicat global (réparti) : - en entrée : R D < N R D < N - en sortie : R D > 0 R D > 0 Divers protocoles peuvent implanter la relation d observation. Gérard Padiou Conception des systèmes répartis 30 / 37

44 Centraliser? L approche client/serveur : appel procédural à distance L état global est centralisé quelque part et accessible à distance selon le protocole de l appel procédural à distance ; Interface du service : interface Superviseur { /* Pré : R D < N */ void autoriser_entrer() ; /* Pré : R D > 0 */ void autoriser_sortir() ; } État global représentable par NbV éhicules R D ; Gérard Padiou Conception des systèmes répartis 31 / 37

45 État global «mobile» L approche message «jeton» L état global circule entre les sites selon une structure d anneau ; Interface du service : class Passage { static int obtenirjeton() ; static void libérerjeton(int nouvel_état) ; } État global représentable dans le message jeton par le nombre de véhicules dans le garage. Restitution : un essai? int nbv = Passage.obtenirJeton(); Passage.libérerJeton(nbv++) ; Location : à voir? Gérard Padiou Conception des systèmes répartis 32 / 37

46 État global «mobile» : l approche message «jeton» Contrôle des restitutions while (true) { nbv= Passage.obtenirJeton() ; if (nbv < N && demande_de_restitution) { nbv++ ; /* autoriser une entrée */ } Passage.libérerJeton(nbv) ; } Contrôle des locations while (true) { nbv = Passage.obtenirJeton(); if (nbv > 0 && demande_de_location) { nbv-- ; /* autoriser une sortie */ } Passage.libérerJeton(nbv) ; } Gérard Padiou Conception des systèmes répartis 33 / 37

47 Objectifs Aspect statique Aspect dynamique Plan 1 Préambule 2 3 Objectifs Aspect statique Aspect dynamique Gérard Padiou Conception des systèmes répartis 34 / 37

48 Objectifs Aspect statique Aspect dynamique Modéliser un calcul réparti Objectifs Description statique et comportementale ; Abstraction pour faciliter l analyse ; Validation de propriétés (sûreté et vivacité). Les éléments de modélisation Les activités, processus, sites, etc notion de site logique ; La communication : liens, liaisons, canaux, protocoles (point-à-point, diffusion),... Les connaissances globales de chaque site logique. Gérard Padiou Conception des systèmes répartis 35 / 37

49 Objectifs Aspect statique Aspect dynamique Modèle de calcul réparti Aspect statique Graphe structurel (statique) Sommets sites logiques Arcs liaisons Nombreux attributs : Parallélisme Fiabilité Performances P 1 P 2 c 1 c 2 c3 c 4 P 3 c 5 P 4 P 5 Inconvénient : modèle statique, mais permet de poser les bases des problèmes de la répartition. Gérard Padiou Conception des systèmes répartis 36 / 37

50 Objectifs Aspect statique Aspect dynamique Modèle de calcul réparti Aspect dynamique Description globale (dans un repère temporel global) ; Description événementielle ; Trois types d événements : émission, réception, interne ; Modélisation de la communication : diffusion, perte, délais, etc A e 1 i 1 e 2 r 3 e 4 B r 2 r 1 e 5 r' 3 e 6 r 4 C e 3 r" 3 i 2 r 5 Gérard Padiou Conception des systèmes répartis 37 / 37

Systèmes et algorithmes répartis

Systèmes et algorithmes répartis Systèmes et algorithmes répartis Principes et concepts Philippe Quéinnec, Gérard Padiou queinnec@enseeiht.fr http://queinnec.perso.enseeiht.fr/ens/sar.html Département Informatique et Mathématiques Appliquées

Plus en détail

plan Systèmes et algorithmes répartis Plan Sources Principes et concepts Les parfums Les épines Exemple Un principe de conception

plan Systèmes et algorithmes répartis Plan Sources Principes et concepts Les parfums Les épines Exemple Un principe de conception Préambule Définition et problématique Modélisation des systèmes répartis Préambule Définition et problématique Modélisation des systèmes répartis plan Systèmes et algorithmes répartis et concepts Philippe

Plus en détail

Systèmes et applications distribués Intergiciels et applications communicantes

Systèmes et applications distribués Intergiciels et applications communicantes Systèmes et applications distribués Intergiciels et applications communicantes Philippe Quéinnec Télécommunication et Réseaux 2e année ENSEEIHT 24 février 2014 Inspiré de cours de G. Padiou, Ph. Mauran

Plus en détail

Introduction aux applications réparties

Introduction aux applications réparties Introduction aux applications réparties Noël De Palma Projet SARDES INRIA Rhône-Alpes http://sardes.inrialpes.fr/~depalma Noel.depalma@inrialpes.fr Applications réparties Def : Application s exécutant

Plus en détail

Algorithmique et systèmes répartis

Algorithmique et systèmes répartis Algorithmique et systèmes répartis Tendances et avenir Gérard Padiou Département Informatique et Mathématiques appliquées ENSEEIHT 30 novembre 2012 Gérard Padiou Algorithmique et systèmes répartis 1 /

Plus en détail

Objectifs. Maîtriser. Pratiquer

Objectifs. Maîtriser. Pratiquer 1 Bases de Données Objectifs Maîtriser les concepts d un SGBD relationnel Les modèles de représentations de données Les modèles de représentations de données La conception d une base de données Pratiquer

Plus en détail

DUT Informatique - Module M-4102C Modélisation et construction des applications réparties

DUT Informatique - Module M-4102C Modélisation et construction des applications réparties DUT Informatique - Module M-4102C Modélisation et construction des applications réparties Applications réparties (distributed systems) J. Christian Attiogbé Février 2009, maj 2015 J. Christian Attiogbé

Plus en détail

Introduction aux systèmes répartis

Introduction aux systèmes répartis Introduction aux systèmes répartis Grappes de stations Applications réparties à grande échelle Systèmes multicalculateurs (1) Recherche de puissance par assemblage de calculateurs standard Liaison par

Plus en détail

Objectifs du cours Modèles et Approches Formels de Systèmes Distribués

Objectifs du cours Modèles et Approches Formels de Systèmes Distribués Objectifs du cours Modèles et Approches Formels de Systèmes Distribués Mohamed Mosbah LaBRI ENSEIRB - Université Bordeaux 1 mosbah@labri.fr dept-info.labri.fr/~mosbah/mafsd.html Connaître les caractéristiques

Plus en détail

L approche Bases de données

L approche Bases de données L approche Bases de données Cours: BD. Avancées Année: 2005/2006 Par: Dr B. Belattar (Univ. Batna Algérie) I- : Mise à niveau 1 Cours: BDD. Année: 2013/2014 Ens. S. MEDILEH (Univ. El-Oued) L approche Base

Plus en détail

Module OMGL - UE ModDyn

Module OMGL - UE ModDyn Module OMGL - UE ModDyn Modélisation de la dynamique / Réseaux de Petri J. Christian Attiogbé Février 2009, maj 2012 J. Christian Attiogbé (Février 2009, maj 2012) Module OMGL - UE ModDyn 1 / 34 Plan de

Plus en détail

Conception d Applications Réparties

Conception d Applications Réparties Jean-François Roos LIFL - équipe GOAL- bâtiment M3 Extension - bureau 206 -Jean-Francois.Roos@lifl.fr 1 Objectifs du Cours Appréhender la conception d applications réparties motivations et concepts architectures

Plus en détail

Algorithmique des Systèmes Répartis. Problèmes - Concepts - Techniques - Outils

Algorithmique des Systèmes Répartis. Problèmes - Concepts - Techniques - Outils Algorithmique des Systèmes Répartis Systèmes Répartis Problèmes - Concepts - Techniques - Outils Master Informatique Dominique Méry Université de Lorraine 19 février 2013 1 / 40 Plan 1 Problèmes des systèmes

Plus en détail

Construction d Applications Réparties

Construction d Applications Réparties Construction d Applications Réparties Jean-Francois Roos LIFL - équipe GOAL USTL - bâtiment M3 Extension - bureau 204 Jean-Francois.Roos@lifl.fr Avril 1 Objectifs du cours Appréhender la conception d applications

Plus en détail

Introduction au model-checking et application à la vérification des protocoles cryptographiques

Introduction au model-checking et application à la vérification des protocoles cryptographiques Introduction au model-checking et application à la vérification des protocoles cryptographiques Prof. John MULLINS École Polytechnique de Montréal Prof. John MULLINS (École Polytechnique) Introduction

Plus en détail

Exécution des applications réparties

Exécution des applications réparties Exécution des applications réparties Programmation des Applications Réparties Olivier Flauzac URCA Master STIC-Informatique première année Olivier Flauzac (URCA) PAR : Exécution des applications réparties

Plus en détail

IRL : Simulation distribuée pour les systèmes embarqués

IRL : 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étail

Informatique Répartie

Informatique Répartie INSA - ASI InfoRep : Client-Serveur 1/36 Informatique Répartie Architectures Client-Serveur Alexandre Pauchet INSA Rouen - Département ASI BO.B.RC.18, pauchet@insa-rouen.fr INSA - ASI InfoRep : Client-Serveur

Plus en détail

Objectifs du cours. Master mention Informatique M1. Construction d Applications Réparties. Sommaire. Organisation.

Objectifs du cours. Master mention Informatique M1. Construction d Applications Réparties. Sommaire. Organisation. Master mention Informatique M1 Construction d s Réparties Lionel Seinturier USTL-LIFL Équipe GOAL/Projet INRIA Jacquard Lionel.Seinturier@lifl.fr 2006/2007 1 Objectifs du cours Appréhender la conception

Plus en détail

Supervision des réseaux et services pair à pair

Supervision des réseaux et services pair à pair Supervision des réseaux et services pair à pair Présentation des travaux de Thèse Guillaume Doyen LORIA - Université Henri Poincaré pour l obtention du Doctorat en Informatique de l université Henri Poincaré

Plus en détail

MEAD : temps réel et tolérance aux pannes pour CORBA

MEAD : temps réel et tolérance aux pannes pour CORBA MEAD : un intergiciel temps-réel et tolérant aux pannes pour CORBA Master 2 Informatique Recherche Université de Marne-la-Vallée Vendredi 3 mars 2006 Plan 1 Introduction 2 Solutions existantes 3 Concilier

Plus en détail

Hébergement MMI SEMESTRE 4

Hébergement MMI SEMESTRE 4 Hébergement MMI SEMESTRE 4 24/03/2015 Hébergement pour le Web Serveurs Mutualités Serveurs Dédiés Serveurs VPS Auto-Hébergement Cloud Serveurs Mutualités Chaque Serveur héberge plusieurs sites Les ressources

Plus en détail

Détection de la terminaison distribuée

Détection de la terminaison distribuée Cours Algorithmique répartie Master 2 Université Paris-Diderot Devoir 1 (à rendre avant le 22 février 2010) Détection de la terminaison distribuée Généralités Π = {p 0,..., p n 1 } est l ensemble des processus.

Plus en détail

Solutions informatiques (SI) Semestre 1

Solutions informatiques (SI) Semestre 1 Solutions informatiques (SI) Cette unité vise l acquisition de compétences générales à partir desquelles sont construites les compétences propres aux parcours de spécialisation. Elle comprend, d une part,

Plus en détail

Modélisation conceptuelle des Systèmes Distribués

Modélisation conceptuelle des Systèmes Distribués Modélisation conceptuelle des Systèmes Distribués Eric Cariou Master Technologies de l'internet 1 ère année Université de Pau et des Pays de l'adour Département Informatique Eric.Cariou@univ-pau.fr 1 Systèmes

Plus en détail

Calculs parallèles et Distribués. Benmoussa Yahia Université M hamed Bougara de Boumerdès yahia.benmoussa@gmail.com

Calculs parallèles et Distribués. Benmoussa Yahia Université M hamed Bougara de Boumerdès yahia.benmoussa@gmail.com Calculs parallèles et Distribués Benmoussa Yahia Université M hamed Bougara de Boumerdès yahia.benmoussa@gmail.com Calculs parallèles et Distribués Introduction Parallélisation sur mémoire distribuée.

Plus en détail

Systèmes de fichiers. Didier Verna

Systèmes de fichiers. Didier Verna 1/23 de fichiers didier@lrde.epita.fr http://www.lrde.epita.fr/ didier 2/23 Table des matières 1 2 Structure des fichiers 3 Structure des répertoires 4 Protection et sécurité 4/23 Répondre aux problèmes

Plus en détail

Remote Method Invocation en Java (RMI)

Remote Method Invocation en Java (RMI) Remote Method Invocation en Java (RMI) Modélisation et construction des applications réparties (Module M-4102C) J. Christian Attiogbé Fevrier 2015 J. Christian Attiogbé (Fevrier 2015) Remote Method Invocation

Plus en détail

Autostabilisation. de l exclusion mutuelle sur un anneau à l élection d un chef sur un graphe quelconque

Autostabilisation. de l exclusion mutuelle sur un anneau à l élection d un chef sur un graphe quelconque : de l exclusion mutuelle sur un anneau à l élection d un chef sur un graphe quelconque Laboratoire d Informatique Fondamentale d Orléans, Université d Orléans, Orléans, FRANCE JIRC 30 juin 2005 Blois

Plus en détail

Mise en œuvre des serveurs d application

Mise en œuvre des serveurs d application Nancy-Université Mise en œuvre des serveurs d application UE 203d Master 1 IST-IE Printemps 2008 Master 1 IST-IE : Mise en œuvre des serveurs d application 1/54 Ces transparents, ainsi que les énoncés

Plus en détail

Concours interne d ingénieur des systèmes d information et de communication. «Session 2010» Meilleure copie "étude de cas architecture et systèmes"

Concours interne d ingénieur des systèmes d information et de communication. «Session 2010» Meilleure copie étude de cas architecture et systèmes Concours interne d ingénieur des systèmes d information et de communication «Session 2010» Meilleure copie "étude de cas architecture et systèmes" Note obtenue : 14,75/20 HEBERGE-TOUT Le 25 mars 2010 A

Plus en détail

Algorithmes distribués

Algorithmes distribués Algorithmes distribués Master informatique 2015-2016 Stella MARC-ZWECKER stella@unistra.fr Plan prévisionnel du cours 1) Concepts propres aux algorithmes distribués 2) Le temps logique 3) Algorithmes d

Plus en détail

Les Algorithmes par Vagues. Algorithmique Distribuée

Les Algorithmes par Vagues. Algorithmique Distribuée Les Algorithmes par Vagues 1 Les Algorithmes par Vagues Introduction Définitions Particularités Vague pour topologie en anneau Vague pour topologie en arbre Vague pour topologie quelconque 2 Introduction

Plus en détail

Cloud computing Votre informatique à la demande

Cloud computing Votre informatique à la demande Cloud computing Votre informatique à la demande Thomas RULMONT Définition du Cloud Computing L'informatique dans le nuage (en anglais, cloud computing) est un concept ( ) faisant référence à l'utilisation

Plus en détail

Chapitre I : Protocoles client serveur et architectures distribuées

Chapitre I : Protocoles client serveur et architectures distribuées Licence Pro Réseaux Télécom Systèmes Internet et Intranet pour l entreprise Chapitre I : Protocoles client serveur et architectures distribuées Département IEM / UB Eric.Leclercq@u-bourgogne.fr Bureau

Plus en détail

PLATEFORME DE SUPERVISION

PLATEFORME DE SUPERVISION PLATEFORME DE SUPERVISION ACCOR SOLUTIONS - Page 1/10 - PRESENTATION GENERALE SMART VE est une plateforme de supervision développée par Accor, spécifiquement dédiée aux infrastructures de recharge pour

Plus en détail

RPC Remote Procedure Call. Benmoussa Yahia Université M hamed Bougara de Boumerdès yahia.benm@gmail.com

RPC Remote Procedure Call. Benmoussa Yahia Université M hamed Bougara de Boumerdès yahia.benm@gmail.com RPC Remote Procedure Call Benmoussa Yahia Université M hamed Bougara de Boumerdès yahia.benm@gmail.com Objectifs Le rôle de RPC comme middleware Positionner RPC dans le modèle OSI Développement d application

Plus en détail

Bases de données réparties

Bases de données réparties Bases de données réparties J. Akoka - I. Wattiau 1 Contexte Technologique : des solutions de communication efficace entre les machines des SGBD assurent la transparence des données réparties standardisation

Plus en détail

Modèle Client-Serveur Partage du serveur entre clients

Modèle Client-Serveur Partage du serveur entre clients Modèle Client-Serveur Partage du serveur entre clients Un serveur peut servir plusieurs clients Vu d un client particulier client requête réponse serveur Vu du serveur Gestion des requêtes (priorité) Exécution

Plus en détail

Techniques et outils de test pour les logiciels réactifs synchrones

Techniques et outils de test pour les logiciels réactifs synchrones Journées Systèmes et Logiciels Critiques Institut IMAG ; 14-16 nombre 2000 Techniques et outils de test pour les logiciels réactifs synchrones Farid Ouabdesselam 1 Méthodes de test : classification générale

Plus en détail

Groupe de discussion. Contexte

Groupe de discussion. Contexte Groupe de discussion Systèmes distribués Contexte Explosion d'internet a redéfini les systèmes distribués Client-server Web Pair à pair Internet 2 octobre 2003 Systèmes distribués 2 Modèle Pair à Pair

Plus en détail

Introduction aux automates

Introduction aux automates Introduction aux automates Principes et exemples Pascal André IRIN Université de Nantes 2 rue de la Houssinière ; B.P. 92208 44322 Nantes Cedex 03 Pascal.Andre@irin.univ-nantes.fr Introduction aux automates

Plus en détail

Plan 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. 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étail

Tolérance aux pannes dans les systèmes distribués. Alain BUI

Tolérance aux pannes dans les systèmes distribués. Alain BUI Tolérance aux pannes dans les systèmes distribués Alain BUI Professeur Département de Mathématiques et Informatique alain.bui@univ-reims.fr Alain BUI -- Université de Reims 1 Introduction Nombre croissant

Plus en détail

NFP 121. Java et les Threads. Présentation : Thierry Escalarasse Mai 2007

NFP 121. Java et les Threads. Présentation : Thierry Escalarasse Mai 2007 NFP 121 Java et les Threads Présentation : Thierry Escalarasse Mai 2007 Plan du cour Présentation de la notion de Threads La classe Thread L interface Runnable Les états d un thread La Synchronisation

Plus en détail

ACADiE : Assistance à la Certification d Applications Distribuées et Embarquées

ACADiE : Assistance à la Certification d Applications Distribuées et Embarquées ACADiE : Assistance à la Certification d Applications Distribuées et Embarquées Permanents (11) Doctorants (10) Permanents Doctorants Jean-Paul Bodeveix Julien Brunel Xavier Crégut Benoît Combemale Mamoun

Plus en détail

Algorithmique Distribuée Introduction et Contexte

Algorithmique Distribuée Introduction et Contexte Algorithmique Distribuée Introduction et Contexte Laurent PHILIPPE Master 2 Informatique UFR des Sciences et Techniques 2013/2014 Laurent PHILIPPE Chapitre 1: Introduction et Contexte 1 / 67 Introduction

Plus en détail

objectif : plan : Java, CORBA et RMI A. Le Grand,1997 1 JAVA, CORBA et RMI

objectif : plan : Java, CORBA et RMI A. Le Grand,1997 1 JAVA, CORBA et RMI JAVA, CORBA et RMI objectif : développer des applications client/serveur incluant des objets répartis Java / CORBA : client/serveur hétérogènes Java / RMI : client/serveur homogènes plan : l architecture

Plus en détail

Atelier sauvegarde de données

Atelier sauvegarde de données Atelier sauvegarde de données Formation COCSSI 25 mars 2014 Introduction Pierre Vincens Des incidents... Des incidents multiples Dégâts dans l'environnement Vol ou perte de matériel Panne de matériel Erreurs

Plus en détail

Algorithmique distribuée d exclusion mutuelle : vers une gestion efficace des ressources

Algorithmique distribuée d exclusion mutuelle : vers une gestion efficace des ressources Algorithmique distribuée d exclusion mutuelle : vers une gestion efficace des ressources Jonathan Lejeune LIP6-UPMC/CNRS, Inria 19 septembre 2014 Directeur : Pierre Sens Encadrants : Luciana Arantes et

Plus en détail

Julien MATHEVET Alexandre BOISSY GSID 4. Rapport RE09. Load Balancing et migration

Julien 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étail

Bases de données Cours 2 : Architecture pour les bases de données

Bases de données Cours 2 : Architecture pour les bases de données Cours 2 : Architecture pour les bases de données ESIL Université de la méditerranée Odile.Papini@esil.univ-mrs.fr http://odile.papini.perso.esil.univmed.fr Plan du cours Architecture SPARC-ANSI 1 Architecture

Plus en détail

Chapitre I : Protocoles client serveur et architectures distribuées

Chapitre I : Protocoles client serveur et architectures distribuées Chapitre I : Protocoles client serveur et architectures distribuées Eric Leclercq & Marinette Savonnet Département IEM / UB Eric.Leclercq@u-bourgogne.fr Bureau G212 Aile des Sciences de l Ingénieur Mise-à-jour

Plus en détail

Introduction à la programmation concurrente

Introduction à la programmation concurrente Introduction à la programmation concurrente Exclusion mutuelle par attente active Yann Thoma Reconfigurable and Embedded Digital Systems Institute Haute Ecole d Ingénierie et de Gestion du Canton de Vaud

Plus en détail

Base de données. Objectifs du cours 2014-05-20 COURS 01 INTRODUCTION AUX BASES DE DONNÉES

Base de données. Objectifs du cours 2014-05-20 COURS 01 INTRODUCTION AUX BASES DE DONNÉES 1 Base de données COURS 01 INTRODUCTION AUX BASES DE DONNÉES Objectifs du cours 2 Introduction aux bases de données relationnelles (BDR). Trois volets seront couverts : la modélisation; le langage d exploitation;

Plus en détail

PROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN

PROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN PROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN 1. DÉVELOPPEMENT D'APPLICATION (CONCEPTEUR ANALYSTE) 1.1 ARCHITECTURE MATÉRIELLE DU SYSTÈME INFORMATIQUE 1.1.1 Architecture d'un ordinateur Processeur,

Plus en détail

Cours client-serveur Web : Java et RMI (Remote Method Invocation)

Cours client-serveur Web : Java et RMI (Remote Method Invocation) Cours client-serveur Web : Java et RMI (Remote Method Invocation) 1 Java: Rappel sur les threads Cycle de vie d un thread (1) Né -> prêt appel de la méthode start du thread Prêt Exécution Distribution

Plus en détail

Méthodes de test. Mihaela Sighireanu

Méthodes de test. Mihaela Sighireanu UFR d Informatique Paris 7, LIAFA, 175 rue Chevaleret, Bureau 6A7 http://www.liafa.jussieu.fr/ sighirea/cours/methtest/ Partie I 1 Propriétés 2 Un peu de génie logiciel de test 3 Eléments Problèmes Point

Plus en détail

Groupe Eyrolles, 2004 ISBN : 2-212-11504-0

Groupe Eyrolles, 2004 ISBN : 2-212-11504-0 Groupe Eyrolles, 2004 ISBN : 2-212-11504-0 Table des matières Avant-propos................................................ 1 Quel est l objectif de cet ouvrage?............................. 4 La structure

Plus en détail

Merise. Introduction

Merise. Introduction Merise Introduction MERISE:= Méthode d Etude et de Réalisation Informatique pour les Systèmes d Entreprise Méthode d Analyse et de Conception : Analyse: Etude du problème Etudier le système existant Comprendre

Plus en détail

Modèle spagetthi et solution EAI

Modèle spagetthi et solution EAI EAI Définition L'EAI est une notion ancienne mais toujours d'actualité. En effet, le besoin de faire communiquer des applications développées à des moments différents, dans des technologies différentes

Plus en détail

Journée IJD. Moussa Tari Bako Bachir. 25 juin 2012 ARLES/INRIA. Introduction Travail Chez ARLES

Journée IJD. Moussa Tari Bako Bachir. 25 juin 2012 ARLES/INRIA. Introduction Travail Chez ARLES Journée IJD Moussa Tari Bako Bachir ARLES/INRIA 25 juin 2012 1/27 Moussa Tari Bako Bachir Plan Introduction Principes générales du système d intégration mis en place Les sources intégrées Tests de monté

Plus en détail

Le Network File System de Sun (NFS)

Le Network File System de Sun (NFS) 1 sur 5 Le Network File System de Sun (NFS) Le Network File System de Sun (NFS) Architecture Protocoles Mounting Automounting vs Static mounting Directory et accès aux fichiers Problèmes Implémentation

Plus en détail

DUT Informatique - Module M-4102C Modélisation et construction des applications

DUT Informatique - Module M-4102C Modélisation et construction des applications DUT Informatique - Module M-4102C Modélisation et construction des applications réparties Applications réparties (distributed systems) J. Christian Attiogbé Fevrier 2015 J. Christian Attiogbé (Fevrier

Plus en détail

TD sur les horloges logiques.

TD sur les horloges logiques. TD sur les horloges logiques. Exercice : Datation des évènements L objectif est de comparer deux évènements e et e qui se passent dans deux sites différents. Nous supposerons que l évènement e (resp. e

Plus en détail

Business & High Technology

Business & High Technology UNIVERSITE DE TUNIS INSTITUT SUPERIEUR DE GESTION DE TUNIS Département : Informatique Business & High Technology Chapitre 09 : CC : Cloud Computing Sommaire Introduction... 2 Définition... 2 Les différentes

Plus en détail

Communications performantes par passage de message entre machines virtuelles co-hébergées

Communications performantes par passage de message entre machines virtuelles co-hébergées Communications performantes par passage de message entre machines virtuelles co-hébergées François Diakhaté1,2 1 CEA/DAM Île de France 2 INRIA Bordeaux Sud Ouest, équipe RUNTIME Renpar 2009 1 Plan Introduction

Plus en détail

Administration, Sécurité : Quelques mots...

Administration, Sécurité : Quelques mots... Chapitre 9 1 Administration, Sécurité : Quelques mots... La sécurité dans les Réseaux 2 Risques et Menaces : vulnérabilité : degré d exposition à des dangers sensibilité : caractère stratégique d un élément

Plus en détail

Besoin de concevoir des systèmes massivement répartis. Comment tester le système? Solution. Évaluation de systèmes répartis à large échelle

Besoin de concevoir des systèmes massivement répartis. Comment tester le système? Solution. Évaluation de systèmes répartis à large échelle Besoin de concevoir des systèmes massivement répartis. Évaluation de systèmes répartis à large échelle Sergey Legtchenko Motivation : LIP6-INRIA Tolérance aux pannes Stockage de données critiques Coût

Plus en détail

Développer des solutions technologiques basées sur de l électronique

Développer des solutions technologiques basées sur de l électronique Altronic Tunisie ALTRONIC s attache à faciliter la diffusion et le transfert des technologies et des connaissances en électronique vers les laboratoires de recherche publics, industriels, les start-up

Plus en détail

HAUTE DISPONIBILITE & CONTINUITÉ DE SERVICE MULTI PLATES FORMES. Simple & Performant. www.quick software line.com

HAUTE DISPONIBILITE & CONTINUITÉ DE SERVICE MULTI PLATES FORMES. Simple & Performant. www.quick software line.com HAUTE DISPONIBILITE & CONTINUITÉ DE SERVICE MULTI PLATES FORMES Haute disponibilité pour Serveurs Ouverts (Windows, UNIX, AIX, Linux, VMware (Windows, UNIX, AIX, Linux, VMware ) Généralités Quelques définitions

Plus en détail

Introduction aux Systèmes Distribués. Introduction générale

Introduction aux Systèmes Distribués. Introduction générale Introduction aux Systèmes Distribués Licence Informatique 3 ème année Introduction générale Eric Cariou Université de Pau et des Pays de l'adour Département Informatique Eric.Cariou@univ-pau.fr 1 Plan

Plus en détail

Chapitre 1 Windows Server 2008 11

Chapitre 1 Windows Server 2008 11 Chapitre 1 Windows Server 2008 11 1.1. Les fondations du système... 15 1.2. La virtualisation... 16 1.3. La sécurité... 18 1.4. Le Web... 20 1.5. Fonctionnalité disponible dans Windows Server 2008... 21

Plus en détail

Cours de Génie Logiciel

Cours de Génie Logiciel Cours de Génie Logiciel Sciences-U Lyon Diagrammes UML (2) http://www.rzo.free.fr Pierre PARREND 1 Avril 2005 Sommaire Les Diagrammes UML Diagrammes de Collaboration Diagrammes d'etats-transitions Diagrammes

Plus en détail

Métrologie réseaux GABI LYDIA GORGO GAEL

Métrologie réseaux GABI LYDIA GORGO GAEL Métrologie réseaux GABI LYDIA GORGO GAEL Métrologie Définition : La métrologie est la science de la mesure au sens le plus large. La mesure est l'opération qui consiste à donner une valeur à une observation.

Plus en détail

Programmation parallèle et distribuée

Programmation parallèle et distribuée Programmation parallèle et distribuée (GIF-4104/7104) 5a - (hiver 2015) Marc Parizeau, Département de génie électrique et de génie informatique Plan Données massives («big data») Architecture Hadoop distribution

Plus en détail

Algorithmique dans les systèmes distribués - Elec9on de leader -

Algorithmique dans les systèmes distribués - Elec9on de leader - Algorithmique dans les systèmes distribués - Elec9on de leader - Eddy Caron 03 M. ENS- Lyon Quelques algorithmes distribués Quelques méthodes générales d approche Principe général: introduire des contraintes

Plus en détail

Moniteurs, Java, Threads et Processus

Moniteurs, Java, Threads et Processus Moniteurs, Java, Threads et Processus 1 Une vue orientée-objet de la mémoire partagée On peut voir un sémaphore comme un objet partagé accessible par deux méthodes : wait et signal. L idée du concept de

Plus en détail

Claude Kaiser Machine virtuelle et environnement utilisateur SRI_B CHAPITRE 1

Claude Kaiser Machine virtuelle et environnement utilisateur SRI_B CHAPITRE 1 CHAPITRE 1 FOURNIR À L'UTILISATEUR UNE MACHINE VIRTUELLE ET UN ENVIRONNEMENT D'EXÉCUTION DE PROGRAMMES Plan ENVIRONNEMENT DE TRAVAIL ADAPTÉ AU BESOIN DE L'UTILISATEUR Fonctions de l'environnement d'exécution

Plus en détail

Services et protocoles pour l'exécution fiable d'applications distribuées dans les grilles de calcul

Services et protocoles pour l'exécution fiable d'applications distribuées dans les grilles de calcul Services et protocoles pour l'exécution fiable d'applications distribuées dans les grilles de calcul Thomas Ropars Équipe-projet PARIS 1 Les applications de calcul scientifique Objectifs : Simuler des

Plus en détail

Open Source Job Scheduler. Vue d ensemble

Open Source Job Scheduler. Vue d ensemble Open Source Job Scheduler Vue d ensemble Vue d ensemble Présentation Architectures Composants Objets 2 Magic Quadrant Magic Quadrant for Workload Automation Gartner 3 Fonctionnalités v Ordonnanceur d exploitation

Plus en détail

Cours de Systèmes d Exploitation

Cours de Systèmes d Exploitation Licence d informatique Synchronisation et Communication inter-processus Hafid Bourzoufi Université de Valenciennes - ISTV Introduction Les processus concurrents s exécutant dans le système d exploitation

Plus en détail

SOA et Services Web. 23 octobre 2011. SOA: Concepts de base

SOA et Services Web. 23 octobre 2011. SOA: Concepts de base SOA et Services Web 23 octobre 2011 1 SOA: Concepts de base 2 Du client serveur à la SOA N est Nest pas une démarche entièrement nouvelle: années 1990 avec les solutions C/S Besoins d ouverture et d interopérabilité

Plus en détail

Chapitre 2 : Abstraction et Virtualisation

Chapitre 2 : Abstraction et Virtualisation Virtualisation et Cloud Computing Chapitre 2 : Abstraction et Virtualisation Objectifs Présenter la notion de niveaux d abstraction séparés par des interfaces bien définies Description des avantages et

Plus en détail

Clermont Ferrand - Janvier 2003

Clermont Ferrand - Janvier 2003 DISDAMIN: Algorithmes de Data Mining Distribués Valerie FIOLET (1,2) - Bernard TOURSEL (1) 1 Equipe PALOMA - LIFL - USTL - LILLE (FRANCE) 2 Service Informatique - UMH - MONS (BELGIUM) Clermont Ferrand

Plus en détail

Evaluation de performance en Sûreté de Fonctionnement

Evaluation de performance en Sûreté de Fonctionnement Groupe SdF Midi-Pyrénées Toulouse 5 juin 2015 Evaluation de performance en Sûreté de Fonctionnement - Andre.cabarbaye Plan Introduction Types de performances Finalité des analyses Attentes du donneur d

Plus en détail

Pair-à-Pair: Architectures et Services

Pair-à-Pair: Architectures et Services Pair-à-Pair: Architectures et Services Fabrice Le Fessant Fabrice.Le_Fessant@inria.fr Équipe ASAP (Réseaux très large échelle) INRIA Saclay Île de France Octobre 2008 Fabrice Le Fessant () Architectures

Plus en détail

Deuxième partie. Protocoles d exclusion mutuelle. Plan. Interférences et isolation. Isolation Protocoles d exclusion mutuelle

Deuxième partie. Protocoles d exclusion mutuelle. Plan. Interférences et isolation. Isolation Protocoles d exclusion mutuelle Plan Deuxième partie 1 2 Primitives de gestion des activités 2 / 26 4 / 26 Interférences et isolation Contenu de cette partie di cultés résultant d accès concurrents à un objet partagé mise en œuvre de

Plus en détail

Introduction à LDAP et à Active Directory... 15. Étude de cas... 37

Introduction à LDAP et à Active Directory... 15. Étude de cas... 37 Introduction à LDAP et à Active Directory... 15 Généralité sur l annuaire et LDAP... 16 Qu est-ce qu un annuaire?... 16 Un peu d histoire sur le protocole... 16 LDAP version 2 et version 3... 17 Le standard

Plus en détail

Chapitre 3. Exclusion mutuelle répartie

Chapitre 3. Exclusion mutuelle répartie Chapitre 3 Exclusion mutuelle répartie Chap 3 Exclusion mutuelle répartie Pas de mémoire commune => échanges de messages Protocole exempt d interbolcage et équitable => un processus désireux de pénétrer

Plus en détail

Architectures Parallèles

Architectures Parallèles Architectures Parallèles Cours pour Ingénieur Préparé par Dr. Olfa Hamdi-Larbi ola_ola79@yahoo.fr Reçoit les signaux du contrôleur, cherche les données et les traite Instructions, Données à traiter et

Plus en détail

Corrigé de l examen de systèmes opératoires Module Synchronisation des processus

Corrigé de l examen de systèmes opératoires Module Synchronisation des processus Corrigé de l examen de systèmes opératoires Module Synchronisation des processus 2ième Année Informatique et Mathématiques Appliquées 17 Novembre 1999 1 Les sémaphores 1. Donner la définition d un sémaphore

Plus en détail

Normes et Principes des Réseaux

Normes et Principes des Réseaux Normes et Principes des Réseaux DI / Polytech Tours J.Y. RAMEL 2005-2006 Bibliographie 2 LIVRES : Les réseaux. Guy Pujolle. Eyrolles. 1997. Réseaux Locaux: Normes & Protocoles. Pierre Rolin. Hermès. 1993.

Plus en détail

GEI 465 : Systèmes répartis

GEI 465 : Systèmes répartis Université de Sherbrooke GEI 465 : Systèmes répartis Travaux à effectuer Ahmed Khoumsi Automne 2004 Page 1 Les deux premiers travaux que vous effectuerez vous donneront, respectivement, l occasion d utiliser

Plus en détail

Projet : Plan Assurance Qualité

Projet : Plan Assurance Qualité Projet : Document : Plan Assurance Qualité 2UP_SPEC_DEV1 VERSION 1.00 Objet Ce document a pour objectif de définir la démarche d analyse et de conception objet ainsi les activités liées. Auteur Eric PAPET

Plus en détail

Shaman-X projet de de logiciel libre Plan de de secours informatique

Shaman-X projet de de logiciel libre Plan de de secours informatique Shaman-X projet de de logiciel libre Plan de de secours informatique Nouvelles fonctionnalités à moindre coût pour la haute disponibilité, la tolérance au désastre et la gestion de crise Auteur: Dominique

Plus en détail

TD 2 Chapitre 4 : Support des Services et Serveurs. Objectifs : Maîtriser l'exploitation des tables de routage dynamique.

TD 2 Chapitre 4 : Support des Services et Serveurs. Objectifs : Maîtriser l'exploitation des tables de routage dynamique. SI 5 BTS Services Informatiques aux Organisations 1 ère année TD 2 Chapitre 4 : Support des Services et Serveurs Le routage dynamique Objectifs : Maîtriser l'exploitation des tables de routage dynamique.

Plus en détail

UE 8 Systèmes d information de gestion Le programme

UE 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étail

Eric Bertrand ebertrand@ixis-cib.com. 08/11/06 Maître de conférence 1

Eric 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étail

Architecture des systèmes d information

Architecture des systèmes d information Architecture des systèmes d information Table des matières 1 La décennie 70 1 2 Le modèle relationnel (les années 80) 1 3 Enrichissement du relationnel (les années 80/90) 2 4 Système d informations (les

Plus en détail