Cohérence de Données en Environnement Mobile

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

Download "Cohérence de Données en Environnement Mobile"

Transcription

1 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

2 Table des matières Cohérence de Données en Environnement Mobile Sophie Chabridon,, Télécom SudParis, CNRS UMR SAMOVAR, Master Recherche MOPS Module RM 10 Octobre Plan de la présentation 4 1 Introduction Définition Mobilité et réplication Verrous à lever Solutions envisageables Réplication pessimiste Réplication pessimiste (2) Réplication optimiste Réplication optimiste (2) Réplication optimiste - Exemples Modèles de cohérence Cohérence à terme Cohérence à terme forte - SEC Cohérence continue Deux catégories d applications Cas des applications discrètes Caractéristiques et critères de classification Modèle de transfert Unité de transfert Mode de transfert Maintien de la cohérence Résolution de conflit Bayou Bayou (2) Bayou - Exemple d architecture IceCube IceCube (2) Conflict-free Replicated Data Types - CRDTs Exemples de CRDTs Set Graph Transformées opérationnelles Exemple d application : Éditeurs collaboratifs Travaux basés sur SOCT Précédence causale vs concurrence Trois critères pour le maintien de la cohérence ) Préservation de l intention de l utilisateur : ) Convergence des copies : Exemple : Transformée avant pour un éditeur de texte SOCT4 en action Extensions de SOCT Extension de SOCT4 pour la mobilité : SOCT4mob Famille des algorithmes OT Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 2

3 3 Cas des applications continues Synchronisation pour les jeux multijoueurs Caractéristiques des jeux multijoueurs Impact de la latence - Exemple Point sur l état de l art Dead reckoning Dead reckoning (suite) Pre-reckoning TimeWarp Trailing State Synchronization - TSS Trailing State Synchronization - TSS (suite) RendezVous Synthèse sur l état de l art Références 34 Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 3

4 Plan de la présentation 1 Introduction # 2 1 Introduction Cas des applications discrètes Cas des applications continues Références Introduction # Définition Mobilité et réplication Verrous à lever Solutions envisageables Réplication pessimiste Réplication optimiste Modèles de cohérence Deux catégories d applications Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 4

5 1.1 Définition 1 Introduction # 4 Un service de cohérence de données répliquées et partagées est un service capable de contrôler le nombre de répliques, leur localisation, leur déplacement, et leur contenu en fonction de leurs attributs, de l environnement d exécution et des contraintes applicatives. Domaines concernés par la problématique de la cohérence : architectures pair à pair, grilles de calcul, architectures multiprocesseurs, architectures de stockage, bases de données, Web, applications mobiles, réseaux de capteurs, applications multimédia (jeux, serveurs de contenu), applications embarquées, systèmes temps réel. 1.2 Mobilité et réplication # 5 Dans le contexte des environnements mobiles, besoin de répliquer les données pour : Améliorer les performances et augmenter la disponibilité des données Offrir continuité de service en cas de déconnexion réseau Préserver l autonomie : travail collaboratif, jeux multijoueurs... Menaces pour la cohérence des données Applications multi-écrivains Théorème CAP (Consistency, Availability and Partition Tolerance) [Brewer, 2000] : Impossibilité d avoir les trois propriétés C, A et P simultanément. Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 5

6 1.3 Verrous à lever 1 Introduction Non-commutativité des opérations Concevoir pour la commutativité [Shapiro and Preguiça, 2007] # 6 Solutions spécifiques aux types d applications Opérations entièrement déterminées à l avance Éditeur de texte Système de gestion de fichiers Base de données Réconciliation plus ou moins automatisée Réplication pessimiste 1.4 Solutions envisageables Prise d un verrou avant de modifier une donnée Pas de mise à jour concurrente Evite les conflits a priori Réplication optimiste # 7 Mises à jour concurrentes autorisées Apparition possible de conflits Nécessité d une phase de réconciliation a posteriori Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 6

7 1.5 Réplication pessimiste 1 Introduction Encore appelée réplication synchrone Propagation impatiente (eager) des mises à jour # 8 Cas d une base de données : mise à jour des différentes copies au sein de la même transaction Equivalent à la sérialisabilité sur une copie unique 1-copy serialisability [Bernstein et al., 1987] : Une exécution d un ensemble de transactions sur une base de données dupliquée est sérialisable si elle est équivalente à une exécution en série de ces transactions sur une base de données non dupliquée Réplication pessimiste (2) Avantages Simple à mettre en oeuvre Cohérence des copies garantie en empêchant l apparition de divergences # 9 Inconvénients Ne passe pas à l échelle avec un grand nombre d écritures Vulnérable Etreinte fatale (deadlock) Déconnexions Latence Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 7

8 1 Introduction 1.6 Réplication optimiste 1.6 Réplication optimiste Encore appelée réplication asynchrone # 10 Propagation paresseuse (lazy) des mises à jour Cas d une base de données : Transaction initiale met à jour une seule copie Ensuite propagation asynchrone aux autres copies au sein de transactions séparées Réplication optimiste (2) Avantages Permet de modifier une copie locale Seule approche possible en environnement mobile pour la continuité de service # 11 Tolère Déconnexions Latence variable Inconvénients Ne passe pas à l échelle avec un grand nombre d écritures Apparitions de divergences transitoires Complexe à mettre en oeuvre Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 8

9 1 Introduction 1.7 Modèles de cohérence Réplication optimiste - Exemples # 12 Usenet Publication de messages dans des groupes de news Opération principale : envoi de messages indépendants, pas de conflit Utilisateurs acceptent de voir la réponse et quelque temps après la question Systèmes de fichiers répartis Basés sur la règle de Thomas : Last writer wins Conservation du dernier état seulement Utilisateurs acceptent de perdre des écritures 1.7 Modèles de cohérence # 13 Nombreux modèles ont été définis pour les systèmes distribués (à mémoire distribuée partagée, gestion de bases de données...) Pour plus de détails, voir Chap. 6 de [Tanenbaum and van Steen, 2002] Classification proposée par [Tanenbaum and van Steen, 2002] : Modèles centrés sur les données Avec synchronisation permanente : stricte, séquentielle, causale, FIFO Avec synchronisation uniquement à des moments précis, lors de la prise ou du relâchement d un verrou faible, au relâchement, en entrée Modèles centrés client Monotonic reads Monotonic writes Read your writes Writes follow reads Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 9

