Details
-
Bug
-
Status: Open
-
Major
-
Resolution: Unresolved
-
3.5.3
-
None
-
None
Description
We are testing our distributed system model checking (DMCK)
by directing our DMCK to reproduce the ZooKepeer-2172 bug in the ZooKeeper v3.5.3.
After some exploration, our DMCK found that the ZOOKEEPER-2172 still linger in the reported fixed version, ZooKeeper v.3.5.3.
Here we attached the complete bug scenario to reproduce the bug.
We have communicated this bug to shralex and he has confirmed that this bug exists.
Attachments
Attachments
Issue Links
- relates to
-
ZOOKEEPER-2172 Cluster crashes when reconfig a new node as a participant
- Closed