Re: Sequence number validity

[Eddie Kohler <kohler@xxxxxxxxxxx>]

No, it's not true.  If SWL=0 and seqno=2^47+1, then

seqno < SWL

in circular 48-bit arithmetic.



vladimir.moltchanov@xxxxxxxxx wrote:
> Hi all,
>
> In section 7.5.3 of the RFC4340 (Sequence-Validity rules) and in 
> pseudocode as well (rfc4340, page 96) the following sequence numbers 
> test is used to make lenient checks for Sync and SyncAck:
>
>  SWL <= seqno
>
> Is it so, that with 48-bit limited sequence numbers that are wrapping 
> around, this test would always be "true"?
>
> B.R.
> Vladimir.