10 1 Introduction 1.7 Modèles de cohérence Cohérence à terme Eventual consistency # 14 En l absence de nouvelles mises à jour, l ensemble des copies convergent vers la même valeur Garantit que les opérations d écriture seront propagées En cas de conflit, arbitrage et éventuellement retour en arrière Modèle de cohérence le plus faible Aucun ordre sur les opérations n est imposé Cohérence à terme forte - SEC [Shapiro et al., 2011] # 15 Cohérence à terme + aucun conflit Mises à jour concurrentes déterministes Pas besoin de consensus tant que n 1 fautes Résoud l impossibilité CAP Disponibilité, rapidité Ne plus choisir entre passage à l échelle et cohérence Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 10

11 1.7.3 Cohérence continue Modèle TACT : Tunable Availability and Consistency Tradeoff [Yu and Amin, 2001] Niveau de cohérence peut fluctuer entre cohérence forte : obtenue par la réplication pessimiste cohérence faible : obtenue par la réplication optimiste # 16 Trois métriques Erreur numérique : nombre maximal d écritures manquées Erreur d ordre Manque de fraîcheur (staleness) Détermination de bornes max (upper bound) pour chaque métrique Corrélation entre disponibilité de service et niveau de cohérence Placement des copies pour maximiser la disponibilité 1.8 Deux catégories d applications Applications discrètes Etat change uniquement en fonction d opérations de lecture/écriture # 17 Exemples : News Bases de données Systèmes de fichiers Applications continues Etat change à la fois avec les opérations de l utilisateur ET avec le passage du temps Exemples : Supervision d un procédé industriel Applications multimedia interactives et Distribuées : Réalité virtuelle, réalité augmentée, Jeux vidéo, Performances musicales en réseau (concert réparti), Théâtre virtuel Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 11

12 2 Cas des applications discrètes 2.1 Caractéristiques et critères de classification 2 Cas des applications discrètes # Caractéristiques et critères de classification Maintien de la cohérence Résolution de conflit Bayou IceCube Conflict-free Replicated Data Types - CRDTs Transformées opérationnelles Caractéristiques et critères de classification Caractéristiques : Opérations de lecture/écriture Faites à des instants précis # 19 Critères de classification et de comparaison voir Etat de l art paru en 2005 [Saito and Shapiro, 2005] Modèle de transfert : maître unique ou multi-maîtres Unité de transfert : état vs opération Sens du transfert : pull vs push Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 12

13 2 Cas des applications discrètes 2.1 Caractéristiques et critères de classification Modèle de transfert Maître/écrivain unique Site primaire seul autorisé à faire les mises à jours et à les diffuser aux autres répliques Bon passage à l échelle si nombreuses écritures # 20 Mais : master = point de défaillance et goulot d étranglement Multi-maîtres Chaque copie peut être mise à jour à tout instant et assure la diffusion des mises à jour aux autres copies Meilleure disponibilité mais complexe Nécessite une technique globale de détection et de résolution des conflits Unité de transfert Etat Transmission du nouvel état Simple à mettre en oeuvre # 21 Ne facilite pas la réconciliation : un état en remplace un autre Opération Conservation de la suite des opérations effectuées (histoire) Convergence obtenue en rejouant les opérations sur chacune des copies Permet différentes stratégies de réconciliation Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 13

14 2.1.3 Mode de transfert 2 Cas des applications discrètes A la demande (pull) Une copie doit interroger le maître/une autre copie afin de récupérer la nouvelle valeur # 22 Interrogation périodique Sur notification (push) Lorsqu une copie est mise à jour, elle doit en informer les autres copies En multi-maître, nécessite un mécanisme de diffusion efficace 2.2 Maintien de la cohérence Distribution des Majs entre les copies Détection et résolution des conflits entre les Majs conflit : violation de la cohérence # 23 dépendance entre 2 opérations : relation "happens-before" cohérence interne vs externe interne : entre les répliques d un même objet externe : définition d invariants sur un ensemble d objets conflit syntaxique vs sémantique syntaxique : basé uniquement sur l occurrence des opérations sémantique : lié à la sémantique de l application Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 14

15 2 Cas des applications discrètes 2.4 Bayou 2.3 Résolution de conflit A la charge de l utilisateur Ex : Lotus, Palm Pilot - 2 versions de l objet sont présentées pour choisir Résolution automatique selon la sémantique de l application # 24 Ex : Coda, Locus, Ficus, Roam - programmes de résolution prévus pour des types de fichiers connus Limitée dans le cas des systèmes à transfert d état Plusieurs propriétés à respecter pour garantir l uniformité sur toutes les répliques : déterminisme commutativité : résultat identique indépendamment de l ordre 2.4 Bayou Projet de Xerox PARC ( ) [Terry et al., 1995, Petersen et al., 1997] Système de gestion de bases de données collaboratives mobiles Transfert d opérations # 25 Critères syntaxiques (basés sur les estampilles) pour déterminer l ordre d exécution des opérations Chaque écriture est estampillée (accept-stamp) et marquée à l aide de l id de l écrivain Protocole Primary Commit : Estampille de validation ( tant que l opération n est pas validée) Serveur primaire estampille les opérations (séquenceur) Cohérence obtenue avec ordre global par un consensus centralisé Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 15

16 Bayou (2) 2 Cas des applications discrètes Pour chaque opération, le développeur de l application doit définir un test de vérification des dépendances (détection de conflit) une procédure de fusion (merge) # 26 Chaque site maintient un journal des écritures et une copie de la base de données Propagation des mises à jour par un algorithme anti-entropique épidémique Retour arrière possible (rollback) Faiblesse principale : complexité de l écriture de la procédure de fusion Bayou - Exemple d architecture # 27 Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 16

17 2.5 IceCube 2 Cas des applications discrètes Travaux démarrés en 2000 par M. Shapiro chez Microsoft Research Laboratory (UK) [Kermarrec et al., 2001] Basé sur une exploration heuristique des ordonnancements possibles Applications visées : Applications collaboratives mobiles # 28 Définition très détaillée de contraintes Contraintes statiques, indépendantes de l état de l objet : log, object Contraintes dynamiques (assertion, détection de conflit à la Bayou...) Extension de Bayou, avec prise en compte de la sémantique des opérations et flexibilité pour l ordonnancement des opérations IceCube (2) Gestion de plusieurs versions de l état répliqué des données partagées Réconciliation des logs de deux copies en 3 étapes : 1. Génération d ordonnancements en combinant les opérations des 2 logs en respectant les contraintes statiques # Simulation : abandon d un ordonnancement si non satisfaction des contraintes dynamiques 3. Sélection d une solution optimale Proposition d un modèle de cohérence Décomposition de la dépendance causale en deux nouvelles notions before : une opération en précède une autre must have : une opération ne se produit que si autre opération a été exécutée avec succès et fait partie de son histoire Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 17

