@bugraderre

From session causality to causal consistency

, , and . Parallel, Distributed and Network-Based Processing, 2004. Proceedings. 12th Euromicro Conference on, page 152 - 158. (11-13 2004)
DOI: 10.1109/EMPDP.2004.1271440

Abstract

We discuss relationships between client-centric consistency models (known as session guarantees), and data-centric consistency models. The first group includes: read-your-writes guarantee, monotonic-writes guarantee, monotonic-reads guarantee and writes-follow-reads guarantee. The other group includes: atomic consistency, sequential consistency, causal consistency, processor consistency, PRAM consistency, weak consistency, release consistency, scope consistency and entry consistency. We use a consistent notation to present formal definitions of both kinds of consistency models in the context of replicated shared objects. Next, we prove a relationship between causal consistency model and client-centric consistency models. Apparently, causal consistency is similar to writes-follow-reads guarantee. We show that in fact causal consistency requires all common session guarantees, i.e. read-your-writes, monotonic-writes, monotonic-reads and writes-follow-reads to be preserved.

Description

IEEE Xplore - Abstract Page

Links and resources

Tags

community

  • @bugraderre
  • @caracol48
  • @dblp
@bugraderre's tags highlighted