Re: [Dime] Conclusion for Sequence Numbers - was Re: OVLI: comments to 4.3

[Jouni Korhonen <[e-mail]>]

On Dec 10, 2013, at 11:56 PM, Ben Campbell <[e-mail]> wrote:

> 
> On Dec 10, 2013, at 3:48 PM, Jouni Korhonen <[e-mail]> wrote:
> 
>> Ben,
>> 
>> On Dec 10, 2013, at 11:36 PM, Ben Campbell <[e-mail]> wrote:
>> 
>>> 
>>> On Dec 10, 2013, at 3:31 PM, Jouni Korhonen <[e-mail]> wrote:
>>> 
>>>>> Jouni,
>>>>> 
>>>>> 1. I find the texts
>>>>> a) "The sequence number ... does not need to be monotonically increasing"
>>>>> and 
>>>> 
>>>> Means the delta from old-seqno to new-seqno can be any non-negative integer
>>>> (within the given limits) not something fixed step/delta (like +1). As long as
>>>> "new-seqno >= old-seqno" holds we are fine.
>>> 
>>> My understanding is that "new-seqno >= old-seqno" is the _definition_ of monotonically increasing.
>>> 
>>> But don't we want "new-seqno > old-seqno", that is, increase by a positive integer? (Assuming we are talking about a new OLR, not merely a copy of an old one.)
>>> 
>> 
>> Zero delta is there since, as far as I understood, replaying an
>> old (i.e. current) OLR or supported feature was desired functionality.
> 
> But that's not a new sequence number, is it? For that, the property is "old-seqno == old-seqno" :-)  The important thing is to ensure that, if the OLR is changed in any way, the new sequence number is incremented by a positive integer.

Righty right.

- Jouni