18 2 Cas des applications discrètes 2.6 Conflict-free Replicated Data Types - CRDTs 2.6 Conflict-free Replicated Data Types - CRDTs [Shapiro et al., 2011] # 30 Deux conditions suffisantes Évolution monotone : mises à jour non destructives Commutativité (par conception) Réduire la taille des objets manipulés Limité à certains types d applications Exemples de CRDTs Set # 31 Graph (DAG) Counter Sequence Register Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 18

19 Set 2 Cas des applications discrètes # 32 Conserver les valeurs intermédiaires Opération "delete" > ajout d un marqueur (tombstone) À terme, convergence vers le même ensemble de valeurs Graph # 33 Choisir une implémentation déterministe. Ex : "addedge" prioritaire Par défaut, cohérence à terme Consensus nécessaire pour une cohérence à terme forte Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 19

20 2 Cas des applications discrètes 2.7 Transformées opérationnelles 2.7 Transformées opérationnelles Permet de transformer une opération (changement de paramètres...) afin de sérialiser des opérations concurrentes (potentiellement non-commutatives) pour assurer la convergence des copies # 34 Preuves théoriques associées ([Vidot, 2002]) Plusieurs types de transformées Transformée en avant : tient compte de l effet d une opération concurrente Transformée en arrière : change l ordre d exécution de deux opérations Transformée inverse Exemple d application : Éditeurs collaboratifs # 35 Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 20

21 2 Cas des applications discrètes 2.7 Transformées opérationnelles Travaux basés sur SOCT4 SOCT4 : Sérialisation des opérations concurrentes par transposition [Vidot, 2002] # 36 Conçu pour le travail collaboratif à contraintes de temps Exploitation des propriétés sémantiques des opérations Utilise la transformée en avant uniquement Ordre global continu (besoin d un séquenceur) Une seule condition (C1) à vérifier pour converger Précédence causale vs concurrence # 37 Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 21

22 2 Cas des applications discrètes 2.7 Transformées opérationnelles Trois critères pour le maintien de la cohérence # 38 1) Préservation de la causalité : Ordre d exécution identique sur tous les sites Livraison causale des opérations à l aide de vecteurs d état [Mattern, 1989] # 39 Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 22

23 2 Cas des applications discrètes 2.7 Transformées opérationnelles 2) Préservation de l intention de l utilisateur : Gestion des opérations concurrentes (-> transposition avant) # 40 3) Convergence des copies : La fonction de transposition AVANT doit vérifier : C1 : op1.op2 op1 op2.op1 op2 # 41 Résolution des conflits Au moment de l écriture des transformées Choix arbitraire si possible en garantissant que le même choix sera fait sur tous les sites Sinon, définition d un conflit avec réconciliation par les utilisateurs Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 23

