Evaluation of the CEC (Correct Eventual Consistency) Tool

Sreeja Nair 1
1 Regal - Large-Scale Distributed Systems and Applications
Inria de Paris, LIP6 - Laboratoire d'Informatique de Paris 6
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 : Thursday, March 21, 2019 - 1:09:21 PM
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

803

Files downloads

230