inria-00108119, version 1
Un modèle sûr et générique pour la synchronisation de données divergentes
Premières Journées Francophones : Mobilité et Ubiquité - UbiMob'04 (2004) 9 p
Résumé : La réconciliation de données divergentes est un des problèmes clefs de l'informatique mobile, ainsi que des systèmes de gestion de configuration. Malgré le nombre important de synchroniseurs et d'outils de fusion qui traitent ce problème, aucun critère de correction d'un processus de synchronisation n'existe. Dans cet article, nous proposons d'utiliser le modèle des transformées opérationnelles pour raisonner sur la synchronisation de données divergentes. Nous présentons un algorithme et des fonctions de transformation qui réalisent la réconciliation d'un système de fichiers. Contrairement aux autres synchroniseurs, notre système garantit des propriétés bien définies telles que la convergence et le respect de la causalité. Il est également extensible à d'autres types de données.
- a – UNIVERSITE HENRI POINCARE
- b – UNIVERSITE NANCY 2
- 1 :
- INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
- 2 :
- INRIA – CNRS : FRE2661 – Université de Franche-Comté – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
- Domaine : Informatique/Autre
- Mots-clés : synchronization – divergence – operational transformation – distributed systems || synchronisation – transformées opérationnelles – systèmes distribués
- Référence interne : A04-R-200 || oster04a
- Commentaire : Colloque avec actes et comité de lecture. nationale.
- inria-00108119, version 1
- http://hal.inria.fr/inria-00108119
- oai:hal.inria.fr:inria-00108119
- Contributeur :
- Soumis le : Jeudi 19 Octobre 2006, 15:58:35
- Dernière modification le : Vendredi 20 Octobre 2006, 15:32:31
Exporter