24 2 Cas des applications discrètes 2.7 Transformées opérationnelles Exemple : Transformée avant pour un éditeur de texte Transpose_forward (insert(p1, c1), insert(p2, c2) ) { // Param1 : opération locale, Param 2: opération distante # 42 case p1? p2 of p1 < p2 : return insert(p2 +1, c2); p1 > p2 : return insert(p2, c2); p1 = p2 : if c1 = c2 then return id else // Cas d un conflit // Choix selon valeur du caractère if code (c2) > code (c1) then return insert(p2, c2) else return insert(p2+1, c2); endif; endif; endcase } SOCT4 en action # 43 Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 24

25 2 Cas des applications discrètes 2.7 Transformées opérationnelles Extensions de SOCT4 SOCT4 suppose une connexion permanente entre les sites Une opération est diffusée immédiatement aux sites distants # 44 Travail collaboratif multi-synchrone [Bouazza and Molli, 2000] Travail local avec possibilité de mesurer la divergence Synchronisation périodique possible pour faciliter la convergence Modes de travail couplé et découplé, avec basculement d un mode à l autre En mode couplé (phases synchrones) utilisation de SOCT4 En mode découplé (phases asynchrones) Placement des opérations générées localement dans une file, sans estampille Mise en attente des opérations distantes reçues pour traitement différé L utilisateur/application décide quand envoyer les opérations locales intégrer les opérations distantes # 45 Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 25

26 2.7.8 Extension de SOCT4 pour la mobilité : SOCT4mob [Chateigner et al., 2004] Pas de site fixe Communication directe entre les sites joignables (Utilisation de Javagroups) Séquenceur réparti # 46 Déconnexion volontaire Diffusion préalable des opérations locales déjà estampillées Pendant la déconnexion Travail isolé sur les composants déconnectés et journalisation des opérations locales A la reconnexion Récupération des opérations des autres sites et intégration dans l histoire Diffusion des opérations effectuées localement après estampillage Famille des algorithmes OT Avec condition C1 uniquement SOCT4 [Vidot, 2002] COT (Context-based OT) [Sun and Sun, 2006] : opération UNDO Avec 2 conditions C1 et C2 # 47 C2 : T(op3,op1.T(op2,op1)) = T(op3,op2.T(op1,op2)) Pas d ordre de réception des opérations ADOPTED [Ressel et al., 1996], GOTO [Sun and Sun, 1998], SOCT2 [Suleiman et al., 1998] Très difficile d écrire des transformées vérifiant C2 Preuve que les transformées proposées ne garantissent pas toujours C2 [Imine et al., 2003] Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 26

27 3 Cas des applications continues 3.1 Synchronisation pour les jeux multijoueurs 3 Cas des applications continues # Synchronisation pour les jeux multijoueurs Point sur l état de l art Dead reckoning Pre-reckoning TimeWarp Trailing State Synchronization - TSS RendezVous Synthèse sur l état de l art Synchronisation pour les jeux multijoueurs Développement des jeux multijoueurs tributaire de la qualité du réseau Latence élevée des réseaux de téléphonie mobile 2, 2.5 et 3G plusieurs secondes # 49 Latence tolérée par un être humain 250 ms [Pantel and Wolf, 2002] Etude des solutions déjà utilisées dans les jeux multijoueurs en réseau fixe Sont-elles adaptées aux téléphones mobiles (capacité de calcul et mémoire limitées)? Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 27

28 3 Cas des applications continues 3.1 Synchronisation pour les jeux multijoueurs Caractéristiques des jeux multijoueurs Importance de la notion de temps Applications continues Etat modifié par les opérations effectuées ET par le passage du temps # 50 Temps de jeu vs temps réel Durée entre deux événements dans le jeu doit rester proche de la durée dans le monde réel Exemple du décollage d un avion : pas plus de quelques minutes de calcul # 51 Impact de la latence diffère suivant le type de jeu Exigence la plus forte : Jeux de tir (First-Person Shooter) avec latence tolérée de seulement 150 ms Exigence la plus faible : Au tour par tour Trois classes de données Données locales Propres à un joueur - affichées localement Données distantes Besoin de cohérence primordial - pas de copie locale Données partagées Besoin de disponibilité primordial - copie locale à synchroniser avec les copies distantes Priorité à la jouabilité au détriment de la cohérence Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 28

29 3.1.2 Impact de la latence - Exemple 3 Cas des applications continues Cas d une course de voitures [Pantel and Wolf, 2002] Qui a gagné? # Point sur l état de l art Solutions en environnement fixe # 53 Méthodes de prédiction d état Dead reckoning Pre-reckoning Méthodes de synchronisation Time Warp Trailing State Synchronisation Solution sur téléphone mobile RendezVous Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 29

30 3.3 Dead reckoning 3 Cas des applications continues Signifie "calcul par déduction" (Deduced reckoning) Recommandé par la norme IEEE DIS (Simulation Interactive distribuée) [IEEE, 1995] But : # 54 Minimiser le nombre de messages échangés entre les sites Prédire le mouvement des objets des sites distants sans rafraîchissement systématique Utiliser uniquement les paramètres connus localement : direction et vitesse de déplacement Deux étapes : Un algorithme de prédiction du prochain état Un algorithme de convergence après réception d un message de mise à jour Dead reckoning (suite) Prédiction du prochain état : # 55 Localement, chaque site estime par calcul la position (et/ou l orientation) des entités distantes impliquées Chaque site gère deux modèles pour une entité locale : Un modèle représentant son mouvement réel Un modèle fantôme représentant le modèle prédictif de la position de l entité sur les sites distants Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 30

31 3.4 Pre-reckoning 3 Cas des applications continues Extension du dead reckoning Anticiper : ne pas attendre que le seuil d erreur soit dépassé pour envoyer une mise à jour Probabilité de dépassement du seuil entre le modèle réel et le modèle prédictif # 56 Conçu pour les chemins à grande variabilité Comparaison des résultats avec le dead reckoning dans un jeu en 3D (CUBE) [Duncan and Graĉanin, 2003] Moins de mises à jour Virages moins marqués Trajectoire plus précise Taux d erreur plus faible 3.5 TimeWarp Algorithme optimiste prévu pour les simulations militaires interactives Principe : Un cliché (snapshot) de l état de chaque joueur est pris à chaque réception de message # 57 Retour en arrière (rollback) si un événement antérieur aux derniers événements exécutés est reçu Ré-exécution accélérée de tous les événements entre le cliché et l instant courant Optimisations possibles [Mauve et al., 2004] Clichés périodiques Retarder la prise en compte des commandes locales pour contre-balancer la latence réseau = Réduit les besoins mémoire, mais rollbacks plus coûteux Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 31

32 3.6 Trailing State Synchronization - TSS 3 Cas des applications continues Algorithme optimiste inspiré de TimeWarp Créé pour les jeux FPS sur des architectures miroir # 58 Chaque site miroir gère plusieurs états de remorquage (trailing states) du même jeu décalés dans le temps Plusieurs copies du jeu Exécution de chaque commande mais avec un décalage Testé sur le jeu Quake [Cronin et al., 2002] Trailing State Synchronization - TSS (suite) Temps de simulation Temps de simulation Etat S0 d0 = 50 ms 0 100ms 200ms 300ms Etat S0 d0 = 50 ms 0 100ms 200ms 300ms # 59 Etat S1 d1 = 100 ms Etat S1 d1 = 100 ms RECOPIE amplitude de reprise a) Arrivée d une commande avec l estampille : 175 ms b) Reprise après détection d une incohérence Détection des incohérences : Après la prise en compte d une commande, comparaison avec le fil d exécution précédent (le plus ancien) Incohérence (prise en compte d une commande à des dates différentes) = retour en arrière (rollback) en recopiant l état du jeu vers l état précédent L état antérieur ré-exécute les événements survenus après l incohérence jusqu à l état courant Télécom SudParis, CNRS UMR SAMOVAR Sophie Chabridon 10 Octobre 2014 MOPS/RM 32

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

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

É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

Ordonnancement temps réel

Ordonnancement temps réel Ordonnancement temps réel Laurent.Pautet@enst.fr Version 1.5 Problématique de l ordonnancement temps réel En fonctionnement normal, respecter les contraintes temporelles spécifiées par toutes les tâches

Plus en détail

Gestion répartie de données - 1

Gestion répartie de données - 1 Gestion répartie de données - 1 Sacha Krakowiak Université Joseph Fourier Projet Sardes (INRIA et IMAG-LSR) http://sardes.inrialpes.fr/~krakowia Gestion répartie de données Plan de la présentation Introduction

Plus en détail

Gestion répartie de données - 1 Duplication et cohérence

Gestion répartie de données - 1 Duplication et cohérence École Doctorale de Grenoble Master 2 Recherche Systèmes et Logiciel Gestion répartie de données : bref historique (1) Gestion répartie de données - 1 Duplication et cohérence Sacha Krakowiak Université

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

Le partage d informations dans les systèmes rèpartis grande èchelle

Le partage d informations dans les systèmes rèpartis grande èchelle Le partage d informations dans les systèmes rèpartis grande èchelle Marc Shapiro To cite this version: Marc Shapiro. Le partage d informations dans les systèmes rèpartis grande èchelle. Jacquart, Renè.

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

SGBDR. Systèmes de Gestion de Bases de Données (Relationnelles)

SGBDR. Systèmes de Gestion de Bases de Données (Relationnelles) SGBDR Systèmes de Gestion de Bases de Données (Relationnelles) Plan Approches Les tâches du SGBD Les transactions Approche 1 Systèmes traditionnels basés sur des fichiers Application 1 Gestion clients

Plus en détail

Les systèmes de base de données temps réels. Pokrovskaya Natalia, Kabbali Nadia

Les systèmes de base de données temps réels. Pokrovskaya Natalia, Kabbali Nadia Les systèmes de base de données temps réels Pokrovskaya Natalia, Kabbali Nadia Année académique 2008-2009 Table des matières 1 Introduction 2 2 Système de gestion de bases de données classiques 3 3 Systèmes

Plus en détail

Bases de données et sites WEB Licence d informatique LI345

Bases de données et sites WEB Licence d informatique LI345 Bases de données et sites WEB Licence d informatique LI345 Anne Doucet Anne.Doucet@lip6.fr http://www-bd.lip6.fr/ens/li345-2013/index.php/lescours 1 Contenu Transactions en pratique Modèle relationnel-objet

Plus en détail

Cours Bases de données 2ème année IUT

Cours Bases de données 2ème année IUT Cours Bases de données 2ème année IUT Cours 12 : Concurrence d accès Anne Vilnat http://www.limsi.fr/individu/anne/cours Plan 1 Accès concurrents Définitions Verrous Collisions Niveaux de cohérence Blocage

Plus en détail

Systèmes et algorithmes répartis

Systèmes et algorithmes répartis Systèmes et algorithmes répartis Tolérance aux fautes Philippe Quéinnec Département Informatique et Mathématiques Appliquées ENSEEIHT 4 novembre 2014 Systèmes et algorithmes répartis V 1 / 45 plan 1 Sûreté

Plus en détail

Les transactions 1/46. I même en cas de panne logicielle ou matérielle. I Concept de transaction. I Gestion de la concurrence : les solutions

Les transactions 1/46. I même en cas de panne logicielle ou matérielle. I Concept de transaction. I Gestion de la concurrence : les solutions 1/46 2/46 Pourquoi? Anne-Cécile Caron Master MAGE - SGBD 1er trimestre 2014-2015 Le concept de transaction va permettre de définir des processus garantissant que l état de la base est toujours cohérent

Plus en détail

Données Réparties. Thibault BERNARD. thibault.bernard@univ-reims.fr

Données Réparties. Thibault BERNARD. thibault.bernard@univ-reims.fr Données Réparties Thibault BERNARD thibault.bernard@univ-reims.fr Sommaire Introduction Gestion de la concurrence Reprise après panne Gestion des données dupliquées Sommaire Introduction Gestion de la

Plus en détail

Systèmes et algorithmes répartis

Systèmes et algorithmes répartis Systèmes et algorithmes répartis Données réparties Philippe Quéinnec, Gérard Padiou Département Informatique et Mathématiques Appliquées ENSEEIHT 12 novembre 2014 Systèmes et algorithmes répartis VI 1

Plus en détail

IBM Tivoli Monitoring, version 6.1

IBM Tivoli Monitoring, version 6.1 Superviser et administrer à partir d une unique console l ensemble de vos ressources, plates-formes et applications. IBM Tivoli Monitoring, version 6.1 Points forts! Surveillez de façon proactive les éléments

Plus en détail

FAMILLE EMC RECOVERPOINT

FAMILLE EMC RECOVERPOINT FAMILLE EMC RECOVERPOINT Solution économique de protection des données et de reprise après sinistre en local et à distance Avantages clés Optimiser la protection des données et la reprise après sinistre

Plus en détail

Cours Bases de données

Cours Bases de données Informations sur le cours Cours Bases de données 9 (10) séances de 3h Polycopié (Cours + TD/TP) 3 année (MISI) Antoine Cornuéjols www.lri.fr/~antoine antoine.cornuejols@agroparistech.fr Transparents Disponibles

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

Solution A La Gestion Des Objets Java Pour Des Systèmes Embarqués

Solution A La Gestion Des Objets Java Pour Des Systèmes Embarqués International Journal of Engineering Research and Development e-issn: 2278-067X, p-issn: 2278-800X, www.ijerd.com Volume 7, Issue 5 (June 2013), PP.99-103 Solution A La Gestion Des Objets Java Pour Des

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

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

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

Plan 1/9/2013. Génération et exploitation de données. CEP et applications. Flux de données et notifications. Traitement des flux Implémentation

Plan 1/9/2013. Génération et exploitation de données. CEP et applications. Flux de données et notifications. Traitement des flux Implémentation Complex Event Processing Traitement de flux de données en temps réel Romain Colle R&D Project Manager Quartet FS Plan Génération et exploitation de données CEP et applications Flux de données et notifications

Plus en détail

Réplication adaptative sur les réseaux P2P

Réplication adaptative sur les réseaux P2P Réplication adaptative sur les réseaux pair à pair 10 mars 2006 1 Introduction 2 Réseaux pair à pair et tables de hachage distribuées 3 Le protocole app-cache 4 Le protocole LAR 5 Tests de performance

Plus en détail

Introduction à l informatique temps réel Pierre-Yves Duval (cppm)

Introduction à l informatique temps réel Pierre-Yves Duval (cppm) Introduction à l informatique temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 -Définition et problématique - Illustration par des exemples -Automatisme:

Plus en détail

Gestion des transactions et accès concurrents dans les bases de données relationnelles

Gestion des transactions et accès concurrents dans les bases de données relationnelles Gestion des transactions et accès concurrents dans les bases de données relationnelles Bernard ESPINASSE Professeur à Aix-Marseille Université (AMU) Ecole Polytechnique Universitaire de Marseille Fev.

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

Une solution de stockage VDI unifiée, flexible et disponible pour vos utilisateurs

Une solution de stockage VDI unifiée, flexible et disponible pour vos utilisateurs Une solution de stockage VDI unifiée, flexible et disponible pour vos utilisateurs La structure d un FlexPod Cisco UnifiedComputing& NetAppUnifiedArchitecture Cisco Unified Computing System Architecture

Plus en détail

Systèmes de gestion de code source

Systèmes de gestion de code source Systèmes de gestion de code source Matthieu Herrb CNRS-LAAS Envol, 22 octobre 2008 http://www.laas.fr/~matthieu/talks/envol08-sgv.pdf Agenda 1 Introduction 2 Concepts d un système de gestion de version

Plus en détail

Change the game with smart innovation

Change the game with smart innovation Change the game with smart innovation Master Thesis 2013 2014 Faculty of Science engineering 12/08/2012 Master Thesis proposal for the academic year 2013. TABLE OF CONTENTS Section Un Introduction... 3

Plus en détail

Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services

Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services 69 Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services M. Bakhouya, J. Gaber et A. Koukam Laboratoire Systèmes et Transports SeT Université de Technologie de Belfort-Montbéliard

Plus en détail

FAMILLE EMC VPLEX. Disponibilité continue et mobilité des données dans et entre les datacenters AVANTAGES

FAMILLE EMC VPLEX. Disponibilité continue et mobilité des données dans et entre les datacenters AVANTAGES FAMILLE EMC VPLEX Disponibilité continue et mobilité des données dans et entre les datacenters DISPONIBLITÉ CONTINUE ET MOBILITÉ DES DONNÉES DES APPLICATIONS CRITIQUES L infrastructure de stockage évolue

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

Logiciel HP StorageWorks Enterprise Virtual Array (EVA) Fiche technique

Logiciel HP StorageWorks Enterprise Virtual Array (EVA) Fiche technique Logiciel HP StorageWorks Enterprise Virtual Array (EVA) Fiche technique Avec le logiciel HP StorageWorks EVA et les solutions tolérantes aux sinistres, vous pouvez avoir la tranquillité d esprit de savoir

Plus en détail

FAMILLE EMC VPLEX. Disponibilité continue et mobilité des données dans et entre les datacenters

FAMILLE EMC VPLEX. Disponibilité continue et mobilité des données dans et entre les datacenters FAMILLE EMC VPLEX Disponibilité continue et mobilité des données dans et entre les datacenters DISPONIBILITE CONTINUE ET MOBILITE DES DONNEES DES APPLICATIONS CRITIQUES L infrastructure de stockage évolue

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

Pourquoi OneSolutions a choisi SyselCloud

Pourquoi OneSolutions a choisi SyselCloud Pourquoi OneSolutions a choisi SyselCloud Créée en 1995, Syselcom est une société suisse à capitaux suisses. Syselcom est spécialisée dans les domaines de la conception, l intégration, l exploitation et

Plus en détail

L impact de la sécurité de la virtualisation sur votre environnement VDI

L impact de la sécurité de la virtualisation sur votre environnement VDI À PROPOS DE LOGIN VSI VDI et HVD étant des technologies d infrastructures pour utilisateurs finaux de plus en plus employées, la performance apparaît comme l un des problèmes clés de ces environnements

Plus en détail

Un concept multi-centre de données traditionnel basé sur le DNS

Un concept multi-centre de données traditionnel basé sur le DNS Confiez vos activités critiques à un expert S il est crucial pour vos activités commerciales que vos serveurs soient disponibles en continu, vous devez demander à votre hébergeur de vous fournir une solution

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

Disponibilité 24-7/365

Disponibilité 24-7/365 Buisness solution Technical solution Disponibilité 24-7/365 Presented by OSIsoft Comment utiliser LiveMeeting Télécharger du matériel additionnel Poser une question Audio et vidéo Copyrig h t 2014 OSIso

Plus en détail

Modélisation et évaluation de performances d'une application de cloud gaming

Modélisation et évaluation de performances d'une application de cloud gaming Modélisation et évaluation de performances d'une application de cloud gaming Khaled Boussetta Université Paris 13/INRIA INSA Lyon Khaled.boussetta@univ-paris13.fr 1 Plan 1. Contexte 2. Les verrous 3. Les

Plus en détail

Livre blanc. La sécurité de nouvelle génération pour les datacenters virtualisés

Livre blanc. La sécurité de nouvelle génération pour les datacenters virtualisés Livre blanc La sécurité de nouvelle génération pour les datacenters virtualisés Introduction Ces dernières années, la virtualisation est devenue progressivement un élément stratégique clé pour le secteur

Plus en détail

Sommaire. 3. Les grands principes de GFS L architecture L accès de fichier en lecture L accès de fichier en écriture Bilan

Sommaire. 3. Les grands principes de GFS L architecture L accès de fichier en lecture L accès de fichier en écriture Bilan 1 Sommaire 1. Google en chiffres 2. Les raisons d être de GFS 3. Les grands principes de GFS L architecture L accès de fichier en lecture L accès de fichier en écriture Bilan 4. Les Evolutions et Alternatives

Plus en détail

Livre blanc. L impact de la sécurité de la virtualisation sur votre environnement VDI

Livre blanc. L impact de la sécurité de la virtualisation sur votre environnement VDI Livre blanc L impact de la sécurité de la virtualisation sur votre environnement VDI Introduction La virtualisation permet aux entreprises de réaliser d importantes économies et leur apporte une grande

Plus en détail

Bases de données avancées Concurrence d'accès et reprise

Bases de données avancées Concurrence d'accès et reprise Bases de données avancées Concurrence d'accès et reprise Dan VODISLAV Université de Cergy-Pontoise Master Informatique M1 Cours BDA Plan La notion de transaction Les problèmes de la concurrence Problèmes

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

L apprentissage automatique

L apprentissage automatique L apprentissage automatique L apprentissage automatique L'apprentissage automatique fait référence au développement, à l analyse et à l implémentation de méthodes qui permettent à une machine d évoluer

Plus en détail

1200 Incendies par an dans des «Data Center»!! Et vous. Moi j ai Data Guard 10g!!!!

1200 Incendies par an dans des «Data Center»!! Et vous. Moi j ai Data Guard 10g!!!! 1200 Incendies par an dans des «Data Center»!! Et vous. Moi j ai Data Guard 10g!!!! Charles-Emmanuel FRANCES Consultant Avant-Vente Charles-emmanuel. emmanuel.frances@oracle. @oracle.comcom Jeudi 22 Septembre

Plus en détail

Cloud Computing et SaaS

Cloud Computing et SaaS Cloud Computing et SaaS On a vu fleurir ces derniers temps un grands nombre de sigles. L un des premiers est SaaS, Software as a Service, sur lequel nous aurons l occasion de revenir. Mais il y en a beaucoup

Plus en détail

Vous êtes bien à la bonne présentation, c est juste que je trouvais que le titre de cette présentation étais un peu long,

Vous êtes bien à la bonne présentation, c est juste que je trouvais que le titre de cette présentation étais un peu long, Vous êtes bien à la bonne présentation, c est juste que je trouvais que le titre de cette présentation étais un peu long, en fait ça me faisait penser au nom d un certain projet gouvernemental je me suis

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

Revue d article : Dynamic Replica Placement for Scalable Content Delivery

Revue d article : Dynamic Replica Placement for Scalable Content Delivery Revue d article : Dynamic Replica Placement for Scalable Content Delivery Marc Riner - INSA Lyon - DEA DISIC Introduction Cet article [1] présente une technique innovante de placement de réplicats et de

Plus en détail

VMware vsphere 5 Préparation à la certification VMware Certified Professional 5 Data Center Virtualization (VCP5-DCV) - Examen VCP510

VMware vsphere 5 Préparation à la certification VMware Certified Professional 5 Data Center Virtualization (VCP5-DCV) - Examen VCP510 Introduction A. Au sujet du livre 10 B. Au sujet de l'examen 10 Chapitre 1 Les nouveautés de vsphere A. Présentation 14 B. En quoi vsphere 5 diffère de vsphere 4? 14 1. Un Service Console abandonné 14

Plus en détail

Introduction aux systèmes temps réel. Iulian Ober IRIT ober@iut-blagnac.fr

Introduction aux systèmes temps réel. Iulian Ober IRIT ober@iut-blagnac.fr Introduction aux systèmes temps réel Iulian Ober IRIT ober@iut-blagnac.fr Définition Systèmes dont la correction ne dépend pas seulement des valeurs des résultats produits mais également des délais dans

Plus en détail

NoSQL. Introduction 1/23. I NoSQL : Not Only SQL, ce n est pas du relationnel, et le contexte. I table d associations - Map - de couples (clef,valeur)

NoSQL. Introduction 1/23. I NoSQL : Not Only SQL, ce n est pas du relationnel, et le contexte. I table d associations - Map - de couples (clef,valeur) 1/23 2/23 Anne-Cécile Caron Master MIAGE - BDA 1er trimestre 2013-2014 I : Not Only SQL, ce n est pas du relationnel, et le contexte d utilisation n est donc pas celui des SGBDR. I Origine : recherche

Plus en détail

Programmer des applications réparties

Programmer des applications réparties LABORATOIRE D INFORMATIQUE DE NANTES-ATLANTIQUE UMR 6241 ÉCOLE DOCTORALE STIM, N. 503 «Sciences et technologies de l information et des mathématiques» Sujet de thèse pour 2013 Programmer des applications

Plus en détail

ORDONNANCEMENT CONJOINT DE TÂCHES ET DE MESSAGES DANS LES RÉSEAUX TEMPS RÉELS 4. QUELQUES EXEMPLES DU DYNAMISME ACTUEL DU TEMPS RÉEL

ORDONNANCEMENT CONJOINT DE TÂCHES ET DE MESSAGES DANS LES RÉSEAUX TEMPS RÉELS 4. QUELQUES EXEMPLES DU DYNAMISME ACTUEL DU TEMPS RÉEL i LE TEMPS RÉEL 1. PRÉSENTATION DU TEMPS RÉEL 1.1. APPLICATIONS TEMPS RÉEL 1.2. CONTRAINTES DE TEMPS RÉEL 2. STRUCTURES D'ACCUEIL POUR LE TEMPS RÉEL 2.1. EXÉCUTIFS TEMPS RÉEL 2.2. RÉSEAUX LOCAUX TEMPS

Plus en détail

Projet gestion d'objets dupliqués

Projet gestion d'objets dupliqués Projet gestion d'objets dupliqués Daniel Hagimont Daniel.Hagimont@enseeiht.fr 1 Projet Service de gestion d'objets dupliqués Mise en cohérence lors de la prise d'un verrou sur un objet Pas de verrous imbriqués

Plus en détail

Introduction aux systèmes temps réel

Introduction aux systèmes temps réel Introduction aux systèmes temps réel Frank Singhoff Bureau C-203 Université de Brest, France LISyC/EA 3883 singhoff@univ-brest.fr UE applications de l informatique, Université de Brest Page 1/22 Plan du

Plus en détail

Surveillance et maintenance prédictive : évaluation de la latence de fautes. Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG)

