Gestion de copies multiples en environnement mobile

Save this PDF as:
 WORD  PNG  TXT  JPG

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

Download "Gestion de copies multiples en environnement mobile"

Transcription

1 Gestion de copies multiples en environnement mobile Lydialle Chateigner, Sophie Chabridon et Guy Bernard CNRS UMR Samovar septembre 2004

2 Plan Gestion de copies multiples en environnement mobile 1. Contexte : Mobilité et travail collaboratif SOCT4 : Algorithme de référence Positionnement : Travail collaboratif étendu à la mobilité Adaptation de SOCT4 à la mobilité Gestion de la mobilité Conclusion et perspectives Lydialle Chateigner, Sophie Chabridon et Guy Bernard 13 septembre 2004 CNRS UMR Samovar

3 Gestion de copies multiples en environnement mobile 1 Contexte : Mobilité et travail collaboratif [Vidot et al., 2000, Dedieu, 2002, Jébali and Makpangou, 2001, Conan et al., 2002] Lydialle Chateigner, Sophie Chabridon et Guy Bernard 13 septembre 2004 CNRS UMR Samovar

4 2 SOCT4 : Algorithme de référence Gestion de copies multiples en environnement mobile 2.1. Algorithme de réconciliation Trois conditions pour la cohérence Noyau de SOCT Lydialle Chateigner, Sophie Chabridon et Guy Bernard 13 septembre 2004 CNRS UMR Samovar

5 2 SOCT4 : Algorithme de référence 2.1 Algorithme de réconciliation SOCT4 : Sérialisation des opérations concurrentes par transposition [Suleiman et al., 1997, Suleiman et al., 1998, Vidot, 2002] Exploitation des propriétés sémantiques des opérations Utilisation du mécanisme de réplication optimiste Conçu pour le travail collaboratif à contraintes de temps Lydialle Chateigner, Sophie Chabridon et Guy Bernard 13 septembre 2004 CNRS UMR Samovar

6 Préservation de la causalité : 2.2 Trois conditions pour la cohérence Ordre d exécution identique sur tous les sites 2 SOCT4 : Algorithme de référence Lydialle Chateigner, Sophie Chabridon et Guy Bernard 13 septembre 2004 CNRS UMR Samovar

7 2 SOCT4 : Algorithme de référence Préservation de l intention de l utilisateur : Gestion des opérations concurrentes (-> fonction de transposition avant) Convergence des copies : La fonction de transposition avant doit vérifier : C1 : Lydialle Chateigner, Sophie Chabridon et Guy Bernard 13 septembre 2004 CNRS UMR Samovar

8 2.3 Noyau de SOCT4 2 SOCT4 : Algorithme de référence Lydialle Chateigner, Sophie Chabridon et Guy Bernard 13 septembre 2004 CNRS UMR Samovar

9 Gestion de copies multiples en environnement mobile 3 Positionnement : Travail collaboratif étendu à la mobilité [Bouazza and Molli, 2000] Lydialle Chateigner, Sophie Chabridon et Guy Bernard 13 septembre 2004 CNRS UMR Samovar

10 4 Adaptation de SOCT4 à la mobilité Gestion de copies multiples en environnement mobile Amélioration pour la gestion de la mobilité Les procédures Update et Commit [Jourdain, 2002] Adaptation de la procédure Update à la mobilité Site mandataire fixe [Vidot, 2002] Proposition d un nouvel algorithme de synchronisation Séquenceur centralisé Utilisation d un séquenceur réparti tolérant aux fautes [Baldoni et al., 2002] Lydialle Chateigner, Sophie Chabridon et Guy Bernard 13 septembre 2004 CNRS UMR Samovar

11 5 Gestion de la mobilité Gestion de copies multiples en environnement mobile Déconnexion volontaire Diffuser les opérations estampillées au préalable Déconnexion involontaire Travailler localement sur l état courant Reconnexion Lancer la procédure de récupération Lydialle Chateigner, Sophie Chabridon et Guy Bernard 13 septembre 2004 CNRS UMR Samovar

12 5.1 Procédure de reconnexion 5 Gestion de la mobilité Lydialle Chateigner, Sophie Chabridon et Guy Bernard 13 septembre 2004 CNRS UMR Samovar

13 5.2 Procédure de récupération 5 Gestion de la mobilité Lydialle Chateigner, Sophie Chabridon et Guy Bernard 13 septembre 2004 CNRS UMR Samovar

14 5.3 Procédure de récupération 5 Gestion de la mobilité Lydialle Chateigner, Sophie Chabridon et Guy Bernard 13 septembre 2004 CNRS UMR Samovar

15 5 Gestion de la mobilité 5.4 Procédure de récupération Un site A, se reconnecte et souhaite récupérer les messages non reçus pendant son absence. 1. A diffuse à son groupe la dernière opération intégrée Ld, 2. Chaque membre M du groupe connecté reçoit la requête : si LdLocal < Ld alors lancer procédure de récupération si LdLocal > Ld alors M1 renvoie LdLocal si Ldlocal = Ld alors M1 ne fait rien 3. A stocke les réponses dans une table. 4. A, en fonction de la table, élit les sites primordiaux pour obtenir les opérations manquantes. Lydialle Chateigner, Sophie Chabridon et Guy Bernard 13 septembre 2004 CNRS UMR Samovar

