Service de réconciliation pour la synchronisation de copies

Transcription

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

2 Plan Service de réconciliation pour la synchronisation de copies 1. Contexte La technologie des transformées opérationnelles : SOCT Objectif et démarche Intégration du service dans le conteneur extensible Architecture du service de réconciliation Description des entités du service Entités externes : séquenceur global Expérimentation : projet AMPROS Conclusion et perspectives L. Chateigner, S. Chabridon, N. Sabri et G. Bernard juin

3 1 Contexte Service de réconciliation pour la synchronisation de copies 1.1. Environnement mobile Réplication et travail collaboratif L. Chateigner, S. Chabridon, N. Sabri et G. Bernard juin

4 1.1 Environnement mobile 1 Contexte L. Chateigner, S. Chabridon, N. Sabri et G. Bernard juin

5 1.2 Réplication et travail collaboratif 1 Contexte Processus de création et de placement de copies des entités logicielles [Dedieu, 2002] Réplication optimiste : La synchronisation des copies gère les divergences après leur apparition Réplication pessimiste : Les verrous posés évitent l apparition de divergence entre les copies [Bouazza and Molli, 2000] L. Chateigner, S. Chabridon, N. Sabri et G. Bernard juin

6 Service de réconciliation pour la synchronisation de copies 2 La technologie des transformées opérationnelles : SOCT4 Conçu pour le travail collaboratif à contraintes de temps Utilise le mécanisme de duplication optimiste Exploitation des propriétés sémantiques des opérations Prise en compte de l aspect mobilité Trois conditions à satisfaire : Préservation de la causalité : Ordre d exécution identique sur tous les sites Préservation de l intention de l utilisateur : Prise en compte des opérations concurrentes grâce à la fonction de transposition avant Convergence des copies : La transformée avant doit vérifier : C1 : L. Chateigner, S. Chabridon, N. Sabri et G. Bernard juin

7 2.1 Composants CORBA 2 La technologie des transformées opérationnelles : SOCT4 Applications réparties à base de composants CORBA [CCM, ] L. Chateigner, S. Chabridon, N. Sabri et G. Bernard juin

8 3 Objectif et démarche Service de réconciliation pour la synchronisation de copies Fournir un service de réconciliation autonome à des applications à base de composants Approche composant : CCM (Corba Component Model) [CCM, ] Séparation des aspects fonctionnels et extra-fonctionnels Conteneur extensible [Vadet and Merle, 2001] projet IST COACH [Vadet and all, 2002] Intégrer un service extra-fonctionnel dédié à la réconciliation Algorithme de synchronisation SOCT4 (Sérialisation des opérations concurrentes par transposition) [Suleiman et al., 1997, Suleiman et al., 1998, Vidot et al., 2000, Vidot, 2002] L. Chateigner, S. Chabridon, N. Sabri et G. Bernard juin

9 Service de réconciliation pour la synchronisation de copies 4 Intégration du service dans le conteneur extensible Terminal de l utilisateur opérations de Composant client l utilisateur Composant réplica opérations des autres utilisateurs Conteneur Service de Réconciliation L. Chateigner, S. Chabridon, N. Sabri et G. Bernard juin

10 Service de réconciliation pour la synchronisation de copies 5 Architecture du service de réconciliation Composant client Composant réplica Service de connectivité ReconcilController Séquenceur global ReconcilInit ReconcilManager QueueStateNotif OpQueuing QueueMger TicketProvider TimestampMger Service de Réconciliation Conteneur GroupComm BroadcastMger L. Chateigner, S. Chabridon, N. Sabri et G. Bernard juin

11 Rôle du ReconcilController 6 Description des entités du service assurer l interception des opérations locales et distantes Service de réconciliation pour la synchronisation de copies ranger les opérations interceptées dans les files du QueueMger Rôle du ReconcilManager implémenter l algorithme de réconciliation SOCT4 coordonner le processus de réconciliation allouer une ou plusieurs files pour journaliser les opérations notifier de l état des files d opérations offrir une interface : OpQueuing diffuser les opérations offrir une interface : GroupComm offrir deux interfaces : ReconcilInit, QueueStateNotif Rôle du QueueMger Rôle du BroadcastMger [JG, ] Rôle du TimestampMger fournir des tickets uniques et ordonnées offrir une interface : TicketProvider L. Chateigner, S. Chabridon, N. Sabri et G. Bernard juin

12 Service de réconciliation pour la synchronisation de copies 7 Entités externes : séquenceur global Fournir des tickets uniques et ordonnés pour estampiller les opérations Permettre d ordonner de manière globale et continue toutes les opérations Problème : robustesse du séquenceur centralisé Solution : utilisation d un service de séquenceur réparti et tolérant aux fautes. [Baldoni et al., 2002] L. Chateigner, S. Chabridon, N. Sabri et G. Bernard juin

13 8 Expérimentation : projet AMPROS Service de réconciliation pour la synchronisation de copies Projet de recherche Franco-finlandais Contexte : Traitement de cas d urgence, réseaux sans fils Objectif : Gestion des déconnexions, gestion de la cohérence [Conan and Bernard, 2004] L. Chateigner, S. Chabridon, N. Sabri et G. Bernard juin

14 9 Conclusion et perspectives Service de réconciliation pour la synchronisation de copies Expérimentation de l algorithme de réconciliation SOCT4 Considération de la réconciliation comme un aspect extra-fonctionnel Proposition d un service de réconciliation automone Réconciliation des données Algorithme de réconciliation confiné dans un unique objet ReconcilManager Adaptation facilitée selon les besoins spécifiques de l application Gestion du fonctionnement en mode déconnecté Architecture de type peer-to-peer Finir le prototypage du service de réconciliation préconisé Faire des tests de performance L. Chateigner, S. Chabridon, N. Sabri et G. Bernard juin

15 Références Service de réconciliation pour la synchronisation de copies [CCM, ] CORBA Components v3.0, Document OMG, http ://cgi.omg.org/cgi-bin/doc?formal/ [JG, ] JGroups Home page. http :// [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 and Bernard, 2004] Conan, D. Taconnet, C. A. D. C. L. K. N. and Bernard, G. (Février 2004). A Pro-active Middleware Platform for Mobile Environments. In IASTED-SE, Insbruck, Autriche. [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. [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. [Vadet and all, 2002] Vadet, M. and all (September, 2002). IST COACH (Component Based Open Source Architecture for Distributed Telecom Applications) PROJECT. http :// L. Chateigner, S. Chabridon, N. Sabri et G. Bernard juin

16 Service de réconciliation pour la synchronisation de copies [Vadet and Merle, 2001] Vadet, M. and Merle, P. (Oct. 2001). Les conteneurs ouverts dans les plates-formes à composants. In In Proc. Journées Thème Émergent Composants, Besançon, France. [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. L. Chateigner, S. Chabridon, N. Sabri et G. Bernard juin