Re: Reflections on new state machine

[Dave Katz <[e-mail]>]

Here's what the text in that neighborhood should look like.  Note that 
the transmit interval update is moved before the state machine 
mechanics;  this ensures that a system in AdminDown state still pays 
attention to the receive interval wishes of the remote system.

					...

       Update the Detection Time as described in section 6.7.4.

       Update the transmit interval as described in section 6.7.2.

       If bfd.SessionState is AdminDown
           Discard the packet

       If received state is AdminDown
           If bfd.SessionState is not Down
               Set bfd.LocalDiag to 3 (Neighbor signaled session down)
               Set bfd.SessionState to Down

       Else

           If bfd.SessionState is Down
               If received State is Down
                   Set bfd.SessionState to Init
               Else if received State is Init
                   Set bfd.SessionState to Up

           Else if bfd.SessionState is Init
               If received State is Init or Up
                   Set bfd.SessionState to Up

           Else (bfd.SessionState is Up)
               If received State is Down
                   Set bfd.LocalDiag to 3 (Neighbor signaled session 
down)
                   Set bfd.SessionState to Down

       If the Demand (D) bit is set and bfd.DemandModeDesired is 1,
       and bfd.SessionState is Up, Demand mode is active.

					...

--Dave