aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorGerrit Renker <gerrit@erg.abdn.ac.uk>2007-03-20 12:08:19 -0400
committerDavid S. Miller <davem@sunset.davemloft.net>2007-04-26 01:26:46 -0400
commit8d13bf9a0bd4984756e234ce54299b92acefab99 (patch)
tree3a5fa39fec52b934d0d86afe93423cb9bb5ded20
parentb16be51b5e5d75cec71b18ebc75f15a4734c62ad (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.c6
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;
205check_seq: 206check_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) {
207send_sync: 209send_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);