LIPIcs.CONCUR.2016.3.pdf
- Filesize: 0.63 MB
- 14 pages
Document
Consistency in 3D (Invited Paper)
Authors
-
Part of:
Volume:
27th International Conference on Concurrency Theory (CONCUR 2016)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: International Conference on Concurrency Theory (CONCUR) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2016-08-24
Cite As Get BibTex
Marc Shapiro, Masoud Saeida Ardekani, and Gustavo Petri. Consistency in 3D (Invited Paper). In 27th International Conference on Concurrency Theory (CONCUR 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 59, pp. 3:1-3:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
https://doi.org/10.4230/LIPIcs.CONCUR.2016.3
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.
Subject Classification
Keywords
- Consistency models
- replicated data
- structural invariants
- correctness of distributed systems
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads