A safe and generic model for synchronizing divergent data

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 <i>la convergence</i> et <i>le respect de la causalité.</i> Il est également extensible à d'autres types de données.

[1]  John S. Heidemann,et al.  Resolving File Conflicts in the Ficus File System , 1994, USENIX Summer.

[2]  Clarence A. Ellis,et al.  Concurrency control in groupware systems , 1989, SIGMOD '89.

[3]  Prasun Dewan,et al.  A flexible object merging framework , 1994, CSCW '94.

[4]  Marvin Theimer,et al.  Flexible update propagation for weakly consistent replication , 1997, SOSP.

[5]  Dennis Shasha,et al.  The dangers of replication and a solution , 1996, SIGMOD '96.

[6]  Pascal Molli,et al.  VOTE: Group Editors Analyzing Tool: System Description , 2003, Electron. Notes Theor. Comput. Sci..

[7]  Benjamin C. Pierce,et al.  What is a file synchronizer? , 1998, MobiCom '98.

[8]  Reidar Conradi,et al.  Version models for software configuration management , 1998, CSUR.

[9]  Henry M. Levy,et al.  Optimistic Replication for Internet Data Services , 2000, DISC.

[10]  Chengzheng Sun,et al.  Consistency maintenance in real-time collaborative graphics editing systems , 2002, TCHI.

[11]  Yanchun Zhang,et al.  Achieving convergence, causality preservation, and intention preservation in real-time cooperative editing systems , 1998, TCHI.

[12]  Matthias Ressel,et al.  An integrating, transformation-oriented approach to concurrency control and undo in group editors , 1996, CSCW '96.

[13]  Narain H. Gehani,et al.  Scalable Update Propagation in Epidemic Replicated Databases , 1996, EDBT.

[14]  Hector Garcia-Molina,et al.  Meaningful change detection in structured data , 1997, SIGMOD '97.

[15]  Pascal Molli,et al.  Development of Transformation Functions Assisted by a Theorem Prover , 2002 .

[16]  Walter F. Tichy,et al.  Rcs — a system for version control , 1985, Softw. Pract. Exp..

[17]  Mahadev Satyanarayanan,et al.  Flexible and Safe Resolution of File Conflicts , 1995, USENIX.

[18]  Jean Ferrié,et al.  Concurrent operations in a distributed and mobile collaborative environment , 1998, Proceedings 14th International Conference on Data Engineering.

[19]  Michaël Rusinowitch,et al.  Proving Correctness of Transformation Functions in Real-Time Groupware , 2003, ECSCW.

[20]  Sorin Stratulat,et al.  A General Framework to Build Contextual Cover Set Induction Provers , 2001, J. Symb. Comput..

[21]  Jean Ferrié,et al.  Serialization of concurrent operations in a distributed collaborative environment , 1997, GROUP.

[22]  Dean Daniels,et al.  Oracle's symmetric replication technology and implications for application design , 1994, SIGMOD '94.

[23]  Antony I. T. Rowstron,et al.  The IceCube approach to the reconciliation of divergent replicas , 2001, PODC '01.

[24]  Nicolas Vidot,et al.  Copies convergence in a distributed real-time collaborative environment , 2000, CSCW '00.

[25]  Chengzheng Sun,et al.  Undo as concurrent inverse in group editors , 2002, TCHI.