Evaluation of the CEC (Correct Eventual Consistency) Tool
Évaluation de l'outil CEC (Correct Eventual Consistency) pour la vérification des applications à cohérence à terme
Résumé
Preserving invariants while designing distributed applications under weak consistency models is difficult.
The CEC (Correct Eventual Consistency Tool) is meant to aid the application designer in this task.
This report presents some specifications tried out using the tool and some recommendations for its improvement based on the usage experience.
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.
Domaines
Autre [cs.OH]
Fichier principal
RR-9111.pdf (741.37 Ko)
Télécharger le fichier
bounded_counter_op_based.pdf (43.07 Ko)
Télécharger le fichier
code.zip (314.16 Ko)
Télécharger le fichier
counter.pdf (41.71 Ko)
Télécharger le fichier
logo-inria.jpg (66.6 Ko)
Télécharger le fichier
pagei.jpg (73.32 Ko)
Télécharger le fichier
rrpage1.jpg (169.55 Ko)
Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
