Monotonic Prefix Consistency in Distributed Systems

Abstract : We study the issue of data consistency in distributed systems. Specifically, we consider a distributed system that replicates its data at multiple sites, which is prone to partitions, and which is assumed to be available (in the sense that queries are always eventually answered). In such a setting, strong consistency, where all replicas of the system apply synchronously every operation, is not possible to implement. However, many weaker consistency criteria that allow a greater number of behaviors than strong consistency, are implementable in available distributed systems.We focus on determining the strongest consistency criterion that can be implemented in a convergent and available distributed system that tolerates partitions. We focus on objects where the set of operations can be split into updates and queries. We show that no criterion stronger than Monotonic Prefix Consistency (MPC) can be implemented.
Type de document :
Communication dans un congrès
Christel Baier; Luís Caires. 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. Springer International Publishing, Lecture Notes in Computer Science, LNCS-10854, pp.41-57, 2018, Formal Techniques for Distributed Objects, Components, and Systems. 〈10.1007/978-3-319-92612-4_3〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01824817
Contributeur : Hal Ifip <>
Soumis le : mercredi 27 juin 2018 - 15:55:32
Dernière modification le : jeudi 28 juin 2018 - 01:16:06

Fichier

 Accès restreint
Fichier visible le : 2021-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Alain Girault, Gregor Gössler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi. Monotonic Prefix Consistency in Distributed Systems. Christel Baier; Luís Caires. 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. Springer International Publishing, Lecture Notes in Computer Science, LNCS-10854, pp.41-57, 2018, Formal Techniques for Distributed Objects, Components, and Systems. 〈10.1007/978-3-319-92612-4_3〉. 〈hal-01824817〉

Partager

Métriques

Consultations de la notice

483