A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Data Consistency in Transactional Storage Systems: A Centralised Semantics
2020
European Conference on Object-Oriented Programming
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. Using our abstract states, we present operational definitions of well-known consistency models in the literature, and prove them to be equivalent to their existing declarative definitions using abstract executions. We explore two
doi:10.4230/lipics.ecoop.2020.21
dblp:conf/ecoop/XiongCRG19
fatcat:dsqhh5fykjgphjw2d7p2hkl3au