Imperial College London
Alternate

ProfessorPhilippaGardner

Faculty of Engineering, Department of Computing

Professor of Theoretical Computer Science
 
 
 
//

Contact

 

+44 (0)20 7594 8292p.gardner Website

 
 
//

Location

 

453Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@unpublished{Xiong:2019,
author = {Xiong, S and Cerone, A and Raad, A and Gardner, P},
publisher = {arXiv},
title = {Data consistency in transactional storage systems: a centralised approach.},
url = {https://arxiv.org/abs/1901.10615v2},
year = {2019}
}
Download

RIS format (EndNote, RefMan)

TY  - UNPB
AB  - 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.
AU  - Xiong,S
AU  - Cerone,A
AU  - Raad,A
AU  - Gardner,P
PB  - arXiv
PY  - 2019///
TI  - Data consistency in transactional storage systems: a centralised approach.
UR  - https://arxiv.org/abs/1901.10615v2
UR  - http://hdl.handle.net/10044/1/75939
ER  -
Download