1 Search Results for "Ardekani, Masoud Saeida"

Document

Invited Paper

DOI: 10.4230/LIPIcs.CONCUR.2016.3

Consistency in 3D (Invited Paper)

Authors: Marc Shapiro, Masoud Saeida Ardekani, and Gustavo Petri

Published in: LIPIcs, Volume 59, 27th International Conference on Concurrency Theory (CONCUR 2016)

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.

Cite as

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)

Copy BibTex To Clipboard

@InProceedings{shapiro_et_al:LIPIcs.CONCUR.2016.3,
  author =	{Shapiro, Marc and Ardekani, Masoud Saeida and Petri, Gustavo},
  title =	{{Consistency in 3D}},
  booktitle =	{27th International Conference on Concurrency Theory (CONCUR 2016)},
  pages =	{3:1--3:14},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-017-0},
  ISSN =	{1868-8969},
  year =	{2016},
  volume =	{59},
  editor =	{Desharnais, Jos\'{e}e and Jagadeesan, Radha},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2016.3},
  URN =		{urn:nbn:de:0030-drops-61889},
  doi =		{10.4230/LIPIcs.CONCUR.2016.3},
  annote =	{Keywords: Consistency models, replicated data, structural invariants, correctness of distributed systems}
}

Refine by Author
1 Ardekani, Masoud Saeida
1 Petri, Gustavo
1 Shapiro, Marc

Refine by Classification

Refine by Keyword
1 Consistency models
1 correctness of distributed systems
1 replicated data
1 structural invariants

Refine by Type
1 document

Refine by Publication Year
1 2016

1 Search Results for "Ardekani, Masoud Saeida"

Consistency in 3D (Invited Paper)

Abstract

Cite as

Thanks for your feedback!

Could not send message