Evaluation of the CEC (Correct Eventual Consistency) Tool

Sreeja Nair 1
1 Regal - Large-Scale Distributed Systems and Applications
LIP6 - Laboratoire d'Informatique de Paris 6, Inria de Paris
Résumé : Le maintien des invariants, dans les applications réparties s'exécutant dans un modèle de cohérence faible, est un problème difficile. L'outil CEC (Correct Eventual Consistency) est destiné à aider le développeur d'application dans cette tâche. Notre rapport présente plusieurs exemples de spécifications vérifiées en utilisant cet outil, ainsi que quelques recommandations sur son usage, basées sur notre expérience d'utilisation.
Type de document :
Rapport
[Research Report] RR-9111, Inria Paris; LIP6 UMR 7606, UPMC Sorbonne Universités, France. 2017, pp.1-27
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-01628719
Contributeur : Marc Shapiro <>
Soumis le : jeudi 7 décembre 2017 - 13:53:13
Dernière modification le : jeudi 26 avril 2018 - 10:28:01
Document(s) archivé(s) le : jeudi 8 mars 2018 - 12:57:05

Fichiers

RR-9111.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

  • HAL Id : hal-01628719, version 2

Collections

Citation

Sreeja Nair. Evaluation of the CEC (Correct Eventual Consistency) Tool. [Research Report] RR-9111, Inria Paris; LIP6 UMR 7606, UPMC Sorbonne Universités, France. 2017, pp.1-27. 〈hal-01628719v2〉

Partager

Métriques

Consultations de la notice

661

Téléchargements de fichiers

97