Re: iSCSI: strengthening queue condition on pg 37 [v 15]

["Julian Satran" <Julian_Satran@il.ibm.com>]

that is not what the text says - and it is not accidental. Julo

Luben Tuikov <luben@splentec.com> Sent by: owner-ips@ece.cmu.edu 07/26/2002 03:54 AM

To:        iSCSI <ips@ece.cmu.edu>         cc:                 Subject:        iSCSI: strengthening queue condition on pg 37 [v 15]

The condition on page 37:

-If the PDU MaxCmdSN is less than the PDU ExpCmdSN-1 (in Serial
Arithmetic Sense), they are both ignored.

can be strengthened by specifying ``less than or equal''.
Then and only then is the queue size > 0.

-- 
Luben

P.S. Proof: Ignore* if  maxcmdsn <= expcmdsn-1.
Thus accept if maxcmdsn > expcmdsn-1,
which is maxcmdsn-expcmdsn+1 > 0,
but maxcmdsn-expcmdsn+1 is the queue size,
so accept* only if queue size > 0.

*Meaning ignore/accept the values of maxcmdsn and expcmdsn.