16 5.5 Procédure de récupération (1) 5 Gestion de la mobilité 1ère étape : B, C, et D reçoivent RequestHistory puis exécutent receiverequesthistory Lydialle Chateigner, Sophie Chabridon et Guy Bernard 13 septembre 2004 CNRS UMR Samovar

17 5.6 Procédure de récupération (2) 5 Gestion de la mobilité 2ème étape : A reçoit AnswerHistory puis exécute receiveanswerhistory Lydialle Chateigner, Sophie Chabridon et Guy Bernard 13 septembre 2004 CNRS UMR Samovar

18 5.7 Procédure de récupération (3) 5 Gestion de la mobilité 3ème étape : D reçoit RequestDiff et exécute receiverequestdiff Lydialle Chateigner, Sophie Chabridon et Guy Bernard 13 septembre 2004 CNRS UMR Samovar

19 5.8 Bilan de la solution 5 Gestion de la mobilité Résoud le problème de la mobilité des sites Robutesse de la solution par rapport aux déconnexions Répartit la charge Mise-à-jour du site est déclenchée dès la première réponse Solution asynchrone mais temps borné par le timer Lydialle Chateigner, Sophie Chabridon et Guy Bernard 13 septembre 2004 CNRS UMR Samovar

20 6 Conclusion et perspectives Gestion de copies multiples en environnement mobile Contributions à SOCT4 : Proposition de gestion de la mobilité Réécriture de la procédure coupler() Proposition d un algorithme de récupération Utilisation d un séquenceur réparti tolérant aux fautes Perspectives : Gérer le mode partiellement connecté Optimiser la gestion de la déconnexion volontaire Optimiser des requètes au séquenceur réparti Lydialle Chateigner, Sophie Chabridon et Guy Bernard 13 septembre 2004 CNRS UMR Samovar

21 Gestion de copies multiples en environnement mobile References [Baldoni et al., 2002] Baldoni, R., Marchetti, C., and Tucci Pergiovanni, S. (2002). A Fault-Tolerant Sequencer for Timed Asynchronous Systems. In In Euro-Par 2002, LNCS 2400, Berlin Heidelberg, Germany. [Bouazza and Molli, 2000] Bouazza, A. and Molli, P. (Philadelphia, Pennsylvania, USA, Décembre 2000). Unifying coupled and uncoupled collaborative work in virtual teams. In In ACM CSCW workshop on collaborative editing systems. [Conan et al., 2002] Conan, D., Chabridon, S., and Bernard, G. (2002). Disconnected Operations in Mobile Environments. In Proc. 2nd IPDPS Workshop on Parallel and Distributed Computing Issues in Wireless Networks and Mobile Computing, Ft. Lauderdale, Florida (USA). [Dedieu, 2002] Dedieu, M. (Septembre 2002). Réplication optimiste pour les applications collaboratives asynchrones. Thèse de doctorat, Université de Marne la Vallée, France. [Jébali and Makpangou, 2001] Jébali, A. and Makpangou, M. (Juin 2001). Replica Divergence Control Protocol in Weakly Connected Environment. [Jourdain, 2002] Jourdain, S. (Juillet 2002). SAMS : Environnement coopératif Synchrone, Asynchrone, Multi-Synchrone pour les équipes virtuelles. Rapport de DEA, Université UHP Nancy-1, France. [Suleiman et al., 1997] Suleiman, M., Cart, M., and Ferrié, J. (Novembre 1997). Serialization of Concurrent Operations in a Distributed Collaborative Environment. In. Proc. ACM Int. Conf. on Supporting Group Work. [Suleiman et al., 1998] Suleiman, M., Cart, M., and Ferrié, J. (Orlando, Février 1998). Concurrent Operations in a Distributed and Mobile Collaborative Environment. Proc. 14 th IEEE Int. Conf. on Data Engineering. [Vidot, 2002] Vidot, N. (Septembre 2002). Convergence des Copies dans les Environnements Collaboratifs Répartis. Thèse de doctorat, Université Montpellier-2, Montpellier, France. [Vidot et al., 2000] Vidot, N., Cart, M., Ferrié, J., and Suleiman, M. (Dec. 2000). Copies convergence in a distributed real-time collaborative environment. In Proc. ACM CSCW. Lydialle Chateigner, Sophie Chabridon et Guy Bernard 13 septembre 2004 CNRS UMR Samovar

22 6.1 Service de séquenceur réparti tolérant aux fautes [Baldoni et al., 2002] References Opérations non estampillées pendant la déconnexion Estampillage à la reconnexion Optimisation : demander un bloc d estampilles Avantages : Respecte l intention de l utilisateur Allège le réseau Lydialle Chateigner, Sophie Chabridon et Guy Bernard 13 septembre 2004 CNRS UMR Samovar

Service de réconciliation pour la synchronisation de copies

Service de réconciliation pour la synchronisation de copies Service de réconciliation pour la synchronisation de copies L. Chateigner, S. Chabridon, N. Sabri et G. Bernard CNRS UMR SAMOVAR 01-03 juin 2004 Plan Service de réconciliation pour la synchronisation de

