loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
12th Euromicro Conference on Parallel, Distributed and Network-Based Processing (PDP'04)
From Session Causality to Causal Consistency
A Coruna, Spain
February 11-February 13
ISBN: 0-7695-2083-9
Jerzy Brzeziński, Poznań University of Technology
Cezary Sobaniec, Poznań University of Technology
Dariusz Wawrzyniak, Poznań University of Technology
In this paper 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 seesionguarantees, i.e. read-your-writes, monotonic-writes, monotonic-reads and writes-follow-reads to be preserved.
Index Terms:
shared objects, remote objects, consistency models, session guarantees
Citation:
Jerzy Brzeziński, Cezary Sobaniec, Dariusz Wawrzyniak, "From Session Causality to Causal Consistency," pdp, pp.152, 12th Euromicro Conference on Parallel, Distributed and Network-Based Processing (PDP'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.