Optimistic replication and consitency maintenance in distributed collaborative environments
Réplication optimiste et cohérence des données dans les environnements collaboratifs répartis
Résumé
Collaborative editing systems (CES) allow multiple users to edit the same document. Today, massive collaborative editing becomes reality. CES are not limited to a small amount of users, they are used by thousands users. Unfortunately, current collaborative editing systems were not designed to support such collaboration. Arisen issues are not only technological difficulties; they bring algorithmic foundations of editors into question. The aim of this thesis is to propose new algorithms suitable for massive collaborative editing. We show that theses algorithms must ensure three criterions: copies convergence, intention preservation and scalability. As regards related work, only operational transformation approach (OT) ensures these three criterions.
The first contribution of this dissertation shows that OT approach designed to build real-time collaborative systems can also be used to build asynchronous systems. Using OT, we developed a configuration management tool called SO6. The second contribution is a formal approach to design and verify transformation functions for OT model. This approach relies on an automatic theorem prover. Using this approach, we show that all previously published functions are wrong. The third and last contribution of this research is a new optimistic algorithm (WOOT) that is suitable for massive collaborative editing of linear structures. This algorithm relies on a monotonic computation of a linear extension of partial orders built from relations between elements of the structure.
The first contribution of this dissertation shows that OT approach designed to build real-time collaborative systems can also be used to build asynchronous systems. Using OT, we developed a configuration management tool called SO6. The second contribution is a formal approach to design and verify transformation functions for OT model. This approach relies on an automatic theorem prover. Using this approach, we show that all previously published functions are wrong. The third and last contribution of this research is a new optimistic algorithm (WOOT) that is suitable for massive collaborative editing of linear structures. This algorithm relies on a monotonic computation of a linear extension of partial orders built from relations between elements of the structure.
Les systèmes d'édition collaborative permettent à plusieurs utilisateurs d'éditer simultanément un document. Aujourd'hui, l'édition collaborative massive est une réalité. Il ne s'agit plus d'éditer à quelques utilisateurs mais à des milliers d'utilisateurs répartis dans le monde. Les éditeurs collaboratifs actuels n'ont pas été conçus pour supporter un nombre si important d'utilisateurs. Les problèmes soulevés ne sont pas d'ordre technologique, ils remettent en cause les fondements algorithmiques des éditeurs. L'objectif de cette thèse est de proposer des algorithmes adaptés à l'édition collaborative massive. Nous montrons qu'un tel algorithme doit assurer trois critères : convergence des données, préservation des intentions et passage à l'échelle. Au regard de l'état de l'art, seul le modèle des transformées opérationnelles (OT) peut concilier ces trois critères.
La première contribution de cette thèse montre que l'approche OT conçue pour des éditeurs temps réel peut être utilisée pour réaliser des outils asynchrones. Nous avons réalisé un gestionnaire de configurations dénommé SO6. La seconde contribution est une approche formelle à la conception et à la vérification de fonctions de transformation pour le modèle OT. Cette approche repose sur un démonstrateur automatique de théorème. Avec cette approche, nous montrons que toutes les fonctions de transformation proposées jusqu'ici sont fausses. La troisième et dernière contribution de ce travail est un nouvel algorithme de réplication optimiste (WOOT) adapté à l'édition collaborative massive de structures linéaires. Ce modèle repose sur le calcul monotone d'une extension linéaire des ordres partiels formés par les relations entre les différents éléments de la structure.
La première contribution de cette thèse montre que l'approche OT conçue pour des éditeurs temps réel peut être utilisée pour réaliser des outils asynchrones. Nous avons réalisé un gestionnaire de configurations dénommé SO6. La seconde contribution est une approche formelle à la conception et à la vérification de fonctions de transformation pour le modèle OT. Cette approche repose sur un démonstrateur automatique de théorème. Avec cette approche, nous montrons que toutes les fonctions de transformation proposées jusqu'ici sont fausses. La troisième et dernière contribution de ce travail est un nouvel algorithme de réplication optimiste (WOOT) adapté à l'édition collaborative massive de structures linéaires. Ce modèle repose sur le calcul monotone d'une extension linéaire des ordres partiels formés par les relations entre les différents éléments de la structure.
Loading...