Plus en détail

Cohérence de Données en Environnement Mobile

Cohérence de Données en Environnement Mobile Cohérence de Données en Environnement Mobile Sophie Chabridon Master Recherche MOPS Module RM Télécom SudParis, CNRS UMR SAMOVAR 10 Octobre 2014 Table des matières Cohérence de Données en Environnement

Plus en détail

Gestion de déconnexion pour applications réparties à base de composants dans un environnement mobile

Gestion de déconnexion pour applications réparties à base de composants dans un environnement mobile Gestion de déconnexion pour applications réparties à base de composants dans un environnement mobile Nabil Kouici, Lydialle Chateigner, Denis Conan, Sophie Chabridon et Guy Bernard GET/INT, CNRS UMR SAMOVAR,

Plus en détail

CSCW : une Bibliographie

CSCW : une Bibliographie CSCW : une Bibliographie 1 Si Vous êtes pressés 2 Objectif bibliographie de CSCW + documentation de notre démarche : support de la création d applications CSCW par le Model Driven Engineering La mobilité

Plus en détail

T h è s e. Convergence des Copies dans les Environnements Collaboratifs Répartis

T h è s e. Convergence des Copies dans les Environnements Collaboratifs Répartis Numéro d identification : Académie de Montpellier U n i v e r s i t é M o n t p e l l i e r I I Sciences et Techniques du Languedoc T h è s e présentée à l Université des Sciences et Techniques du Languedoc

Plus en détail

Réplication des données

Réplication des données Réplication des données Christelle Pierkot FMIN 306 : Gestion de données distribuées Année 2009-2010 Echange d information distribuée Grâce à un serveur central Une seule copie cohérente Accès à distance

Plus en détail

Multi-processeurs, multi-cœurs et cohérence mémoire et cache

Multi-processeurs, multi-cœurs et cohérence mémoire et cache Multi-processeurs, multi-cœurs et cohérence mémoire et cache Intervenant : Thomas Robert Institut Mines-Télécom Rappel système d exploitation & Parallélisme L unité d exécution pour un système d exploitation

Plus en détail

Cohérence des données dans les environnements d édition collaborative

Cohérence des données dans les environnements d édition collaborative 1 / 66 Cohérence des données dans les environnements d édition collaborative Pascal Molli Nancy-Université Habilitation à diriger des recherches 26 avril 2007 2 / 66 Introduction Édition Collaborative

Plus en détail

Interaction Homme/Machine Part. III

Interaction Homme/Machine Part. III Interaction Homme/Machine Part. III Notion d Interaction 3D multi-utilisateurs en RV et RA Samir OTMANE (PR UEVE), Frédéric DAVESNE (IGR UEVE) samir.otmane@ibisc.univ-evry.fr, frederic.davesne@ibisc.univ-evry.fr

Plus en détail

NFP111 Systèmes et Applications Réparties

NFP111 Systèmes et Applications Réparties NFP111 Systèmes et Applications Réparties 1 de 46 NFP111 Systèmes et Applications Réparties Cours 2 - Les appels de procédure distants (Partie 1) Claude Duvallet Université du Havre UFR Sciences et Techniques

Plus en détail

Propagation d événements entre passerelles OSGi

