[jira] [Created] (ZOOKEEPER-2855) Rebooting a Joined Node Failed Due The Joined Node Previously Failed to Update Its Configuration Correctly

["Jeffrey F. Lukman (JIRA)" <ji...@apache.org>]

Jeffrey F. Lukman created ZOOKEEPER-2855:
--------------------------------------------

             Summary: Rebooting a Joined Node Failed Due The Joined Node Previously Failed to Update Its Configuration Correctly
                 Key: ZOOKEEPER-2855
                 URL: https://issues.apache.org/jira/browse/ZOOKEEPER-2855
             Project: ZooKeeper
          Issue Type: Bug
          Components: leaderElection, quorum, server
    Affects Versions: 3.5.3
            Reporter: Jeffrey F. Lukman


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 explloration, 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
and he has found a fix for this bug.




--
This message was sent by Atlassian JIRA
(v6.4.14#64029)