Surveillance et maintenance prédictive : évaluation de la latence de fautes. Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG) Surveillance et maintenance prédictive : évaluation de la latence de fautes Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG) SURVEILLANCE Analyser une situation et fournir des indicateurs! Détection de symptômes!

Plus en détail

La plate forme VMware vsphere 4 utilise la puissance de la virtualisation pour transformer les infrastructures de Datacenters en Cloud Computing.

La plate forme VMware vsphere 4 utilise la puissance de la virtualisation pour transformer les infrastructures de Datacenters en Cloud Computing. vsphere 4 1. Présentation de vsphere 4 C est le nouveau nom de la plate forme de virtualisation de VMware. La plate forme VMware vsphere 4 utilise la puissance de la virtualisation pour transformer les

Plus en détail

Présentation Alfresco

Présentation Alfresco Présentation d un CMS : Alfresco Présentation Alfresco Ludovic Plantin, Frédéric Sénèque, Xu Zhao Polytech Grenoble Décembre 2008 Plantin, Sénèque, Xu (Polytech) Présentation Alfresco Décembre 2008 1 /

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

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

NFP111 Systèmes et Applications Réparties

NFP111 Systèmes et Applications Réparties NFP111 Systèmes et Applications Réparties 1 de 34 NFP111 Systèmes et Applications Réparties Cours 7 - CORBA/Partie 1 Claude Duvallet Université du Havre UFR Sciences et Techniques 25 rue Philippe Lebon