Propagation d événements entre passerelles OSGi Propagation d événements entre passerelles OSGi Didier Donsez*, Gaël Thomas (* puis +) * Université Joseph Fourier (Grenoble 1) IMA IMAG/LSR/ADELE (UMR CNRS 5526) + Université Pierre et Marie Curie (Paris

Plus en détail

Application de K-means à la définition du nombre de VM optimal dans un cloud

Application de K-means à la définition du nombre de VM optimal dans un cloud Application de K-means à la définition du nombre de VM optimal dans un cloud EGC 2012 : Atelier Fouille de données complexes : complexité liée aux données multiples et massives (31 janvier - 3 février

Plus en détail

Sauvegarde collaborative entre pairs Ludovic Courtès LAAS-CNRS

Sauvegarde collaborative entre pairs Ludovic Courtès LAAS-CNRS Sauvegarde collaborative entre pairs 1 Sauvegarde collaborative entre pairs Ludovic Courtès LAAS-CNRS Sauvegarde collaborative entre pairs 2 Introduction Pourquoi pair à pair? Utilisation de ressources

Plus en détail

Conception des systèmes répartis

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

Adaptation des applications réparties à base de composants aux terminaux mobiles en environnement sans fil

Adaptation des applications réparties à base de composants aux terminaux mobiles en environnement sans fil Adaptation des applications réparties à base de composants aux terminaux mobiles en environnement sans fil Nabil Kouici, Denis Conan et Guy Bernard GET / INT, CNRS Samovar 9 rue Charles Fourier, 91011

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

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

Un modèle générique de Garbage Collection pour les éditeurs collaboratifs basé sur l approche TO dans les environnements P2P et mobiles

Un modèle générique de Garbage Collection pour les éditeurs collaboratifs basé sur l approche TO dans les environnements P2P et mobiles Un modèle générique de Garbage Collection pour les éditeurs collaboratifs basé sur l approche TO dans les environnements P2P et mobiles Moulay Driss Mechaoui Université de Mostaganem Algérie moulaydrissnet@yahoo.fr

Plus en détail

Catalogue de Pattern pour le CSCW

Catalogue de Pattern pour le CSCW Catalogue de Pattern pour le CSCW La création d application dans le cadre du CSCW (Computer Supported Cooperative Work), ou TCAO en français (Travail collaboratif assisté par ordinateur) a donné lieu à

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

Cohérence de copies multiples en environnement sans fil

Cohérence de copies multiples en environnement sans fil Cohérence de copies multiples en environnement sans fil Sophie Chabridon CSC 5004 ASR8 Janvier 2009 Plan de la présentation 1 Introduction....................................................................

Plus en détail

ADAPTATION DES APPLICATIONS REPARTIES A BASE DE COMPOSANTS AUX TERMINAUX MOBILES EN ENVIRONNEMENT SANS FIL

ADAPTATION DES APPLICATIONS REPARTIES A BASE DE COMPOSANTS AUX TERMINAUX MOBILES EN ENVIRONNEMENT SANS FIL ADAPTATION DES APPLICATIONS REPARTIES A BASE DE COMPOSANTS AUX TERMINAUX MOBILES EN ENVIRONNEMENT SANS FIL Nabil Kouici, Denis Conan et Guy Bernard GET / INT, CNRS Samovar 9 rue Charles Fourier, 91011

Plus en détail

Conception d un modèle de coûts embarqué pour des requêtes mobiles. M. Hussein, F. Morvan, A. Hameurlain Université Paul Sabatier, IRIT Juin 2004

Conception d un modèle de coûts embarqué pour des requêtes mobiles. M. Hussein, F. Morvan, A. Hameurlain Université Paul Sabatier, IRIT Juin 2004 Conception d un modèle de coûts embarqué pour des requêtes mobiles M. Hussein, F. Morvan, A. Hameurlain Université Paul Sabatier, IRIT Juin 2004 Plan Contexte & motivations Position du problème Modèle

Plus en détail

Contrôle de la réplication dans les SGBD temps réel distribués

Contrôle de la réplication dans les SGBD temps réel distribués 41 Prépublication n 13 Fascicule n 2 Contrôle de la réplication dans les SGBD temps réel distribués Anis Haj Said, Laurent Amanton, Bruno Sadeg Laboratoire d Informatique, de Traitement de l Information

Plus en détail

Algorithmique répartie

Algorithmique répartie Université Joseph Fourier 23/04/2014 Outline 1 2 Types de communication message envoyé à un groupe de processus Broadcast (diffusion) message envoyé à tous les processus du systèmes Unicast message envoyé

Plus en détail

Synchronisation de données divergentes. Pascal Molli,Maître de Conférence Université Henri Poincaré, Nancy 1 Projet Inria ECOO

Synchronisation de données divergentes. Pascal Molli,Maître de Conférence Université Henri Poincaré, Nancy 1 Projet Inria ECOO Synchronisation de données divergentes Pascal Molli,Maître de Conférence Université Henri Poincaré, Nancy 1 Projet Inria ECOO Contexte Travail mobile Avant la déconnection -> réplication A la reconnection

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

Évaluation de l occupation mémoire des CRDTs pour l édition collaborative temps-réel mobile 1

Évaluation de l occupation mémoire des CRDTs pour l édition collaborative temps-réel mobile 1 Évaluation de l occupation mémoire des CRDTs pour l édition collaborative temps-réel mobile 1 Mehdi Ahmed-Nacer 1, 2, 3, Pascal Urso 1, 2, 3, Claudia-Lavinia Ignat 3, 1, 2, Gérald Oster 1 Université de

Plus en détail

Le clustering dans les réseaux ad-hoc

Le clustering dans les réseaux ad-hoc Le clustering dans les réseaux ad-hoc Auteur : Florent NOLOT Florent NOLOT 1 Présentation Le modèle et les motivations Le clustering à 1 saut et à k sauts Quelques résultats de simulation L'adaptation

Plus en détail

Concurrence. Concurrence d accès. Nicolas Travers nicolas.travers@cnam.fr

Concurrence. Concurrence d accès. Nicolas Travers nicolas.travers@cnam.fr Concurrence Concurrence d accès FIP1 - Bases de Données Nicolas Travers nicolas.travers@cnam.fr Équipe Vertigo Laboratoire CEDRIC Conservatoire National des Arts & Métiers, Paris, France 1 / 36 Plan Concurrence

Plus en détail

Auto-stabilisation (Self-stabilization) Colette Johnen L.R.I./C.N.R.S. Universite de Paris-Sud Bat. 490, Campus d'orsay F-91405 Orsay Cedex, France. tel : (+33) 1 69 41 66 29 fax : (+33) 1 69 41 65 86

Plus en détail

WEA Un Gérant d'objets Persistants pour des environnements distribués

WEA Un Gérant d'objets Persistants pour des environnements distribués Thèse de Doctorat de l'université P & M Curie WEA Un Gérant d'objets Persistants pour des environnements distribués Didier Donsez Université Pierre et Marie Curie Paris VI Laboratoire de Méthodologie et

Plus en détail

Répartition et Mobilité Présentation du module

Répartition et Mobilité Présentation du module Répartition et Mobilité Présentation du module Chantal Taconet /Denis Conan Master Recherche MOPS Module RM Télécom SudParis, CNRS UMR SAMOVAR Septembre 2014 Contents Répartition et Mobilité Présentation

Plus en détail

2 L application exemple

2 L application exemple Support pour l exécution, en mode déconnecté, d applications distribuées dans les environnements mobiles Denis Conan, Bruno Bretelle, Sophie Chabridon et Guy Bernard Institut National des Télécommunications

Plus en détail

Cours de Base de Données Cours n.12

Cours de Base de Données Cours n.12 Cours de Base de Données Cours n.12 Gestion des transactions : contrôle de concurrence Elisabetta De Maria - http://www.i3s.unice.fr/ edemaria/ UFR Sciences et Laboratoire I3S, CNRS 2013-2014 Université

Plus en détail

Université Paris Diderot Master 1 II. Théorie et pratique de la concurrence

Université Paris Diderot Master 1 II. Théorie et pratique de la concurrence Université Paris Diderot Master 1 II Théorie et pratique de la concurrence Partiel du 30 avril 2009 Durée : 1h30. Tous les documents sont autorisés. Le barème est indicatif. Question 1 : Soit le programme

Plus en détail

Une méthodologie de conception des systèmes distribués basée sur UML

Une méthodologie de conception des systèmes distribués basée sur UML Une méthodologie de conception des systèmes distribués basée sur UML Nouvelles Technologies de la Répartition (NOTERE 2005) 1 er septembre 2005 Ludovic Apvrille Pierre de Saqui-Sannes Axelle Apvrille Page

Plus en détail

Présentation. Logistique. Résumé de la 1e Partie. Mise en place du système

Présentation. Logistique. Résumé de la 1e Partie. Mise en place du système Présentation Diapo01 Je m appelle Michel Canneddu. Je développe avec 4D depuis 1987 et j exerce en tant qu indépendant depuis 1990. Avant de commencer, je tiens à remercier mes parrains Jean-Pierre MILLIET,

Plus en détail

Multi-processeurs, multi-cœurs, cohérence mémoire et cache

Multi-processeurs, multi-cœurs, cohérence mémoire et cache Multi-processeurs, multi-cœurs, cohérence mémoire et cache Intervenant : Thomas Robert Institut Mines-Télécom Parallélisme inter instructions n Exécution : une séquence d instructions appliquées à un 1

Plus en détail

Les Parcours Distribués de Réseaux: un outil pour la conception de protocoles

Les Parcours Distribués de Réseaux: un outil pour la conception de protocoles Les Parcours Distribués de Réseaux: un outil pour la conception de protocoles Jean-Michel HELARY Michel RAYNAL IRISA Campus de Beaulieu F-35042 Rennes cédex E.mail: raynal@irisa.fr Abstract Un certain

Plus en détail

ARTEco Applications à base de Réseaux de capteurs Tolérantes aux Fautes & Energétiquement économiques. Ioannis Parissis - Claudia Roncancio

ARTEco Applications à base de Réseaux de capteurs Tolérantes aux Fautes & Energétiquement économiques. Ioannis Parissis - Claudia Roncancio ARTEco Applications à base de Réseaux de capteurs Tolérantes aux Fautes & Energétiquement économiques Ioannis Parissis - Claudia Roncancio LCIS LIG 1 Contexte et motivation! Capteurs omniprésents, en pleine

Plus en détail

Contexte général. Gestion du temps dans les applications réparties. Plan. Introduction

Contexte général. Gestion du temps dans les applications réparties. Plan. Introduction Contexte général Gestion du temps dans les applications réparties Communication par messages, pas de mémoire partagée Pas d horloge globale Chaque site a sa propre horloge Les horloges peuvent dériver

Plus en détail

Introduction à l'algorithmique Distribuée. Accord & coordination : consensus & transaction

Introduction à l'algorithmique Distribuée. Accord & coordination : consensus & transaction Introduction à l'algorithmique Distribuée Accord & coordination : consensus & transaction Eric Cariou Université de Pau et des Pays de l'adour Département Informatique Eric.Cariou@univ-pau.fr 1 Accord

Plus en détail

RAPPORT DU PREMIER MINI PROJET «FORUM DE CHAT» Novembre 2005

RAPPORT DU PREMIER MINI PROJET «FORUM DE CHAT» Novembre 2005 Oussama ELKACHOINDI Wajdi MEHENNI RAPPORT DU PREMIER MINI PROJET «FORUM DE CHAT» Novembre 2005 Sommaire I. Préliminaire : Notice d exécution et mode opératoire...4 II. Architecture globale de l application...5

Plus en détail

Un modèle sûr et générique pour la synchronisation de données divergentes

Un modèle sûr et générique pour la synchronisation de données divergentes . Un modèle sûr et générique pour la synchronisation de données divergentes Gérald Oster, Pascal Molli, Hala Skaf-Molli et Abdessamad Imine LORIA-INRIA Lorraine Projets ECOO & CASSIS 1 Mobilité Cycles

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

10/04/2011. Serveur de données. Serveur de données. Client. Programme d'application Logiciel intermédiaire Pilote de télécommunication.

10/04/2011. Serveur de données. Serveur de données. Client. Programme d'application Logiciel intermédiaire Pilote de télécommunication. 1 BD locale BD locale Programme d'application Logiciel intermédiaire Client SGBD réparti Logiciel intermédiaire données SGBD réparti Logiciel intermédiaire données 2 Bénéfices potentiels Performance Fiabilité

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

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

Scalable XML Collaborative Editing with Undo

Scalable XML Collaborative Editing with Undo INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Scalable XML Collaborative Editing with Undo Stéphane Martin Pascal Urso Stéphane Weiss N 7362 August 2010 Thème COG apport de recherche

Plus en détail

Introduction aux systèmes répartis

Introduction aux systèmes répartis Introduction aux systèmes répartis Frank Singhoff Bureau C-203 Université de Brest, France LISyC/EA 3883 singhoff@univ-brest.fr UE systèmes répartis, Université de Brest Page 1/63 Sommaire 1. Principes

Plus en détail

Influence De La Taille Du Jeton Sur Les Performances De L algorithme D'exclusion Mutuelle De Ricart - Agrawala

Influence De La Taille Du Jeton Sur Les Performances De L algorithme D'exclusion Mutuelle De Ricart - Agrawala Influence De La Taille Du Jeton Sur Les Performances De L algorithme D'exclusion Mutuelle De Ricart - Agrawala Sarah Benkouider, Souhila Labgaa 2, Mohamed Yagoubi 3 Université Amar Telidji Département

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

Optimisation multi-critère pour l allocation de ressources sur Clouds distribués avec prise en compte de l énergie

Optimisation multi-critère pour l allocation de ressources sur Clouds distribués avec prise en compte de l énergie Optimisation multi-critère pour l allocation de ressources sur Clouds distribués avec prise en compte de l énergie 1 Présenté par: Yacine KESSACI Encadrement : N. MELAB E-G. TALBI 31/05/2011 Plan 2 Motivation

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

Introduction à l'algorithmique Distribuée. Exclusion mutuelle

Introduction à l'algorithmique Distribuée. Exclusion mutuelle Introduction à l'algorithmique Distribuée Exclusion mutuelle Eric Cariou Université de Pau et des Pays de l'adour Département Informatique Eric.Cariou@univ-pau.fr 1 Exclusion mutuelle distribuée Exclusion

Plus en détail

Veille Technologique : la VoIP

Veille Technologique : la VoIP Veille Technologique : la VoIP CESI LA Vatine Intervenant : FACORAT Fabrice Sommaire Présentation de la VoIP Histoire Terminologie et Protocoles Enjeux de la VoIP H323 SIP Usages actuels de la VoIP Les

Plus en détail

Introduction aux Systèmes Distribués. Gestion du temps & état global dans un système distribué

Introduction aux Systèmes Distribués. Gestion du temps & état global dans un système distribué Introduction aux Systèmes Distribués Licence Informatique 3 ème année Gestion du temps & état global dans un système distribué Eric Cariou Université de Pau et des Pays de l'adour Département Informatique

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

Détection d anomalies d configurations de composants de. stere.preda@enst-bretagne.fr

Détection d anomalies d configurations de composants de. stere.preda@enst-bretagne.fr Détection d anomalies d dans les configurations de composants de sécurité réseau Stere Preda stere.preda@enst-bretagne.fr 8 février 2006 Plan Contexte de l étude Anomalies dans la configuration des composants

Plus en détail

Nicolas Bouillot NFP111-2006/2007

Nicolas Bouillot NFP111-2006/2007 LA COHÉRENCE DANS LES APPLICATIONS MULTIMÉDIA INTERACTIVES : DU CONCERT RÉPARTI SUR INTERNET AUX JEUX MULTI-JOUEURS EN RÉSEAU Nicolas Bouillot CEDRIC-CNAM 292 rue St Martin 75141 Paris Cedex 03 NFP111-2006/2007

Plus en détail

DG-ADAJ: Une plateforme Desktop Grid

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

Programme accédant et/ou modifiant des données persistantes (fichier ou BD) avec propriétés :

Programme accédant et/ou modifiant des données persistantes (fichier ou BD) avec propriétés : Transaction réservation(date, nbplace) select reste into r from RESERVATION where dateresa=:date si (r >= nbplace) alors update RESERVATION set reste=reste-nbplace where dateresa=:date éditer-place(date,

Plus en détail

Edition collaborative d un contenu géographique : une approche fondée sur des spécifications formelles et des relations spatiales explicites

Edition collaborative d un contenu géographique : une approche fondée sur des spécifications formelles et des relations spatiales explicites Edition collaborative d un contenu géographique : une approche fondée sur des spécifications formelles et des relations spatiales explicites Journées de la recherche IGN Saint Mandé 9 mars 2012 IGN COGIT,

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

Implémentation Matérielle des Services d un RTOS sur Circuit Reconfigurable

Implémentation Matérielle des Services d un RTOS sur Circuit Reconfigurable Implémentation Matérielle des Services d un RTOS sur Circuit Reconfigurable Pierre Olivier*, Jalil Boukhobza*, Jean-Philippe Babau +, Damien Picard +, Stéphane Rubini + *Lab-STICC, + LISyC, Université

Plus en détail

La technologie Java Card TM

La technologie Java Card TM Présentation interne au CESTI La technologie Java Card TM sauveron@labri.u-bordeaux.fr http://dept-info.labri.u-bordeaux.fr/~sauveron 8 novembre 2002 Plan Qu est ce que Java Card? Historique Les avantages

Plus en détail

Elé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) 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étail

Chapitre 4 : Exclusion mutuelle

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

Réplication optimiste et cohérence des données dans les environnements collaboratifs répartis

Réplication optimiste et cohérence des données dans les environnements collaboratifs répartis Département de formation doctorale en informatique UFR STMIA École doctorale IAEM Lorraine Réplication optimiste et cohérence des données dans les environnements collaboratifs répartis THÈSE présentée

Plus en détail

Sauvegarde coopérative entre pairs pour dispositifs mobiles

Sauvegarde coopérative entre pairs pour dispositifs mobiles Sauvegarde coopérative entre pairs pour dispositifs mobiles 1 Sauvegarde coopérative entre pairs pour dispositifs mobiles Ludovic Courtès, Marc-Olivier Killijian, David Powell, Matthieu Roy Sauvegarde

Plus en détail

Analyse qualitative et quantitative des Systèmes Automatisés de Production

Analyse qualitative et quantitative des Systèmes Automatisés de Production Analyse qualitative et quantitative des Systèmes Automatisés de Production Jean-Luc Cojan Laboratoire LISyC Université de Bretagne Occidentale Encadrants : M. Philippe Le Parc M. Loïc Plassart M. Franck

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

Le Web sémantique, une infrastructure d'intégration de sources de données

Le Web sémantique, une infrastructure d'intégration de sources de données Le Web sémantique, une infrastructure d'intégration de sources de données Chantal Reynaud Université Paris X & LRI (Université Paris-Sud & CNRS), UR INRIA Futurs Plan de l'exposé 1. Importance du point

Plus en détail

L exclusion mutuelle distribuée

L exclusion mutuelle distribuée L exclusion mutuelle distribuée L algorithme de L Amport L algorithme est basé sur 2 concepts : L estampillage des messages La distribution d une file d attente sur l ensemble des sites du système distribué

Plus en détail

GROUPWARE TRAVAIL COLLABORATIF INTRODUCTION

GROUPWARE TRAVAIL COLLABORATIF INTRODUCTION Institut Supérieur d Informatique GROUPWARE TRAVAIL COLLABORATIF INTRODUCTION Fahem KEBAIR kebairf@gmail.com CONTEXTE Dans une entreprise, les personnes travaillent et collaborent en groupe pour réaliser

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

Les systèmes de gestion de version

Les systèmes de gestion de version Les systèmes de gestion de version Matthieu Herrb Envol 2010 http://homepages.laas.fr/matthieu/talks/envol10-sgv.pdf Systèmes de gestion de version - kesako? Logiciel permettant de gérer l historique des

Plus en détail

3A-IIC - Parallélisme & Grid GRID : Définitions. GRID : Définitions. Stéphane Vialle. Stephane.Vialle@supelec.fr http://www.metz.supelec.

3A-IIC - Parallélisme & Grid GRID : Définitions. GRID : Définitions. Stéphane Vialle. Stephane.Vialle@supelec.fr http://www.metz.supelec. 3A-IIC - Parallélisme & Grid Stéphane Vialle Stephane.Vialle@supelec.fr http://www.metz.supelec.fr/~vialle Principes et Objectifs Evolution Leçons du passé Composition d une Grille Exemple d utilisation

Plus en détail

Réplication Préventive dans une grappe de bases de

Réplication Préventive dans une grappe de bases de Réplication Préventive dans une grappe de bases de données Cedric Coulon To cite this version: Cedric Coulon. Réplication Préventive dans une grappe de bases de données. Networking and Internet Architecture

Plus en détail

Le Distributed Computing Environment de OSF

Le Distributed Computing Environment de OSF 1 sur 6 Le Distributed Computing Environment de OSF Définition L'architecture de DCE L'organisation en cellules Comment former une cellule Les RPC sous DCE Le "stub" client Le RPCRuntime Le "stub" serveur

Plus en détail

Menaces à la sécurité des composants RFID de l architecture EPCglobal, Partie II

Menaces à la sécurité des composants RFID de l architecture EPCglobal, Partie II Menaces à la sécurité des composants RFID de l architecture EPCglobal, Partie II J. G. Alfaro, M. Barbeau, E. Kranakis Carleton University, School of Computer Science 5375 Herzberg Building, 1125 Colonel

Plus en détail

Laboratoire PRiSM, CNRS UMR 8144 Université de Versailles St-Quentin

Laboratoire PRiSM, CNRS UMR 8144 Université de Versailles St-Quentin Horodatage Sécurisé J.M. Fourneau Laboratoire PRiSM, CNRS UMR 8144 Université de Versailles St-Quentin M2 ASS-ACSIS 2008, Université de Versailles St Quentin [1/25] Horodatage Sécurisé Le service d horodatage

Plus en détail

Algorithmique distribuée. Exclusion mutuelle

Algorithmique distribuée. Exclusion mutuelle Algorithmique distribuée Exclusion mutuelle 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 Exclusion

Plus en détail

La Continuité d Activité

La Continuité d Activité La virtualisation VMware vsphere au service de La Continuité d Activité La virtualisation VMware vsphere La virtualisation et la Continuité d Activité La virtualisation et le Plan de Secours Informatique

Plus en détail

Projet BTS SIO Option Réseaux- Cas Billot

Projet BTS SIO Option Réseaux- Cas Billot Projet BTS SIO Option Réseaux- Cas Billot CONTEXTE : L entreprise industrielle Billot, qui est spécialisée dans la conception de réalisation de machines outils destinées à la mécanique de précision nous

Plus en détail

Vers une définition des systèmes répartis multi-échelle

Vers une définition des systèmes répartis multi-échelle Vers une définition des systèmes répartis multi-échelle Sam Rottenberg Sébastien Leriche, Claire Lecocq, Chantal Taconet Institut Mines-Télécom Télécom SudParis UMR CNRS 5157 SAMOVAR 25 juin 2012 Introduction

Plus en détail

Système adaptatif d aide à la génération de requêtes de médiation

Système adaptatif d aide à la génération de requêtes de médiation Système adaptatif d aide à la génération de requêtes de médiation Dimitre Kostadinov Verónika Peralta Assia Soukane Xiaohui Xue Laboratoire PRiSM, Université de Versailles 45 avenue des Etats-Unis 78035

Plus en détail

XION : «L efficience xio n»

XION : «L efficience xio n» XION : «L efficience xio n» transaxions, Inputs, Outputs with/without Network Application de saisie embarquée et de gestion autonome ou en ligne sur terminaux mobiles lecteurs code-barres. ADD SA Chemin

Plus en détail

Protocole de validation atomique anticipée des transactions distribuées temps réel dans les réseaux mobiles sans fil

Protocole de validation atomique anticipée des transactions distribuées temps réel dans les réseaux mobiles sans fil Protocole de validation atomique anticipée des transactions distribuées temps réel dans les réseaux mobiles sans fil Sonia Amroussi Leila Baccouche Sofiane Ouni Henda Ben Ghzela Laboratoire Riadi- GDL

Plus en détail

Modèle client-serveur

Modèle client-serveur Modèle client-serveur Daniel Hagimont IRIT/ENSEEIHT 2 rue Charles Camichel - BP 7122 31071 TOULOUSE CEDEX 7 Daniel.Hagimont@enseeiht.fr http://hagimont.perso.enseeiht.fr Remerciements Michel Riveill 1

Plus en détail

Systèmes d exploitation II Chapitre 2 : Gestion des processus. www.achrafothman.net

Systèmes d exploitation II Chapitre 2 : Gestion des processus. www.achrafothman.net Systèmes d exploitation II Chapitre 2 : Gestion des processus www.achrafothman.net 1 Processus Concept de Processus Ordonnancement de Processus Opérations sur les Processus Processus Coopératifs Communication

Plus en détail

Planification INtegrée des Activités de la Chaîne LogistiquE :

Planification INtegrée des Activités de la Chaîne LogistiquE : Planification INtegrée des Activités de la Chaîne LogistiquE : Journée IODE 27 Mars 2007 Julien FRANCOIS Aïcha AMRANI-ZOUGGAR Plan de l exposé I. Objectif du démonstrateur II. Pilotages 1) Qui décide?

Plus en détail

Gestion des processus

Gestion des processus 1/27 Gestion des processus didier@lrde.epita.fr http://www.lrde.epita.fr/ didier 2/27 Table des matières 1 2 Ordonnancement des processus 3 sur les processus 4 entre processus 5 4/27 Programme vs. Processus

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

Chapitre 5. Communication interprocessus. 5.1 Introduction

Chapitre 5. Communication interprocessus. 5.1 Introduction Communication interprocessus 5.1 Introduction Dans une activité parallèle (ou pseudo parallèle), un ensemble de processus séquentiels s exécutent en parallèle. Cette exécution résulte deux types de relations

Plus en détail

Introduction aux systèmes à objets et services répartis

Introduction aux systèmes à objets et services répartis Introduction aux systèmes à objets et services répartis Frank Singhoff Bureau C-202 Université de Brest, France Lab-STICC UMR 3192 singhoff@univ-brest.fr UE systèmes à objets et services répartis, Université

Plus en détail

Parallel Tree-based Exact Algorithms using Heterogeneous Many and Multi-core Computing for Solving Challenging Problems in Combinatorial Optimization

Parallel Tree-based Exact Algorithms using Heterogeneous Many and Multi-core Computing for Solving Challenging Problems in Combinatorial Optimization Parallel Tree-based Exact Algorithms using Heterogeneous Many and Multi-core Computing for Solving Challenging Problems in Combinatorial Optimization Rudi Leroy Encadrement : N. Melab (Univ. Lille 1),

Plus en détail

October 17, 2006. Résumé

October 17, 2006. Résumé État de l art de la gestion de cache logiciel pour tolérer les déconnexions en environnements mobiles Survey of software cache management for tolerating disconnections in mobile environments Nabil Kouici,

Plus en détail