Vanlightly commented on pull request #1690:
URL: https://github.com/apache/zookeeper/pull/1690#issuecomment-831736892
I left the new version running on my workstation overnight with Servers
{s1,s1} symmetrical and Values {v1,v2} symmetrical and no violations happened.
It was still running this morning after 16 hours and I had to stop it. It
reached diameter 66, distinct states 2,370,569,088, 127GB storage and
interestingly four actions with 0 states: FindCluster,
LeaderHandleCEPOCHinPhase3, LeaderHandleACKLDinPhase3 and BecomeFollower.
Again, I haven't had time to dig into the spec itself. I will take some time
soon to understand each action and invariant. The numbers above do exceed what
you have reported though and the four actions without states could indicate a
problem.
--
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]
