[quagga-dev 12759] Re: [PATCH] PIMD: DR election happens on every hello received
sharpd at cumulusnetworks.com
Wed Jun 17 16:17:19 BST 2015
On Wed, Jun 17, 2015 at 9:41 AM, Greg Troxel <gdt at ir.bbn.com> wrote:
> I read these specs by finding a deterministic function from state to who
> is DR, and correct code ensures that all sequences of actions compute
> the function. So I don't follow "must do DR election on hello
> received"; I see it as "after a hello is received, the current value of
> DR must be correct". If the hello is from someone already a neighbor
> and has the same priority as the previous hello, and if the DR value
> is correct before receipt, then I'd expect it to still be correct.
This how I read it too.
> It may be true both that rerunning the election code resolves a prior
> issue and that the right fix was to find and remove the error in
> maintaining the DR under some transition.
This was my suspicion as well and I was doing some work to attempt to
figure out what that was while Everton had a chance to read his email
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Quagga-dev