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.
Type de document :
Communication dans un congrès
LIPICS. Int. Conf. on Concurrency Theory (CONCUR) 2016, Aug 2016, Québec, Canada. Int. Conf. on Concurrency Theory (CONCUR) 2016, CONCUR 2016, pp.15, 2016, Int. Conf. on Concurrency Theory (CONCUR) 2016. 〈http://www.concur2016.ulaval.ca/〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01350668
Contributeur : Marc Shapiro <>
Soumis le : jeudi 4 août 2016 - 12:33:26
Dernière modification le : vendredi 31 août 2018 - 09:25:58
Document(s) archivé(s) le : mardi 8 novembre 2016 - 19:23:23

Fichiers

concur-2016-invited.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-01350668, version 1

Collections

Citation

Marc Shapiro, Masoud Saeida Ardekani, Gustavo Petri. Consistency in 3D. LIPICS. Int. Conf. on Concurrency Theory (CONCUR) 2016, Aug 2016, Québec, Canada. Int. Conf. on Concurrency Theory (CONCUR) 2016, CONCUR 2016, pp.15, 2016, Int. Conf. on Concurrency Theory (CONCUR) 2016. 〈http://www.concur2016.ulaval.ca/〉. 〈hal-01350668〉

Partager

Métriques

Consultations de la notice

140

Téléchargements de fichiers

64