hi, I am reading the old thread of http://comments.gmane.org/gmane.comp.java.hadoop.zookeeper.user/5221.
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. Dominic, Best Regard.
