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

Colloque avec actes et comité de lecture. nationale.National audienceLa 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