Data Consistency in Transactional Storage Systems: a Centralised Approach release_vudgmqlgongppbm6a5yeonijy4

by Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner

Released as a article .

2019  

Abstract

We introduce an interleaving operational semantics for describing the client-observable behaviour of atomic transactions on distributed key-value stores. Our semantics builds on abstract states comprising centralised, global key-value stores and partial client views. We provide operational definitions of consistency models for our key-value stores which are shown to be equivalent to the well-known declarative definitions of consistency model for execution graphs. We explore two immediate applications of our semantics: specific protocols of geo-replicated databases (e.g. COPS) and partitioned databases (e.g. Clock-SI) can be shown to be correct for a specific consistency model by embedding them in our centralised semantics; programs can be directly shown to have invariant properties such as robustness results against a weak consistency model.
In text/plain format

Archived Files and Locations

application/pdf  1.3 MB
file_3ubpmrucbjhbfigkqufqfi2aye
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2019-10-04
Version   v2
Language   en ?
arXiv  1901.10615v2
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 50cd3523-73cc-4f30-8964-42bd5486bb8a
API URL: JSON