[
https://issues.apache.org/jira/browse/ZOOKEEPER-2855?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Jeffrey F. Lukman updated ZOOKEEPER-2855:
-----------------------------------------
Attachment: ZK-2855.pdf
> 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
> Attachments: ZK-2855.pdf
>
>
> 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)
