Data Consistency in Transactional Storage Systems: a Centralised
Approach
release_vudgmqlgongppbm6a5yeonijy4
by
Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner
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) |
1901.10615v2
access all versions, variants, and formats of this works (eg, pre-prints)