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

02/23/2018
by   Valter Balegas, et al.
0

Storage systems based on Weak Consistency provide better availability and lower latency than systems that use Strong Consistency, especially in geo-replicated settings. However, under Weak Consistency, it is harder to ensure the correctness of applications, as the execution of uncoordinated operations may lead to invalid states. In this paper we show how to modify an application to make it run correctly under Weak Consistency. We developed an analysis that detects which operations need to be corrected, and proposes possible modifications to operations to prevent inconsistencies. This analysis allows the programmer to choose the preferred semantics for each problematic execution, while preserving the original semantics of operations when no conflicts occur. The modified application runs with small overhead when compared with its Weak Consistency counterpart, which cannot preserve application correctness.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/30/2022

Anticipation of Method Execution in Mixed Consistency Systems – Technical Report

Distributed applications often deal with data with different consistency...
research
07/17/2018

Improving the "Correct Eventual Consistency" Tool

Preserving invariants while designing distributed applications under wea...
research
07/01/2019

On consistency types for lattice-based distributed programming languages

Distributed systems address an increasing demand for fast access to reso...
research
11/14/2022

On Consistency for Bulk-Bitwise Processing-in-Memory

Processing-in-memory (PIM) architectures allow software to explicitly in...
research
06/21/2018

Automated Detection of Serializability Violations under Weak Consistency

While a number of weak consistency mechanisms have been developed in rec...
research
01/29/2019

Data Consistency in Transactional Storage Systems: a Centralised Approach

Modern distributed databases weaken data consistency guarantees to allow...
research
05/14/2019

Automated Parameterized Verification of CRDTs

Maintaining multiple replicas of data is crucial to achieving scalabilit...

Please sign up or login with your details

Forgot password? Click here to reset