Plus en détail

PROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES

PROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES Leçon 11 PROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES Dans cette leçon, nous retrouvons le problème d ordonnancement déjà vu mais en ajoutant la prise en compte de contraintes portant sur les ressources.

Plus en dé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

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

Differential Synchronization

Differential Synchronization Differential Synchronization Neil Fraser Google 2009 BENA Pierrick CLEMENT Lucien DIARRA Thiemoko 2 Plan Introduction Stratégies de synchronisation Synchronisation différentielle Vue d ensemble Dual Shadow

Plus en détail

Module BDR Master d Informatique (SAR)

Module BDR Master d Informatique (SAR) Module BDR Master d Informatique (SAR) Cours 9- Transactions réparties Anne Doucet Anne.Doucet@lip6.fr Transactions réparties Gestion de transactions Transactions dans un système réparti Protocoles de

Plus en détail

Caches web. Olivier Aubert 1/35

Caches web. Olivier Aubert 1/35 Caches web Olivier Aubert 1/35 Liens http://mqdoc.lasat.com/online/courses/caching/ (prise en compte des caches dans la conception de sites) http://mqdoc.lasat.com/online/courses/proxyserver http://www.web-caching.com/mnot_tutorial/

Plus en détail

Le stockage. 1. Architecture de stockage disponible. a. Stockage local ou centralisé. b. Différences entre les architectures

