Improving the "Correct Eventual Consistency" Tool - Archive ouverte HAL
Rapport (Rapport De Recherche) Année : 2018

Improving the "Correct Eventual Consistency" Tool

Sreeja S Nair
  • Fonction : Auteur
  • PersonId : 1022830
DistributEd aLgorithms and sYStems
Marc Shapiro
DistributEd aLgorithms and sYStems
CV

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. It provides information about the errors during concurrent operations and suggestions on how and where to synchronize operations. This report presents two features of the tool: providing a counterexample for debugging and concurrency control suggestions.

Domaines

Calcul parallèle, distribué et partagé [cs.DC] Base de données [cs.DB] Génie logiciel [cs.SE]
Fichier principal
Vignette du fichier
RR-9191.pdf (619.87 Ko) Télécharger le fichier
RR-9191.zip (1.13 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Sreeja Nair  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01832888

Soumis le : lundi 9 juillet 2018-10:31:21

Dernière modification le : vendredi 6 décembre 2024-03:19:48

Archivage à long terme le : mardi 2 octobre 2018-06:21:18

Télécharger pour visualiser

Dates et versions

hal-01832888 , version 1 (09-07-2018)

Identifiants

Citer

Sreeja S Nair, Marc Shapiro. Improving the "Correct Eventual Consistency" Tool. [Research Report] RR-9191, Sorbonne Université. 2018. ⟨hal-01832888⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA INRIA-RRRT LIP6 INRIA2 LARA SORBONNE-UNIVERSITE SU-SCIENCES ANR
210 Consultations
99 Téléchargements

Altmetric

Partager

More