Skip to Main content Skip to Navigation
New interface
Reports (Research report)

Evaluation of the CEC (Correct Eventual Consistency) Tool

Sreeja S 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 (Research report)
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-01628719
Contributor : Marc Shapiro Connect in order to contact the contributor
Submitted on : Thursday, December 7, 2017 - 1:53:13 PM
Last modification on : Wednesday, October 26, 2022 - 8:14:34 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 S 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

1172

Files downloads

368