BinyuHuang-nju commented on a change in pull request #1690:
URL: https://github.com/apache/zookeeper/pull/1690#discussion_r630746719
##########
File path: zookeeper-contrib/zookeeper-contrib-zabtla/README.md
##########
@@ -0,0 +1,71 @@
+# Zab-tla
+
+## Overview
+This project is devoted to providing formal specification and verification
using TLA+ for the Zookeeper Atomic Broadcast(Zab) consensus protocol proposed
in *Junqueira F P, Reed B C, Serafini M. Zab: High-performance broadcast for
primary-backup systems[C]//2011 IEEE/IFIP 41st International Conference on
Dependable Systems & Networks (DSN). IEEE, 2011: 245-256*.
Review comment:
Thank you for your suggestion! I didn't find a good manual describing
Zab with new version before and this link will be very helpful to me. I will
take time to learn about Zab 1.0!
--
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:
[email protected]
