Improving the "Correct Eventual Consistency" Tool - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2018

Improving the "Correct Eventual Consistency" Tool

(1) , (1)
Sreeja S Nair
  • Function : Author
  • PersonId : 1022830
Marc Shapiro


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.
Fichier principal
Vignette du fichier
RR-9191.pdf (619.87 Ko) Télécharger le fichier
Vignette du fichier (1.13 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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



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



Gmail Facebook Twitter LinkedIn More