Consistency in 3D

Abstract : Comparisons of different consistency models often try to place them in a linear strong-to-weak order. However this view is clearly inadequate, since it is well known, for instance, that Snapshot Isolation and Serialisability are incomparable. In the interest of a better understanding, we propose a new classification, along three dimensions, related to: a total order of writes, a causal order of reads, and transactional composition of multiple operations. A model may be stronger than another on one dimension and weaker on another. We believe that this new classification scheme is both scientifically sound and has good explicative value. The current paper presents the three-dimensional design space intuitively.
Document type :
Reports
Complete list of metadatas

Cited literature [30 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01343592
Contributor : Alain Monteil <>
Submitted on : Friday, July 8, 2016 - 5:21:14 PM
Last modification on : Wednesday, May 15, 2019 - 3:48:08 AM

File

RR-8932.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

  • HAL Id : hal-01343592, version 1

Citation

Marc Shapiro, Masoud Saeida Ardekani, Gustavo Petri. Consistency in 3D. [Research Report] RR-8932, Institut National de la Recherche en Informatique et Automatique (Inria). 2016. ⟨hal-01343592⟩

Share

Metrics

Record views

437

Files downloads

196