The CISE Tool: Proving Weakly-Consistent Applications Correct

Abstract : Designers of a replicated database face a vexing choice between strong consistency, which ensures certain application invariants but is slow and fragile, and asynchronous replication, which is highly available and responsive, but exposes the programmer to unfamiliar behaviours. To bypass this conundrum, recent research has studied hybrid consistency models, in which updates are asynchronous by default, but synchronisation is available upon request. To help programmers exploit hybrid consistency, we propose the first static analysis tool for proving integrity invariants of applications using databases with hybrid consistency models. This allows a programmer to find minimal consistency guarantees sufficient for application correctness.
Type de document :
Communication dans un congrès
PaPoC 2016 - 2nd Workshop on the Principles and Practice of Consistency for Distributed Data , Apr 2016, Londres, United Kingdom. ACM, 〈10.1145/2911151.2911160〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01350636
Contributeur : Brigitte Briot <>
Soumis le : lundi 1 août 2016 - 09:02:42
Dernière modification le : mercredi 21 mars 2018 - 18:58:22
Document(s) archivé(s) le : mardi 8 novembre 2016 - 19:48:21

Fichier

CISE-tool-PaPoC-2016.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Mahsa Najafzadeh, Alexey Gotsman, Hongseok Yang, Carla Ferreira, Marc Shapiro. The CISE Tool: Proving Weakly-Consistent Applications Correct. PaPoC 2016 - 2nd Workshop on the Principles and Practice of Consistency for Distributed Data , Apr 2016, Londres, United Kingdom. ACM, 〈10.1145/2911151.2911160〉. 〈hal-01350636〉

Partager

Métriques

Consultations de la notice

160

Téléchargements de fichiers

59