zookeeper-user mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From chen dongming <cadem...@hotmail.com>
Subject Zookeeper consistency
Date Tue, 17 Jul 2018 10:13:04 GMT

I am reading the old thread of 

I have 2 questions.

Question 1:

I agree with Zookeeper is sequential consistency, but I don't think 
Zookeeper is linearizability even if doing sync+read for every read.  
for example,

timeline ------------>

C1:                sync()                  r1(x)

C2: w2(x=1)             w2(x=2)

It is possible r1 return x=1.  This history is not linearable according 
to Herlihy difination.

Question 2:

I think that Zookeeper is linearable only if there are only write operation.


Best Regard.

View raw message