A safe and generic model for synchronizing divergent data
Pages 98 - 106
Abstract
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.
References
[1]
S. Balasubramaniam and B. C. Pierce. What is a file synchronizer? In Mobile Computing and Networking, pages 98--108, 1998.]]
[2]
B. Berliner. CVS II: Parallelizing Software Development. In Proceedings of USENIX, Washigton D. C., 1990.]]
[3]
S. S. Chawathe and H. Garcia-Molina. Meaningful change detection in structured data. In Proceedings of the 1997 ACM SIGMOD International Conference on Management of Data, pages 26--37. ACM Press, 1997.]]
[4]
R. Conradi and B. Westfechtel. Version models for software configuration management. ACM Computing Surveys (CSUR), 30(2):232--282, 1998.]]
[5]
D. Daniels, L. B. Doo, A. Downing, C. Elsbernd, G. Hallmark, S. Jain, B. Jenkins, P. Lim, G. Smith, B. Souder, and J. Stamos. Oracle's symmetric replication technology and implications for application design. In Proceedings of the 1994 ACM SIGMOD international conference on Management of data, page 467. ACM Press, 1994.]]
[6]
C. A. Ellis and S. J. Gibbs. Concurrency control in groupware systems. In SIGMOD Conference, volume 18, pages 399--407, 1989.]]
[7]
J. Estublier, editor. Software Configuration Management: Selected Papers of the ICSE SCM-4 and SCM-5 Workshops, number 1005 in Lecture Notes in Computer Science. Springer-Verlag, October 1995.]]
[8]
J. Gray, P. Helland, P. O'Neil, and D. Shasha. The dangers of replication and a solution. In Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, pages 173--182. ACM Press, 1996.]]
[9]
A. Imine, P. Molli, G. Oster, and M. Rusinowitch. Development of transformation functions assisted by a theorem prover. In Fourth International Workshop on Collaborative Editing, New Orleans, Louisiana, USA, November 2002.]]
[10]
A. Imine, P. Molli, G. Oster, and M. Rusinowitch. Proving correctness of transformation functions in real-time groupware. In Proceedings of the 8th European Conference on Computer-Supported Cooperative Work, Helsinki, Finland, September 2003.]]
[11]
A. Imine, P. Molli, G. Oster, and P. Urso. Vote: Group editors analyzing tool. In International Workshop on First-Order Theorem Proving, June 2003.]]
[12]
A.-M. Kermarrec, A. Rowstron, M. Shapiro, and P. Druschel. The IceCube approach to the reconciliation of divergent replicas. In Proceedings of the Twentieth ACM Symposium on Principles of Distributed Computing (PODC), Newport RI, USA, August 2001.]]
[13]
P. Kumar and M. Satyanarayanan. Flexible and safe resolution of file conflicts. In USENIX Winter, pages 95--106, 1995.]]
[14]
J. P. Munson and P. Dewan. A flexible object merging framework. In Proceedings of ACM CSCW'94 Conference on Computer-Supported Cooperative Work, Technologies for Sharing I, pages 231--242, 1994.]]
[15]
K. Petersen, M. J. Spreitzer, D. B. Terry, M. M. Theimer, and A. J. Demers. Flexible update propagation for weakly consistent replication. In Proceedings of the 16th ACM Symposium on Operating SystemsPrinciples (SOSP-16), Saint Malo, France, 1997.]]
[16]
M. Rabinovich, N. H. Gehani, and A. Kononov. Scalable update propagation in epidemic replicated databases. In Extending Database Technology, pages 207--222, 1996.]]
[17]
P. L. Reiher, J. S. Heidemann, D. Ratner, G. Skinner, and G. J. Popek. Resolving file conflicts in the ficus file system. In USENIX Summer, pages 183--195, 1994.]]
[18]
M. Ressel, D. Nitsche-Ruhland, and R. Gunzenhauser. An integrating, transformation-oriented approach to concurrency control and undo in group editors. In Proceedings of the ACM Conference on Computer Supported Cooperative Work (CSCW'96), pages 288--297, Boston, Massachusetts, USA, November 1996.]]
[19]
Y. Saito and H. M. Levy. Optimistic replication for internet data services. In International Symposium on Distributed Computing, pages 297--314, 2000.]]
[20]
S. Stratulat. A general framework to build contextual cover set induction provers. Journal of Symbolic Computation. 32(4):403--445, 2001.]]
[21]
M. Suleiman, M. Cart, and J. Ferrié. Concurrent operations in a distributed and mobile collaborative environment. In Proceedings of the Fourteenth International Conference on Data Engineering (ICDE'98), pages 36--45, Orlando, Florida, USA, February 1998. IEEE Computer Society.]]
[22]
M. Suleiman, M. Cart, and J. Ferrié. Serialization of concurrent operations in a distributed collaborative environment. In Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work: The Integration Challenge (GROUP'97), pages 435--445. ACM Press, November 1997.]]
[23]
C. Sun. Undo as concurrent inverse in group editors. ACM Transactions on Computer-Human Interaction (TOCHI), 9(4):309--361, December 2002.]]
[24]
C. Sun and D. Chen. Consistency maintenance in real-time collaborative graphics editing systems. ACM Transactions on Computer-Human Interaction (TOCHI), 9(1):1--41, March 2002.]]
[25]
C. Sun. X. Jia. Y. Zhang, Y. Yang, and D. Chen. Achieving convergence, causality-preservation and intention-preservation in real-time cooperative editing systems. ACM Transactions on Computer-Human Interaction (TOCHI), 5(1):63--108, March 1998.]]
[26]
W. F. Tichy. RCS - A system for version control. Software-Practice and Experience, 15(7):637--654, July 1985.]]
[27]
N. Vidot, M. Cart, J. Ferrié, and M. Suleiman. Copies convergence in a distributed real-time collaborative environment. In Proceedings of the ACM Conference on Computer Supported Cooperative Work (CSCW'00), Philadelphia, Pennsylvania. USA, December 2000.]]
Index Terms
- A safe and generic model for synchronizing divergent data
Recommendations
Comments
Information & Contributors
Information
Published In
June 2004
226 pages
Copyright © 2004 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
- Architecture, Réseaux et systèmes, Parallélisme, GdR-CNRS
- ACM: Association for Computing Machinery
- Institut IMAG: Informatique et Mathématiques Appliquées de Grenoble
- AFIHM: Ass. Francophone d'Interaction Homme-Machine
- GdR I3: Information, Interaction, Intelligence, GdR-CNRS
- CNRT Télius: Centre National de Recherche Technologique Télius
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 June 2004
Check for updates
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 275Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 09 Aug 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in