Fisheye Consistency: Keeping Data in Synch in a Georeplicated World

Abstract : Over the last thirty years, numerous consistency conditions for repli-cated data have been proposed and implemented. Popular examples include linearizability (or atomicity), sequential consistency, causal consistency, and eventual consistency. These conditions are usually defined independently from the computing entities (nodes) that manipulate the replicated data; i.e., they do not take into account how computing entities might be linked to one another, or geographically distributed. To address this lack, as a first contribution, this paper introduces the notion of proximity graph between computing nodes. If two nodes are connected in this graph, their operations must satisfy a strong consistency condition, while the operations invoked by other nodes are allowed to satisfy a weaker condition. The second contribution exploits this graph to provide a generic approach to the hybridization of data consistency conditions within the same system. We illustrate this approach on sequential consistency and causal consistency, and present a model in which all data operations are causally consistent, while operations by neighboring processes in the proximity graph are sequentially consistent. The third contribution of the paper is the design and the proof of a distributed algorithm based on this proximity graph, which combines sequential consistency and causal consistency (the resulting condition is called fisheye consistency). In doing so the paper provides a generic provably correct solution of direct relevance to modern georeplicated systems.
Type de document :
Communication dans un congrès
International Conference on NETworked sYStems (NETYS'2015), May 2015, Agadir, Morocco. Springer International Publishing, 2015, Networked Systems : Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers. 〈10.1007/978-3-319-26850-7_17〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01326888
Contributeur : François Taïani <>
Soumis le : lundi 6 juin 2016 - 10:25:12
Dernière modification le : mercredi 16 mai 2018 - 11:23:13

Fichier

LNCS-NETYS-2015-fisheye-consis...
Fichiers produits par l'(les) auteur(s)

Identifiants

Relations

  • est un autre format de hal-01081186 - conference version of technical report

Citation

R Friedman, M Raynal, François Taïani. Fisheye Consistency: Keeping Data in Synch in a Georeplicated World. International Conference on NETworked sYStems (NETYS'2015), May 2015, Agadir, Morocco. Springer International Publishing, 2015, Networked Systems : Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers. 〈10.1007/978-3-319-26850-7_17〉. 〈hal-01326888〉

Partager

Métriques

Consultations de la notice

237

Téléchargements de fichiers

58