Skip to Main content Skip to Navigation
Reports

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
Abstract : 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.
Document type :
Reports
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-01628719
Contributor : Marc Shapiro <>
Submitted on : Thursday, December 7, 2017 - 1:53:13 PM
Last modification on : Friday, January 10, 2020 - 11:32:02 AM
Long-term archiving on: : Thursday, March 8, 2018 - 12:57:05 PM

Files

RR-9111.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

  • HAL Id : hal-01628719, version 2

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⟩

Share

Metrics

Record views

837

Files downloads

284