Eventually Consistent Register Revisited

Abstract : In order to converge in the presence of concurrent updates, modern eventually consistent replication systems rely on causality information and operation semantics. It is relatively easy to use semantics of high-level operations on replicated data structures, such as sets, lists, etc. However, it is difficult to exploit semantics of operations on registers, which store opaque data. In existing register designs, concurrent writes are resolved either by the application, or by arbitrating them according to their timestamps. The former is complex and may require user intervention, whereas the latter causes arbitrary updates to be lost. In this work, we identify a register construction that generalizes existing ones by combining runtime causality ordering, to identify concurrent writes, with static data semantics, to resolve them. We propose a simple conflict resolution template based on an application-predefined order on the domain of values. It eliminates or reduces the number of conflicts that need to be resolved by the user or by an explicit application logic. We illustrate some variants of our approach with use cases, and how it generalizes existing designs.
Type de document :
Communication dans un congrès
ACM. Int. W. on Principles and Practice of Consistency for Distributed Data (PaPoC), Apr 2016, London, United Kingdom. Int. W. on Principles and Practice of Consistency for Distributed Data (PaPoC), PaPoC 2016, pp.7, 2016, Int. W. on Principles and Practice of Consistency for Distributed Data (PaPoC). 〈http://www2.ucsc.edu/papoc-2016/〉. 〈10.1145/2911151.2911157〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01242700
Contributeur : Marc Shapiro <>
Soumis le : dimanche 13 décembre 2015 - 22:32:48
Dernière modification le : jeudi 11 janvier 2018 - 06:20:06
Document(s) archivé(s) le : samedi 29 avril 2017 - 12:28:05

Fichiers

mvreg_arXiv.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Copyright (Tous droits réservés)

Identifiants

Collections

Citation

Marek Zawirski, Carlos Baquero, Annette Bieniusa, Nuno Preguiça, Marc Shapiro. Eventually Consistent Register Revisited. ACM. Int. W. on Principles and Practice of Consistency for Distributed Data (PaPoC), Apr 2016, London, United Kingdom. Int. W. on Principles and Practice of Consistency for Distributed Data (PaPoC), PaPoC 2016, pp.7, 2016, Int. W. on Principles and Practice of Consistency for Distributed Data (PaPoC). 〈http://www2.ucsc.edu/papoc-2016/〉. 〈10.1145/2911151.2911157〉. 〈hal-01242700〉

Partager

Métriques

Consultations de la notice

1109

Téléchargements de fichiers

151