Structure de données concurrente pour les éditeurs collaboratifs

Abstract

Avec l'arrivée du Web 2.0, l'édition collaborative devient massive. Ce changement d'échelle met à mal les approches existantes qui n'ont pas été conçues pour une telle charge. Afin de répartir la charge et ainsi, obtenir un plus grand passage à l'échelle, de nombreux systèmes utilisent une architecture dite pair-a-pair. Dans ces systèmes, les données sont répliquées sur plusieurs pairs et il est alors nécessaire de définir des algorithmes de réplication optimiste adaptés aux caractéristiques des réseaux pair-a-pair : la dynamicité, la symétrie et bien sur le nombre massif d'utilisateurs et de données. De plus, ces systèmes étant des éditeurs collaboratifs, ils doivent vérifier le modèle de cohérence dit CCI (Causalité, Convergence et Intention).

Dans notre travaille, nous proposons un modèle formel pour les systèmes d'édition collaborative dans les environnements paire à paire qui nous permet de formaliser le modèle CCI. Dans ce modèle, nous proposons un type de données répliqué commutatif (CRDT) simple pour les documents texte. Comme perspectif, nous essayerons d’ajouter un mécanisme d’annulation et de contrôle d’accès pour notre modèle de collaboration proposé afin de répondre aux exigences de ces domaines.