Le stockage. 1. Architecture de stockage disponible. a. Stockage local ou centralisé. b. Différences entre les architectures Le stockage 1. Architecture de stockage disponible a. Stockage local ou centralisé L architecture de stockage à mettre en place est déterminante pour l évolutivité et la performance de la solution. Cet

Plus en détail

Techniques de stockage. Techniques de stockage, P. Rigaux p.1/43

Techniques de stockage. Techniques de stockage, P. Rigaux p.1/43 Techniques de stockage Techniques de stockage, P. Rigaux p.1/43 Techniques de stockage Contenu de ce cours : 1. Stockage de données. Supports, fonctionnement d un disque, technologie RAID 2. Organisation

Plus en détail

Cours de Master Recherche

Cours de Master Recherche Cours de Master Recherche Spécialité CODE : Résolution de problèmes combinatoires Christine Solnon LIRIS, UMR 5205 CNRS / Université Lyon 1 2007 Rappel du plan du cours 16 heures de cours 1 - Introduction

Plus en dé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

Windows Internet Name Service (WINS)

Windows Internet Name Service (WINS) Windows Internet Name Service (WINS) WINDOWS INTERNET NAME SERVICE (WINS)...2 1.) Introduction au Service de nom Internet Windows (WINS)...2 1.1) Les Noms NetBIOS...2 1.2) Le processus de résolution WINS...2

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

