Putting Consistency back into Eventual Consistency

Abstract : Geo-replicated storage systems are at the core of current Internet services. The designers of the replication protocols used by these systems must choose between either supporting low-latency, eventually-consistent operations, or ensuring strong consistency to ease application correctness. We propose an alternative consistency model, Explicit Consistency, that strengthens eventual consistency with a guarantee to preserve specific invariants defined by the applications. Given these application-specific invariants, a system that supports Explicit Consistency identifies which operations would be unsafe under concurrent execution, and allows programmers to select either violation-avoidance or invariant-repair techniques. We show how to achieve the former, while allowing operations to complete locally in the common case, by relying on a reservation system that moves coordination off the critical path of operation execution. The latter, in turn, allows operations to execute without restriction, and restore invariants by applying a repair operation to the database state. We present the design and evaluation of Indigo, a middleware that provides Explicit Consistency on top of a causally-consistent data store. Indigo guarantees strong application invariants while providing similar latency to an eventually-consistent system in the common case.
Type de document :
Communication dans un congrès
European Conference on Computer Systems (EuroSys), Apr 2015, Bordeaux, France. ACM, pp.6:1--6:16, 2015, 〈http://eurosys2015.labri.fr/〉. 〈10.1145/2741948.2741972〉
Liste complète des métadonnées

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

Contributeur : Alain Monteil <>
Soumis le : jeudi 24 décembre 2015 - 09:42:52
Dernière modification le : jeudi 11 janvier 2018 - 06:20:06


Fichiers produits par l'(les) auteur(s)




Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno Preguiça, et al.. Putting Consistency back into Eventual Consistency. European Conference on Computer Systems (EuroSys), Apr 2015, Bordeaux, France. ACM, pp.6:1--6:16, 2015, 〈http://eurosys2015.labri.fr/〉. 〈10.1145/2741948.2741972〉. 〈hal-01248191〉



Consultations de la notice


Téléchargements de fichiers