Improving the "Correct Eventual Consistency" Tool

Sreeja S Nair (1) , Marc Shapiro (1)

1 DELYS - DistributEd aLgorithms and sYStems

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.

Domaines: Calcul parallèle, distribué et partagé [cs.DC]; Base de données [cs.DB]; Génie logiciel [cs.SE]

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