首页 发现 帮助
注册 登录
apache
/
zookeeper
镜像自地址 https://gitee.com/apache/zookeeper.git
2
0
派生 0
文件 工单管理 0 Wiki
分支: master
分支列表 标签列表
zookeeper
/
zookeeper-specifications
/
protocol-spec
/
pic
Binyu Huang df8a53a974 ZOOKEEPER-3615: Provide formal specification and verification using TLA+ for Zab (#1690) 1 年之前
..
case_leader_process_cepoch.png df8a53a974 ZOOKEEPER-3615: Provide formal specification and verification using TLA+ for Zab (#1690) 1 年之前
protocol-spec-mck-bug1.png df8a53a974 ZOOKEEPER-3615: Provide formal specification and verification using TLA+ for Zab (#1690) 1 年之前
protocol-spec-mck-bug2.png df8a53a974 ZOOKEEPER-3615: Provide formal specification and verification using TLA+ for Zab (#1690) 1 年之前
protocol-spec-mck-bug3.png df8a53a974 ZOOKEEPER-3615: Provide formal specification and verification using TLA+ for Zab (#1690) 1 年之前