diff options
author | Gerrit Renker <gerrit@erg.abdn.ac.uk> | 2007-03-20 12:08:19 -0400 |
---|---|---|
committer | David S. Miller <davem@sunset.davemloft.net> | 2007-04-26 01:26:46 -0400 |
commit | 8d13bf9a0bd4984756e234ce54299b92acefab99 (patch) | |
tree | 3a5fa39fec52b934d0d86afe93423cb9bb5ded20 | |
parent | b16be51b5e5d75cec71b18ebc75f15a4734c62ad (diff) |
[DCCP]: Remove ambiguity in the way before48 is used
This removes two ambiguities in employing the new definition of before48,
following the analysis on http://www.mail-archive.com/dccp@vger.kernel.org/msg01295.html
(1) Updating GSR when P.seqno >= S.SWL
With the old definition we did not update when P.seqno and S.SWL are 2^47 apart. To
ensure the same behaviour as with the old definition, this is replaced with the
equivalent condition dccp_delta_seqno(S.SWL, P.seqno) >= 0
(2) Sending SYNC when P.seqno >= S.OSR
Here it is debatable whether the new definition causes an ambiguity: the case is
similar to (1); and to have consistency with the case (1), we use the equivalent
condition dccp_delta_seqno(S.OSR, P.seqno) >= 0
Detailed Justification
-rw-r--r-- | net/dccp/input.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/net/dccp/input.c b/net/dccp/input.c index 78b043c458bf..a1900157e2d7 100644 --- a/net/dccp/input.c +++ b/net/dccp/input.c | |||
@@ -86,7 +86,8 @@ static int dccp_check_seqno(struct sock *sk, struct sk_buff *skb) | |||
86 | dh->dccph_type == DCCP_PKT_SYNCACK) { | 86 | dh->dccph_type == DCCP_PKT_SYNCACK) { |
87 | if (between48(DCCP_SKB_CB(skb)->dccpd_ack_seq, | 87 | if (between48(DCCP_SKB_CB(skb)->dccpd_ack_seq, |
88 | dp->dccps_awl, dp->dccps_awh) && | 88 | dp->dccps_awl, dp->dccps_awh) && |
89 | !before48(DCCP_SKB_CB(skb)->dccpd_seq, dp->dccps_swl)) | 89 | dccp_delta_seqno(dp->dccps_swl, |
90 | DCCP_SKB_CB(skb)->dccpd_seq) >= 0) | ||
90 | dccp_update_gsr(sk, DCCP_SKB_CB(skb)->dccpd_seq); | 91 | dccp_update_gsr(sk, DCCP_SKB_CB(skb)->dccpd_seq); |
91 | else | 92 | else |
92 | return -1; | 93 | return -1; |
@@ -203,7 +204,8 @@ static int __dccp_rcv_established(struct sock *sk, struct sk_buff *skb, | |||
203 | if (dp->dccps_role != DCCP_ROLE_CLIENT) | 204 | if (dp->dccps_role != DCCP_ROLE_CLIENT) |
204 | goto send_sync; | 205 | goto send_sync; |
205 | check_seq: | 206 | check_seq: |
206 | if (!before48(DCCP_SKB_CB(skb)->dccpd_seq, dp->dccps_osr)) { | 207 | if (dccp_delta_seqno(dp->dccps_osr, |
208 | DCCP_SKB_CB(skb)->dccpd_seq) >= 0) { | ||
207 | send_sync: | 209 | send_sync: |
208 | dccp_send_sync(sk, DCCP_SKB_CB(skb)->dccpd_seq, | 210 | dccp_send_sync(sk, DCCP_SKB_CB(skb)->dccpd_seq, |
209 | DCCP_PKT_SYNC); | 211 | DCCP_PKT_SYNC); |