[GitHub] [zookeeper] maoling commented on issue #976: ZOOKEEPER-3417:[WIP]add the new doc:zookeeperProtocols to introduce the implementation details of ZAB comparing with the raft

[GitBox <gi...@apache.org>]

maoling commented on issue #976: ZOOKEEPER-3417:[WIP]add the new doc:zookeeperProtocols to introduce the implementation details of ZAB comparing with the raft
URL: https://github.com/apache/zookeeper/pull/976#issuecomment-501095734
 
 
   - Yep, I saw [raft TLA+ spec](the https://github.com/ongardie/raft.tla/blob/master/raft.tla) .writing a one for the ZAB is a challenging work which I'm also interested in.:D 
   - The intention of this PR will also introduces the ZAB from the four parts:`leader election`, `log replication`, `safety`, `membership change`. we will discussion the details: how to elect a leader.how many RPC typs and their parameters,how to ensure the consistency，how to process some tricky corner cases.etc

----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
 
For queries about this service, please contact Infrastructure at:
users@infra.apache.org


With regards,
Apache Git Services