Data Consistency in Transactional Storage Systems: a Centralised Approach

01/29/2019
by   Shale Xiong, et al.
0

Modern distributed databases weaken data consistency guarantees to allow for faster transaction processing. It poses several challenges: formalising user-observable behaviour; then verifying protocols of databases and reasoning about client applications. We abstract such databases to centralised multi-version key-value stores and client views which provide partial information about such stores. We propose an operational semantics that is parametric in the notion of execution test, which determines if a client with a given view is allowed to commit a transaction. Different execution tests give rise to different consistency models, which are equivalent to the declarative consistency models defined in the literature. Using our semantics, we prove the correctness of distributed protocols and analyse the robustness of simple client applications.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

02/26/2018

Observable atomic consistency for CvRDTs

The development of distributed systems requires developers to balance th...
11/29/2021

Verifying Transactional Consistency of MongoDB

MongoDB is a popular general-purpose, document-oriented, distributed NoS...
02/23/2018

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

Storage systems based on Weak Consistency provide better availability an...
05/28/2019

On mixing eventual and strong consistency: Bayou revisited

In this paper we study the properties of eventually consistent distribut...
10/23/2019

A Queue-oriented Transaction Processing Paradigm

Transaction processing has been an active area of research for several d...
06/04/2019

Reconfigurable Atomic Transaction Commit (Extended Version)

Modern data stores achieve scalability by partitioning data into shards ...
12/28/2017

An Innovative Approach for Achieving Composability in Concurrent Systems using Multi-Version Object Based STMs

In the modern era of multicore processors, utilizing multiple cores prop...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.