Teste et mesure vos réseaux et vos applicatifs en toute indépendance

Teste et mesure vos réseaux et vos applicatifs en toute indépendance Teste et mesure vos réseaux et vos applicatifs en toute indépendance 2013 J3TEL en quelques minutes Groupe HBG en bref : Siège social à Paris 1100 employés dans 6 pays 150 M d de CA en 2012 Des activités

Plus en détail

ETUDE ET IMPLÉMENTATION D UNE CACHE L2 POUR MOBICENTS JSLEE

ETUDE ET IMPLÉMENTATION D UNE CACHE L2 POUR MOBICENTS JSLEE Mémoires 2010-2011 www.euranova.eu MÉMOIRES ETUDE ET IMPLÉMENTATION D UNE CACHE L2 POUR MOBICENTS JSLEE Contexte : Aujourd hui la plupart des serveurs d application JEE utilise des niveaux de cache L1

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

4.2 Unités d enseignement du M1

4.2 Unités d enseignement du M1 88 CHAPITRE 4. DESCRIPTION DES UNITÉS D ENSEIGNEMENT 4.2 Unités d enseignement du M1 Tous les cours sont de 6 ECTS. Modélisation, optimisation et complexité des algorithmes (code RCP106) Objectif : Présenter

Plus en détail

CEG4566/CSI4541 Conception de systèmes temps réel

CEG4566/CSI4541 Conception de systèmes temps réel CEG4566/CSI4541 Conception de systèmes temps réel Chapitre 6 Vivacité, sécurité (Safety), fiabilité et tolérance aux fautes dans les systèmes en temps réel 6.1 Introduction générale aux notions de sécurité

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

Livre blanc Haute disponibilité sous Linux

Livre blanc Haute disponibilité sous Linux Livre blanc Haute disponibilité sous Linux Nicolas Ferre 29 septembre 2000 Résumé Ce livre blanc décrit une solution informatique à haute disponibilité. Les technologies mises

Plus en détail

Quelques patterns pour la persistance des objets avec DAO DAO. Principe de base. Utilité des DTOs. Le modèle de conception DTO (Data Transfer Object)

Quelques patterns pour la persistance des objets avec DAO DAO. Principe de base. Utilité des DTOs. Le modèle de conception DTO (Data Transfer Object) Quelques patterns pour la persistance des objets avec DAO Ce cours présente des modèles de conception utilisés pour effectuer la persistance des objets Université de Nice Sophia-Antipolis Version 1.4 30/8/07

Plus en détail

Edition collaborative massive sur réseaux Pair-à-Pair

Edition collaborative massive sur réseaux Pair-à-Pair Edition collaborative massive sur réseaux Pair-à-Pair Stéphane Weiss To cite this version: Stéphane Weiss. Edition collaborative massive sur réseaux Pair-à-Pair. Networking and Internet Architecture [cs.ni].

Plus en détail

Efficient Object Versioning for Object- Oriented Languages From Model to Language Integration

Efficient Object Versioning for Object- Oriented Languages From Model to Language Integration Efficient Object Versioning for Object- Oriented Languages From Model to Language Integration Pluquet Frédéric July, 3rd 2012 Etude de techniques efficaces de versionnement d objets pour les langages orientés

Plus en détail

Programmation parallèle et distribuée

Programmation parallèle et distribuée ppd/mpassing p. 1/43 Programmation parallèle et distribuée Communications par messages Philippe MARQUET Philippe.Marquet@lifl.fr Laboratoire d informatique fondamentale de Lille Université des sciences

Plus en détail

Master Informatique Aix-Marseille Université

Master Informatique Aix-Marseille Université Aix-Marseille Université http://masterinfo.univ-mrs.fr/ Département Informatique et Interactions UFR Sciences Laboratoire d Informatique Fondamentale Laboratoire des Sciences de l Information et des Systèmes

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

Implémentation des SGBD

Implémentation des SGBD Implémentation des SGBD Structure générale des applications Application utilisateur accédant à des données d'une base Les programmes sous-jacents contiennent du code SQL Exécution : pendant l'exécution

Plus en détail

Groupe de Discussion Big Data Aperçu des technologies et applications. Stéphane MOUTON stephane.mouton@cetic.be

Groupe de Discussion Big Data Aperçu des technologies et applications. Stéphane MOUTON stephane.mouton@cetic.be Groupe de Discussion Big Data Aperçu des technologies et applications Stéphane MOUTON stephane.mouton@cetic.be Recherche appliquée et transfert technologique q Agréé «Centre Collectif de Recherche» par

Plus en détail

Contrôle par commande prédictive d un procédé de cuisson sous infrarouge de peintures en poudre.

Contrôle par commande prédictive d un procédé de cuisson sous infrarouge de peintures en poudre. Contrôle par commande prédictive d un procédé de cuisson sous infrarouge de peintures en poudre. Isabelle Bombard, Bruno da Silva, Pascal Dufour *, Pierre Laurent, Joseph Lieto. Laboratoire d Automatique

Plus en détail

Bases de Données Réparties

Bases de Données Réparties Bases de Données Réparties Architecture Mise en œuvre Duplication et Réplication Michel Tuffery BDR : Définition Ensemble de bases de données gérées par des sites différents et apparaissant à l utilisateur

Plus en détail

Mobile OGSI.NET: Grid Computing on Mobile Devices

Mobile OGSI.NET: Grid Computing on Mobile Devices Mobile OGSI.NET: Grid Computing on Mobile Devices David C.Chu Université de Californie, Berkeley Marty Humphrey Université de Virginie Publié en Novembre 2004 lors de la 5ième conférence IEEE/ACM International

Plus en détail

4. Utilisation d un SGBD : le langage SQL. 5. Normalisation

4. Utilisation d un SGBD : le langage SQL. 5. Normalisation Base de données S. Lèbre slebre@unistra.fr Université de Strasbourg, département d informatique. Présentation du module Contenu général Notion de bases de données Fondements / Conception Utilisation :

Plus en détail