AI Chat AI Image Generator AI Video Text to Speech

Improving the "Correct Eventual Consistency" Tool

07/17/2018

∙

by Sreeja Nair, et al.

∙

∙

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.

Sreeja Nair
3 publications
Marc Shapiro
11 publications

research

∙ 02/23/2018

IPA: Invariant-preserving Applications for Weakly-consistent Replicated Databases

Storage systems based on Weak Consistency provide better availability an...

0 Valter Balegas, et al. ∙

research

∙ 11/19/2020

Checking Causal Consistency of Distributed Databases

The CAP Theorem shows that (strong) Consistency, Availability, and Parti...

0 Rachid Zennou, et al. ∙

research

∙ 12/30/2022

Anticipation of Method Execution in Mixed Consistency Systems – Technical Report

Distributed applications often deal with data with different consistency...

0 Marco Giunti, et al. ∙

research

∙ 01/19/2018

Just-Right Consistency: reconciling availability and safety

By the CAP Theorem, a distributed data storage system can ensure either ...

0 Marc Shapiro, et al. ∙

research

∙ 11/13/2020

Wisdom of the Ensemble: Improving Consistency of Deep Learning Models

Deep learning classifiers are assisting humans in making decisions and h...

10 Lijing Wang, et al. ∙

research

∙ 10/13/2020

CISE3: Verifying Weakly Consistent Applications with Why3

In this paper we present a tool for the formal analysis of applications ...

0 Filipe Meirim, et al. ∙

research

∙ 02/16/2021

C11Tester: A Race Detector for C/C++ Atomics Technical Report

Writing correct concurrent code that uses atomics under the C/C++ memory...

0 Weiyu Luo, et al. ∙