Update Consistency for Wait-free Concurrent Objects

Matthieu Perrin 1, 2 Achour Mostefaoui 1 Claude Jard 2
1 GDD - Gestion de Données Distribuées [Nantes]
LINA - Laboratoire d'Informatique de Nantes Atlantique
2 AELOS
LINA - Laboratoire d'Informatique de Nantes Atlantique
Abstract : In large scale systems such as the Internet, replicating data is an essential feature in order to provide availability and fault-tolerance. Attiya and Welch proved that using strong consistency criteria such as atomicity is costly as each operation may need an execution time linear with the latency of the communication network. Weaker consistency criteria like causal consistency and PRAM consistency do not ensure convergence. The different replicas are not guaranteed to converge towards a unique state. Eventual consistency guarantees that all replicas eventually converge when the participants stop updating. However, it fails to fully specify the semantics of the operations on shared objects and requires additional non-intuitive and error-prone distributed specification techniques. This paper introduces and formalizes a new consistency criterion, called update consistency, that requires the state of a replicated object to be consistent with a linearization of all the updates. In other words, whereas atomicity imposes a linearization of all of the operations, this criterion imposes this only on updates. Consequently some read operations may return out-dated values. Update consistency is stronger than eventual consistency, so we can replace eventually consistent objects with update consistent ones in any program. Finally, we prove that update consistency is universal, in the sense that any object can be implemented under this criterion in a distributed system where any number of nodes may crash.
Type de document :
Communication dans un congrès
IEEE. IPDPS - IEEE International Parallel & Distributed Processing Symposium, May 2015, Hyderabad, India. 2015, Proceedings of the 29th IEEE International Parallel & Distributed Processing Symposium
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01101657
Contributeur : Matthieu Perrin <>
Soumis le : vendredi 9 janvier 2015 - 11:37:32
Dernière modification le : mercredi 24 juin 2015 - 10:58:24
Document(s) archivé(s) le : vendredi 10 avril 2015 - 10:36:32

Fichiers

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

Identifiants

  • HAL Id : hal-01101657, version 1
  • ARXIV : 1501.02165

Collections

Citation

Matthieu Perrin, Achour Mostefaoui, Claude Jard. Update Consistency for Wait-free Concurrent Objects. IEEE. IPDPS - IEEE International Parallel & Distributed Processing Symposium, May 2015, Hyderabad, India. 2015, Proceedings of the 29th IEEE International Parallel & Distributed Processing Symposium. 〈hal-01101657〉

Partager

Métriques

Consultations de
la notice

717

Téléchargements du document

133