Skip to Main content Skip to Navigation
Reports

Improving the "Correct Eventual Consistency" Tool

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. 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.
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download

https://hal.inria.fr/hal-01832888
Contributor : Sreeja Nair Connect in order to contact the contributor
Submitted on : Monday, July 9, 2018 - 10:31:21 AM
Last modification on : Tuesday, March 23, 2021 - 9:28:03 AM
Long-term archiving on: : Tuesday, October 2, 2018 - 6:21:18 AM

Identifiers

  • HAL Id : hal-01832888, version 1
  • ARXIV : 1807.06431

Citation

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

Share

Metrics

Record views

405

Files downloads

118