Improving the "Correct Eventual Consistency" Tool

TL;DR

This paper discusses enhancements to the CEC tool, which helps design distributed applications by debugging errors and suggesting synchronization to maintain invariants under weak consistency models.

Contribution

It introduces two new features for the CEC tool: debugging via counterexamples and improved concurrency control suggestions.

Findings

Counterexamples aid debugging of distributed applications.

Concurrency control suggestions improve invariant preservation.

Enhanced CEC tool supports better design of weakly consistent systems.

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.