Specification and Complexity of Collaborative Text Editing

Abstract : Collaborative text editing systems allow users to concurrently edit a shared document, inserting and deleting elements (e.g., characters or lines). There are a number of protocols for collaborative text editing, but so far there has been no precise specification of their desired behavior, and several of these protocols have been shown not to satisfy even basic expectations. This paper provides a precise specification of a replicated list object, which models the core func-tionality of replicated systems for collaborative text editing. We define a strong list specification, which we prove is implemented by an existing protocol, as well as a weak list specification, which admits additional protocol behaviors. A major factor determining the efficiency and practical feasibility of a collaborative text editing protocol is the space overhead of the metadata that the protocol must maintain to ensure correctness. We show that for a large class of list protocols, implementing either the strong or the weak list specification requires a metadata overhead that is at least linear in the number of elements deleted from the list. The class of protocols to which this lower bound applies includes all list protocols that we are aware of, and we show that one of these protocols almost matches the bound.
Type de document :
Communication dans un congrès
ACM. Int. Symp. on Principles of Distributed Computing (PODC) 2016, Jul 2016, Chicago, IL, United States. Int. Symp. on Principles of Distributed Computing (PODC) 2016, PODC 2016, pp.10, 2016, Int. Symp. on Principles of Distributed Computing (PODC) 2016. 〈http://www.podc.org/podc2016/〉. 〈10.1145/2933057.2933090〉
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01351512
Contributeur : Marc Shapiro <>
Soumis le : mercredi 3 août 2016 - 20:23:35
Dernière modification le : jeudi 26 avril 2018 - 10:28:10
Document(s) archivé(s) le : vendredi 4 novembre 2016 - 12:13:03

Fichier

editing-podc16.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, et al.. Specification and Complexity of Collaborative Text Editing. ACM. Int. Symp. on Principles of Distributed Computing (PODC) 2016, Jul 2016, Chicago, IL, United States. Int. Symp. on Principles of Distributed Computing (PODC) 2016, PODC 2016, pp.10, 2016, Int. Symp. on Principles of Distributed Computing (PODC) 2016. 〈http://www.podc.org/podc2016/〉. 〈10.1145/2933057.2933090〉. 〈hal-01351512〉

Partager

Métriques

Consultations de la notice

379

Téléchargements de fichiers

105