loading...
From Session Causality to Causal Consistency
A Coruna, Spain February 11-February 13
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EMPDP.2004.127144012th Euromicro Conference on Parallel ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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.