Re: Q about ZK internal: how commit is being remembered

2010-01-28 Thread Benjamin Reed
henry is correct. just to state another way, Zab guarantees that if a quorum of servers have accepted a transaction, the transaction will commit. this means that if less than a quorum of servers have accepted a transaction, we can commit or discard. the only constraint we have in choosing is

Re: Q about ZK internal: how commit is being remembered

2010-01-28 Thread Qian Ye
Thanks henry and ben, actually I have read the paper henry mentioned in this mail, but I'm still not so clear with some of the details. Anyway, maybe more study on the source code can help me understanding. Since Ben said that, if less than a quorum of servers have accepted a transaction, we can

Re: Q about ZK internal: how commit is being remembered

2010-01-28 Thread Mahadev Konar
Qian, ZooKeeper gurantees that if a client sees some transaction response, then it will persist but the one's that a client does not see might be discarded or committed. So in case a quorum does not log the transaction, there might be a case wherein a zookeeper server which does not have the

Re: Q about ZK internal: how commit is being remembered

2010-01-28 Thread Qing Yan
Hi Qian Ye, Could you forward me a copy of the paper? I don't have ACM access...duo xie! btw, I was a ZJUer too.. cheers, Qing On Fri, Jan 29, 2010 at 10:02 AM, Qian Ye yeqian@gmail.com wrote: Thanks henry and ben, actually I have read the paper henry mentioned in this mail, but

Re: Q about ZK internal: how commit is being remembered

2010-01-28 Thread Qian Ye
Thanks Mahadev, I see what you mean. On Fri, Jan 29, 2010 at 10:06 AM, Mahadev Konar maha...@yahoo-inc.comwrote: Qian, ZooKeeper gurantees that if a client sees some transaction response, then it will persist but the one's that a client does not see might be discarded or committed. So in

Re: Q about ZK internal: how commit is being remembered

2010-01-28 Thread Ted Dunning
Just a quick plug for my company, but all ACM publications are available to rent at www.deepdyve.com. See, for instance, http://www.deepdyve.com/search?query=A+simple+totally+ordered+broadcast+protocol This rental service isn't the same as getting the PDF and you may prefer to subscribe to the

Re: Q about ZK internal: how commit is being remembered

2010-01-27 Thread Qian Ye
Hi Henry: According to your explanation, *ZAB makes the guarantee that a proposal which has been logged by a quorum of followers will eventually be committed* , however, the source code of Zookeeper, the FastLeaderElection.java file, shows that, in the election, the candidates only provide their

Re: Q about ZK internal: how commit is being remembered

2010-01-27 Thread Henry Robinson
Hi - Note that a machine that has the highest received zxid will necessarily have seen the most recent transaction that was logged by a quorum of followers (the FIFO property of TCP again ensures that all previous messages will have been seen). This is the property that ZAB needs to preserve. The