Improving the "Correct Eventual Consistency" Tool
This work addresses the problem of designing reliable distributed applications for developers, but it is incremental as it adds features to an existing tool.
The paper tackled the difficulty of preserving invariants in distributed applications under weak consistency by enhancing the Correct Eventual Consistency Tool with two features: providing counterexamples for debugging and offering concurrency control suggestions.
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.