Thomas Gleixner | 7931287 | 2019-05-24 12:03:52 +0200 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0-or-later |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 2 | /* |
Gerrit Renker | 954c2db | 2007-12-12 14:06:14 -0200 | [diff] [blame] | 3 | * Copyright (c) 2007 The University of Aberdeen, Scotland, UK |
Ian McDonald | b2f41ff | 2007-05-28 12:23:29 -0300 | [diff] [blame] | 4 | * Copyright (c) 2005-7 The University of Waikato, Hamilton, New Zealand. |
| 5 | * Copyright (c) 2005-7 Ian McDonald <ian.mcdonald@jandi.co.nz> |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 6 | * |
| 7 | * An implementation of the DCCP protocol |
| 8 | * |
| 9 | * This code has been developed by the University of Waikato WAND |
| 10 | * research group. For further information please see http://www.wand.net.nz/ |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 11 | * |
| 12 | * This code also uses code from Lulea University, rereleased as GPL by its |
| 13 | * authors: |
| 14 | * Copyright (c) 2003 Nils-Erik Mattsson, Joacim Haggmark, Magnus Erixzon |
| 15 | * |
| 16 | * Changes to meet Linux coding standards, to make it meet latest ccid3 draft |
| 17 | * and to make it work as a loadable module in the DCCP stack written by |
| 18 | * Arnaldo Carvalho de Melo <acme@conectiva.com.br>. |
| 19 | * |
| 20 | * Copyright (c) 2005 Arnaldo Carvalho de Melo <acme@conectiva.com.br> |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 21 | */ |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 22 | #include "../dccp.h" |
| 23 | #include "ccid3.h" |
| 24 | |
Gerrit Renker | 76fd1e8 | 2007-10-24 10:46:58 -0200 | [diff] [blame] | 25 | #include <asm/unaligned.h> |
| 26 | |
Gerrit Renker | 56724aa | 2006-11-20 18:28:09 -0200 | [diff] [blame] | 27 | #ifdef CONFIG_IP_DCCP_CCID3_DEBUG |
Rusty Russell | eb93992 | 2011-12-19 14:08:01 +0000 | [diff] [blame] | 28 | static bool ccid3_debug; |
Gerrit Renker | 56724aa | 2006-11-20 18:28:09 -0200 | [diff] [blame] | 29 | #define ccid3_pr_debug(format, a...) DCCP_PR_DEBUG(ccid3_debug, format, ##a) |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 30 | #else |
| 31 | #define ccid3_pr_debug(format, a...) |
| 32 | #endif |
| 33 | |
Gerrit Renker | 9bf1747 | 2007-03-20 13:11:24 -0300 | [diff] [blame] | 34 | /* |
| 35 | * Transmitter Half-Connection Routines |
| 36 | */ |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 37 | #ifdef CONFIG_IP_DCCP_CCID3_DEBUG |
| 38 | static const char *ccid3_tx_state_name(enum ccid3_hc_tx_states state) |
| 39 | { |
Jan Engelhardt | 36cbd3d | 2009-08-05 10:42:58 -0700 | [diff] [blame] | 40 | static const char *const ccid3_state_names[] = { |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 41 | [TFRC_SSTATE_NO_SENT] = "NO_SENT", |
| 42 | [TFRC_SSTATE_NO_FBACK] = "NO_FBACK", |
| 43 | [TFRC_SSTATE_FBACK] = "FBACK", |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 44 | }; |
| 45 | |
| 46 | return ccid3_state_names[state]; |
| 47 | } |
| 48 | #endif |
| 49 | |
| 50 | static void ccid3_hc_tx_set_state(struct sock *sk, |
| 51 | enum ccid3_hc_tx_states state) |
| 52 | { |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 53 | struct ccid3_hc_tx_sock *hc = ccid3_hc_tx_sk(sk); |
| 54 | enum ccid3_hc_tx_states oldstate = hc->tx_state; |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 55 | |
| 56 | ccid3_pr_debug("%s(%p) %-8.8s -> %s\n", |
| 57 | dccp_role(sk), sk, ccid3_tx_state_name(oldstate), |
| 58 | ccid3_tx_state_name(state)); |
| 59 | WARN_ON(state == oldstate); |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 60 | hc->tx_state = state; |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 61 | } |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 62 | |
Gerrit Renker | 17893bc | 2006-11-27 20:31:33 -0200 | [diff] [blame] | 63 | /* |
Gerrit Renker | 6c08b2c | 2007-11-20 17:33:17 -0200 | [diff] [blame] | 64 | * Compute the initial sending rate X_init in the manner of RFC 3390: |
| 65 | * |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 66 | * X_init = min(4 * s, max(2 * s, 4380 bytes)) / RTT |
Gerrit Renker | 6c08b2c | 2007-11-20 17:33:17 -0200 | [diff] [blame] | 67 | * |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 68 | * Note that RFC 3390 uses MSS, RFC 4342 refers to RFC 3390, and rfc3448bis |
| 69 | * (rev-02) clarifies the use of RFC 3390 with regard to the above formula. |
Gerrit Renker | a21f9f9 | 2007-03-20 15:12:10 -0300 | [diff] [blame] | 70 | * For consistency with other parts of the code, X_init is scaled by 2^6. |
| 71 | */ |
| 72 | static inline u64 rfc3390_initial_rate(struct sock *sk) |
| 73 | { |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 74 | const struct ccid3_hc_tx_sock *hc = ccid3_hc_tx_sk(sk); |
| 75 | const __u32 w_init = clamp_t(__u32, 4380U, 2 * hc->tx_s, 4 * hc->tx_s); |
Gerrit Renker | a21f9f9 | 2007-03-20 15:12:10 -0300 | [diff] [blame] | 76 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 77 | return scaled_div(w_init << 6, hc->tx_rtt); |
Gerrit Renker | a21f9f9 | 2007-03-20 15:12:10 -0300 | [diff] [blame] | 78 | } |
| 79 | |
Gerrit Renker | 20cbd3e | 2010-09-14 20:16:59 +0200 | [diff] [blame] | 80 | /** |
| 81 | * ccid3_update_send_interval - Calculate new t_ipi = s / X_inst |
| 82 | * This respects the granularity of X_inst (64 * bytes/second). |
Gerrit Renker | 17893bc | 2006-11-27 20:31:33 -0200 | [diff] [blame] | 83 | */ |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 84 | static void ccid3_update_send_interval(struct ccid3_hc_tx_sock *hc) |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 85 | { |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 86 | hc->tx_t_ipi = scaled_div32(((u64)hc->tx_s) << 6, hc->tx_x); |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 87 | |
Gerrit Renker | 793734b | 2012-02-27 12:29:44 -0700 | [diff] [blame] | 88 | DCCP_BUG_ON(hc->tx_t_ipi == 0); |
Gerrit Renker | 20cbd3e | 2010-09-14 20:16:59 +0200 | [diff] [blame] | 89 | ccid3_pr_debug("t_ipi=%u, s=%u, X=%u\n", hc->tx_t_ipi, |
Eric Dumazet | 95c9617 | 2012-04-15 05:58:06 +0000 | [diff] [blame] | 90 | hc->tx_s, (unsigned int)(hc->tx_x >> 6)); |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 91 | } |
Gerrit Renker | aa97efd | 2007-09-25 22:39:16 -0700 | [diff] [blame] | 92 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 93 | static u32 ccid3_hc_tx_idle_rtt(struct ccid3_hc_tx_sock *hc, ktime_t now) |
Gerrit Renker | a5358fd | 2007-11-20 18:01:59 -0200 | [diff] [blame] | 94 | { |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 95 | u32 delta = ktime_us_delta(now, hc->tx_t_last_win_count); |
Gerrit Renker | a5358fd | 2007-11-20 18:01:59 -0200 | [diff] [blame] | 96 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 97 | return delta / hc->tx_rtt; |
Gerrit Renker | a5358fd | 2007-11-20 18:01:59 -0200 | [diff] [blame] | 98 | } |
| 99 | |
Gerrit Renker | aa97efd | 2007-09-25 22:39:16 -0700 | [diff] [blame] | 100 | /** |
| 101 | * ccid3_hc_tx_update_x - Update allowed sending rate X |
| 102 | * @stamp: most recent time if available - can be left NULL. |
Ben Hutchings | 2c53040 | 2012-07-10 10:55:09 +0000 | [diff] [blame] | 103 | * |
Gerrit Renker | aa97efd | 2007-09-25 22:39:16 -0700 | [diff] [blame] | 104 | * This function tracks draft rfc3448bis, check there for latest details. |
Gerrit Renker | 5c3fbb6 | 2006-12-03 14:50:56 -0200 | [diff] [blame] | 105 | * |
Gerrit Renker | 1a21e49 | 2006-12-10 00:02:12 -0200 | [diff] [blame] | 106 | * Note: X and X_recv are both stored in units of 64 * bytes/second, to support |
| 107 | * fine-grained resolution of sending rates. This requires scaling by 2^6 |
| 108 | * throughout the code. Only X_calc is unscaled (in bytes/second). |
| 109 | * |
Gerrit Renker | 1a21e49 | 2006-12-10 00:02:12 -0200 | [diff] [blame] | 110 | */ |
Gerrit Renker | aa97efd | 2007-09-25 22:39:16 -0700 | [diff] [blame] | 111 | static void ccid3_hc_tx_update_x(struct sock *sk, ktime_t *stamp) |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 112 | { |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 113 | struct ccid3_hc_tx_sock *hc = ccid3_hc_tx_sk(sk); |
| 114 | __u64 min_rate = 2 * hc->tx_x_recv; |
| 115 | const __u64 old_x = hc->tx_x; |
Gerrit Renker | 52515e7 | 2007-12-17 12:57:43 -0200 | [diff] [blame] | 116 | ktime_t now = stamp ? *stamp : ktime_get_real(); |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 117 | |
Gerrit Renker | 0c150ef | 2007-03-20 15:19:07 -0300 | [diff] [blame] | 118 | /* |
| 119 | * Handle IDLE periods: do not reduce below RFC3390 initial sending rate |
Gerrit Renker | a5358fd | 2007-11-20 18:01:59 -0200 | [diff] [blame] | 120 | * when idling [RFC 4342, 5.1]. Definition of idling is from rfc3448bis: |
| 121 | * a sender is idle if it has not sent anything over a 2-RTT-period. |
Gerrit Renker | 0c150ef | 2007-03-20 15:19:07 -0300 | [diff] [blame] | 122 | * For consistency with X and X_recv, min_rate is also scaled by 2^6. |
| 123 | */ |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 124 | if (ccid3_hc_tx_idle_rtt(hc, now) >= 2) { |
Gerrit Renker | 0c150ef | 2007-03-20 15:19:07 -0300 | [diff] [blame] | 125 | min_rate = rfc3390_initial_rate(sk); |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 126 | min_rate = max(min_rate, 2 * hc->tx_x_recv); |
Gerrit Renker | 0c150ef | 2007-03-20 15:19:07 -0300 | [diff] [blame] | 127 | } |
| 128 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 129 | if (hc->tx_p > 0) { |
Gerrit Renker | 1a21e49 | 2006-12-10 00:02:12 -0200 | [diff] [blame] | 130 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 131 | hc->tx_x = min(((__u64)hc->tx_x_calc) << 6, min_rate); |
| 132 | hc->tx_x = max(hc->tx_x, (((__u64)hc->tx_s) << 6) / TFRC_T_MBI); |
Arnaldo Carvalho de Melo | b6ee3d4 | 2005-08-27 18:18:18 -0300 | [diff] [blame] | 133 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 134 | } else if (ktime_us_delta(now, hc->tx_t_ld) - (s64)hc->tx_rtt >= 0) { |
Gerrit Renker | 1a21e49 | 2006-12-10 00:02:12 -0200 | [diff] [blame] | 135 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 136 | hc->tx_x = min(2 * hc->tx_x, min_rate); |
| 137 | hc->tx_x = max(hc->tx_x, |
| 138 | scaled_div(((__u64)hc->tx_s) << 6, hc->tx_rtt)); |
| 139 | hc->tx_t_ld = now; |
Gerrit Renker | ff58629 | 2006-12-10 00:00:14 -0200 | [diff] [blame] | 140 | } |
Gerrit Renker | a79ef76 | 2006-11-28 19:51:42 -0200 | [diff] [blame] | 141 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 142 | if (hc->tx_x != old_x) { |
Gerrit Renker | 1761f7d | 2007-03-20 15:04:30 -0300 | [diff] [blame] | 143 | ccid3_pr_debug("X_prev=%u, X_now=%u, X_calc=%u, " |
Eric Dumazet | 95c9617 | 2012-04-15 05:58:06 +0000 | [diff] [blame] | 144 | "X_recv=%u\n", (unsigned int)(old_x >> 6), |
| 145 | (unsigned int)(hc->tx_x >> 6), hc->tx_x_calc, |
| 146 | (unsigned int)(hc->tx_x_recv >> 6)); |
Ian McDonald | 8699be7 | 2007-03-20 14:49:20 -0300 | [diff] [blame] | 147 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 148 | ccid3_update_send_interval(hc); |
Ian McDonald | 8699be7 | 2007-03-20 14:49:20 -0300 | [diff] [blame] | 149 | } |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 150 | } |
| 151 | |
Ben Hutchings | 2c53040 | 2012-07-10 10:55:09 +0000 | [diff] [blame] | 152 | /** |
| 153 | * ccid3_hc_tx_update_s - Track the mean packet size `s' |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 154 | * @len: DCCP packet payload size in bytes |
Ben Hutchings | 2c53040 | 2012-07-10 10:55:09 +0000 | [diff] [blame] | 155 | * |
| 156 | * cf. RFC 4342, 5.3 and RFC 3448, 4.1 |
Gerrit Renker | 78ad713 | 2006-11-28 19:22:33 -0200 | [diff] [blame] | 157 | */ |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 158 | static inline void ccid3_hc_tx_update_s(struct ccid3_hc_tx_sock *hc, int len) |
Gerrit Renker | 78ad713 | 2006-11-28 19:22:33 -0200 | [diff] [blame] | 159 | { |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 160 | const u16 old_s = hc->tx_s; |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 161 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 162 | hc->tx_s = tfrc_ewma(hc->tx_s, len, 9); |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 163 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 164 | if (hc->tx_s != old_s) |
| 165 | ccid3_update_send_interval(hc); |
Gerrit Renker | 78ad713 | 2006-11-28 19:22:33 -0200 | [diff] [blame] | 166 | } |
| 167 | |
Gerrit Renker | 9f8681d | 2006-12-10 00:07:37 -0200 | [diff] [blame] | 168 | /* |
Arnaldo Carvalho de Melo | 8109b02 | 2006-12-10 16:01:18 -0200 | [diff] [blame] | 169 | * Update Window Counter using the algorithm from [RFC 4342, 8.1]. |
Gerrit Renker | 825de27 | 2008-05-27 06:33:54 -0700 | [diff] [blame] | 170 | * As elsewhere, RTT > 0 is assumed by using dccp_sample_rtt(). |
Gerrit Renker | 9f8681d | 2006-12-10 00:07:37 -0200 | [diff] [blame] | 171 | */ |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 172 | static inline void ccid3_hc_tx_update_win_count(struct ccid3_hc_tx_sock *hc, |
Gerrit Renker | 8132da4 | 2007-06-16 13:34:02 -0300 | [diff] [blame] | 173 | ktime_t now) |
Gerrit Renker | 9f8681d | 2006-12-10 00:07:37 -0200 | [diff] [blame] | 174 | { |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 175 | u32 delta = ktime_us_delta(now, hc->tx_t_last_win_count), |
| 176 | quarter_rtts = (4 * delta) / hc->tx_rtt; |
Gerrit Renker | 9f8681d | 2006-12-10 00:07:37 -0200 | [diff] [blame] | 177 | |
| 178 | if (quarter_rtts > 0) { |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 179 | hc->tx_t_last_win_count = now; |
| 180 | hc->tx_last_win_count += min(quarter_rtts, 5U); |
| 181 | hc->tx_last_win_count &= 0xF; /* mod 16 */ |
Gerrit Renker | 9f8681d | 2006-12-10 00:07:37 -0200 | [diff] [blame] | 182 | } |
| 183 | } |
| 184 | |
Kees Cook | 839a609 | 2017-10-24 01:46:09 -0700 | [diff] [blame] | 185 | static void ccid3_hc_tx_no_feedback_timer(struct timer_list *t) |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 186 | { |
Kees Cook | 839a609 | 2017-10-24 01:46:09 -0700 | [diff] [blame] | 187 | struct ccid3_hc_tx_sock *hc = from_timer(hc, t, tx_no_feedback_timer); |
| 188 | struct sock *sk = hc->sk; |
Gerrit Renker | 2a1fda6 | 2006-11-28 18:34:34 -0200 | [diff] [blame] | 189 | unsigned long t_nfb = USEC_PER_SEC / 5; |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 190 | |
| 191 | bh_lock_sock(sk); |
| 192 | if (sock_owned_by_user(sk)) { |
| 193 | /* Try again later. */ |
| 194 | /* XXX: set some sensible MIB */ |
Gerrit Renker | 48e03ee | 2006-11-27 20:29:27 -0200 | [diff] [blame] | 195 | goto restart_timer; |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 196 | } |
| 197 | |
Frans Pop | b138338 | 2010-03-24 07:57:28 +0000 | [diff] [blame] | 198 | ccid3_pr_debug("%s(%p, state=%s) - entry\n", dccp_role(sk), sk, |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 199 | ccid3_tx_state_name(hc->tx_state)); |
Gerrit Renker | a967241 | 2006-12-10 00:14:12 -0200 | [diff] [blame] | 200 | |
Gerrit Renker | 80763dfb | 2010-09-19 20:08:24 +0200 | [diff] [blame] | 201 | /* Ignore and do not restart after leaving the established state */ |
| 202 | if ((1 << sk->sk_state) & ~(DCCPF_OPEN | DCCPF_PARTOPEN)) |
| 203 | goto out; |
| 204 | |
| 205 | /* Reset feedback state to "no feedback received" */ |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 206 | if (hc->tx_state == TFRC_SSTATE_FBACK) |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 207 | ccid3_hc_tx_set_state(sk, TFRC_SSTATE_NO_FBACK); |
Gerrit Renker | d0995e6 | 2008-09-04 07:30:19 +0200 | [diff] [blame] | 208 | |
Gerrit Renker | 52515e7 | 2007-12-17 12:57:43 -0200 | [diff] [blame] | 209 | /* |
| 210 | * Determine new allowed sending rate X as per draft rfc3448bis-00, 4.4 |
Gerrit Renker | 67b67e3 | 2010-08-22 19:41:36 +0000 | [diff] [blame] | 211 | * RTO is 0 if and only if no feedback has been received yet. |
Gerrit Renker | 52515e7 | 2007-12-17 12:57:43 -0200 | [diff] [blame] | 212 | */ |
Gerrit Renker | 67b67e3 | 2010-08-22 19:41:36 +0000 | [diff] [blame] | 213 | if (hc->tx_t_rto == 0 || hc->tx_p == 0) { |
Gerrit Renker | 52515e7 | 2007-12-17 12:57:43 -0200 | [diff] [blame] | 214 | |
| 215 | /* halve send rate directly */ |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 216 | hc->tx_x = max(hc->tx_x / 2, |
| 217 | (((__u64)hc->tx_s) << 6) / TFRC_T_MBI); |
| 218 | ccid3_update_send_interval(hc); |
Gerrit Renker | 52515e7 | 2007-12-17 12:57:43 -0200 | [diff] [blame] | 219 | } else { |
Arnaldo Carvalho de Melo | 1f2333a | 2005-08-27 03:51:58 -0300 | [diff] [blame] | 220 | /* |
Gerrit Renker | 52515e7 | 2007-12-17 12:57:43 -0200 | [diff] [blame] | 221 | * Modify the cached value of X_recv |
Gerrit Renker | 0c150ef | 2007-03-20 15:19:07 -0300 | [diff] [blame] | 222 | * |
Gerrit Renker | 52515e7 | 2007-12-17 12:57:43 -0200 | [diff] [blame] | 223 | * If (X_calc > 2 * X_recv) |
Gerrit Renker | 0c150ef | 2007-03-20 15:19:07 -0300 | [diff] [blame] | 224 | * X_recv = max(X_recv / 2, s / (2 * t_mbi)); |
| 225 | * Else |
| 226 | * X_recv = X_calc / 4; |
| 227 | * |
| 228 | * Note that X_recv is scaled by 2^6 while X_calc is not |
Arnaldo Carvalho de Melo | 1f2333a | 2005-08-27 03:51:58 -0300 | [diff] [blame] | 229 | */ |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 230 | if (hc->tx_x_calc > (hc->tx_x_recv >> 5)) |
| 231 | hc->tx_x_recv = |
| 232 | max(hc->tx_x_recv / 2, |
| 233 | (((__u64)hc->tx_s) << 6) / (2*TFRC_T_MBI)); |
Gerrit Renker | 52515e7 | 2007-12-17 12:57:43 -0200 | [diff] [blame] | 234 | else { |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 235 | hc->tx_x_recv = hc->tx_x_calc; |
| 236 | hc->tx_x_recv <<= 4; |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 237 | } |
Gerrit Renker | aa97efd | 2007-09-25 22:39:16 -0700 | [diff] [blame] | 238 | ccid3_hc_tx_update_x(sk, NULL); |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 239 | } |
Gerrit Renker | 52515e7 | 2007-12-17 12:57:43 -0200 | [diff] [blame] | 240 | ccid3_pr_debug("Reduced X to %llu/64 bytes/sec\n", |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 241 | (unsigned long long)hc->tx_x); |
Gerrit Renker | 52515e7 | 2007-12-17 12:57:43 -0200 | [diff] [blame] | 242 | |
| 243 | /* |
| 244 | * Set new timeout for the nofeedback timer. |
| 245 | * See comments in packet_recv() regarding the value of t_RTO. |
| 246 | */ |
Gerrit Renker | 67b67e3 | 2010-08-22 19:41:36 +0000 | [diff] [blame] | 247 | if (unlikely(hc->tx_t_rto == 0)) /* no feedback received yet */ |
Gerrit Renker | 52515e7 | 2007-12-17 12:57:43 -0200 | [diff] [blame] | 248 | t_nfb = TFRC_INITIAL_TIMEOUT; |
| 249 | else |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 250 | t_nfb = max(hc->tx_t_rto, 2 * hc->tx_t_ipi); |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 251 | |
Gerrit Renker | 48e03ee | 2006-11-27 20:29:27 -0200 | [diff] [blame] | 252 | restart_timer: |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 253 | sk_reset_timer(sk, &hc->tx_no_feedback_timer, |
YOSHIFUJI Hideaki | c9eaf17 | 2007-02-09 23:24:38 +0900 | [diff] [blame] | 254 | jiffies + usecs_to_jiffies(t_nfb)); |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 255 | out: |
| 256 | bh_unlock_sock(sk); |
| 257 | sock_put(sk); |
| 258 | } |
| 259 | |
Gerrit Renker | fe84f41 | 2010-10-27 19:16:25 +0000 | [diff] [blame] | 260 | /** |
| 261 | * ccid3_hc_tx_send_packet - Delay-based dequeueing of TX packets |
| 262 | * @skb: next packet candidate to send on @sk |
Ben Hutchings | 2c53040 | 2012-07-10 10:55:09 +0000 | [diff] [blame] | 263 | * |
Gerrit Renker | fe84f41 | 2010-10-27 19:16:25 +0000 | [diff] [blame] | 264 | * This function uses the convention of ccid_packet_dequeue_eval() and |
| 265 | * returns a millisecond-delay value between 0 and t_mbi = 64000 msec. |
Gerrit Renker | 7da7f45 | 2006-11-27 12:26:03 -0200 | [diff] [blame] | 266 | */ |
Gerrit Renker | 6b57c93 | 2006-11-28 19:55:06 -0200 | [diff] [blame] | 267 | static int ccid3_hc_tx_send_packet(struct sock *sk, struct sk_buff *skb) |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 268 | { |
| 269 | struct dccp_sock *dp = dccp_sk(sk); |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 270 | struct ccid3_hc_tx_sock *hc = ccid3_hc_tx_sk(sk); |
Gerrit Renker | 8132da4 | 2007-06-16 13:34:02 -0300 | [diff] [blame] | 271 | ktime_t now = ktime_get_real(); |
| 272 | s64 delay; |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 273 | |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 274 | /* |
Gerrit Renker | da335ba | 2006-11-27 12:26:57 -0200 | [diff] [blame] | 275 | * This function is called only for Data and DataAck packets. Sending |
| 276 | * zero-sized Data(Ack)s is theoretically possible, but for congestion |
| 277 | * control this case is pathological - ignore it. |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 278 | */ |
Gerrit Renker | 6b57c93 | 2006-11-28 19:55:06 -0200 | [diff] [blame] | 279 | if (unlikely(skb->len == 0)) |
Gerrit Renker | da335ba | 2006-11-27 12:26:57 -0200 | [diff] [blame] | 280 | return -EBADMSG; |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 281 | |
Gerrit Renker | 80763dfb | 2010-09-19 20:08:24 +0200 | [diff] [blame] | 282 | if (hc->tx_state == TFRC_SSTATE_NO_SENT) { |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 283 | sk_reset_timer(sk, &hc->tx_no_feedback_timer, (jiffies + |
| 284 | usecs_to_jiffies(TFRC_INITIAL_TIMEOUT))); |
| 285 | hc->tx_last_win_count = 0; |
| 286 | hc->tx_t_last_win_count = now; |
Gerrit Renker | 90feeb9 | 2006-11-27 12:13:38 -0200 | [diff] [blame] | 287 | |
| 288 | /* Set t_0 for initial packet */ |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 289 | hc->tx_t_nom = now; |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 290 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 291 | hc->tx_s = skb->len; |
Gerrit Renker | 30833ff | 2007-03-20 15:31:56 -0300 | [diff] [blame] | 292 | |
Gerrit Renker | 30833ff | 2007-03-20 15:31:56 -0300 | [diff] [blame] | 293 | /* |
| 294 | * Use initial RTT sample when available: recommended by erratum |
| 295 | * to RFC 4342. This implements the initialisation procedure of |
| 296 | * draft rfc3448bis, section 4.2. Remember, X is scaled by 2^6. |
| 297 | */ |
| 298 | if (dp->dccps_syn_rtt) { |
| 299 | ccid3_pr_debug("SYN RTT = %uus\n", dp->dccps_syn_rtt); |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 300 | hc->tx_rtt = dp->dccps_syn_rtt; |
| 301 | hc->tx_x = rfc3390_initial_rate(sk); |
| 302 | hc->tx_t_ld = now; |
Gerrit Renker | 30833ff | 2007-03-20 15:31:56 -0300 | [diff] [blame] | 303 | } else { |
Gerrit Renker | 3294f20 | 2008-06-11 11:19:09 +0100 | [diff] [blame] | 304 | /* |
| 305 | * Sender does not have RTT sample: |
| 306 | * - set fallback RTT (RFC 4340, 3.4) since a RTT value |
| 307 | * is needed in several parts (e.g. window counter); |
| 308 | * - set sending rate X_pps = 1pps as per RFC 3448, 4.2. |
| 309 | */ |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 310 | hc->tx_rtt = DCCP_FALLBACK_RTT; |
| 311 | hc->tx_x = hc->tx_s; |
| 312 | hc->tx_x <<= 6; |
Gerrit Renker | 30833ff | 2007-03-20 15:31:56 -0300 | [diff] [blame] | 313 | } |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 314 | ccid3_update_send_interval(hc); |
Gerrit Renker | 30833ff | 2007-03-20 15:31:56 -0300 | [diff] [blame] | 315 | |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 316 | ccid3_hc_tx_set_state(sk, TFRC_SSTATE_NO_FBACK); |
Gerrit Renker | 80763dfb | 2010-09-19 20:08:24 +0200 | [diff] [blame] | 317 | |
| 318 | } else { |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 319 | delay = ktime_us_delta(hc->tx_t_nom, now); |
Ian McDonald | 8699be7 | 2007-03-20 14:49:20 -0300 | [diff] [blame] | 320 | ccid3_pr_debug("delay=%ld\n", (long)delay); |
Gerrit Renker | 91cf5a1 | 2006-11-27 12:25:10 -0200 | [diff] [blame] | 321 | /* |
Gerrit Renker | 20cbd3e | 2010-09-14 20:16:59 +0200 | [diff] [blame] | 322 | * Scheduling of packet transmissions (RFC 5348, 8.3) |
Gerrit Renker | 91cf5a1 | 2006-11-27 12:25:10 -0200 | [diff] [blame] | 323 | * |
| 324 | * if (t_now > t_nom - delta) |
| 325 | * // send the packet now |
| 326 | * else |
| 327 | * // send the packet in (t_nom - t_now) milliseconds. |
| 328 | */ |
Gerrit Renker | 20cbd3e | 2010-09-14 20:16:59 +0200 | [diff] [blame] | 329 | if (delay >= TFRC_T_DELTA) |
| 330 | return (u32)delay / USEC_PER_MSEC; |
Gerrit Renker | 9f8681d | 2006-12-10 00:07:37 -0200 | [diff] [blame] | 331 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 332 | ccid3_hc_tx_update_win_count(hc, now); |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 333 | } |
| 334 | |
Gerrit Renker | 7da7f45 | 2006-11-27 12:26:03 -0200 | [diff] [blame] | 335 | /* prepare to send now (add options etc.) */ |
| 336 | dp->dccps_hc_tx_insert_options = 1; |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 337 | DCCP_SKB_CB(skb)->dccpd_ccval = hc->tx_last_win_count; |
Gerrit Renker | e312d10 | 2006-12-10 00:08:09 -0200 | [diff] [blame] | 338 | |
| 339 | /* set the nominal send time for the next following packet */ |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 340 | hc->tx_t_nom = ktime_add_us(hc->tx_t_nom, hc->tx_t_ipi); |
Gerrit Renker | fe84f41 | 2010-10-27 19:16:25 +0000 | [diff] [blame] | 341 | return CCID_PACKET_SEND_AT_ONCE; |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 342 | } |
| 343 | |
Gerrit Renker | baf9e78 | 2010-10-11 20:37:38 +0200 | [diff] [blame] | 344 | static void ccid3_hc_tx_packet_sent(struct sock *sk, unsigned int len) |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 345 | { |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 346 | struct ccid3_hc_tx_sock *hc = ccid3_hc_tx_sk(sk); |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 347 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 348 | ccid3_hc_tx_update_s(hc, len); |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 349 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 350 | if (tfrc_tx_hist_add(&hc->tx_hist, dccp_sk(sk)->dccps_gss)) |
Gerrit Renker | c5a1ae9 | 2006-12-10 00:09:21 -0200 | [diff] [blame] | 351 | DCCP_CRIT("packet history - out of memory!"); |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 352 | } |
| 353 | |
| 354 | static void ccid3_hc_tx_packet_recv(struct sock *sk, struct sk_buff *skb) |
| 355 | { |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 356 | struct ccid3_hc_tx_sock *hc = ccid3_hc_tx_sk(sk); |
Gerrit Renker | d2c7263 | 2010-09-14 20:18:00 +0200 | [diff] [blame] | 357 | struct tfrc_tx_hist_entry *acked; |
Arnaldo Carvalho de Melo | 0740d49 | 2007-08-19 17:18:13 -0700 | [diff] [blame] | 358 | ktime_t now; |
Gerrit Renker | 2a1fda6 | 2006-11-28 18:34:34 -0200 | [diff] [blame] | 359 | unsigned long t_nfb; |
Gerrit Renker | 536bb20 | 2010-09-19 20:14:23 +0200 | [diff] [blame] | 360 | u32 r_sample; |
Arnaldo Carvalho de Melo | 1f2333a | 2005-08-27 03:51:58 -0300 | [diff] [blame] | 361 | |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 362 | /* we are only interested in ACKs */ |
| 363 | if (!(DCCP_SKB_CB(skb)->dccpd_type == DCCP_PKT_ACK || |
| 364 | DCCP_SKB_CB(skb)->dccpd_type == DCCP_PKT_DATAACK)) |
| 365 | return; |
Gerrit Renker | d2c7263 | 2010-09-14 20:18:00 +0200 | [diff] [blame] | 366 | /* |
| 367 | * Locate the acknowledged packet in the TX history. |
| 368 | * |
| 369 | * Returning "entry not found" here can for instance happen when |
| 370 | * - the host has not sent out anything (e.g. a passive server), |
| 371 | * - the Ack is outdated (packet with higher Ack number was received), |
| 372 | * - it is a bogus Ack (for a packet not sent on this connection). |
| 373 | */ |
| 374 | acked = tfrc_tx_hist_find_entry(hc->tx_hist, dccp_hdr_ack_seq(skb)); |
| 375 | if (acked == NULL) |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 376 | return; |
Gerrit Renker | d2c7263 | 2010-09-14 20:18:00 +0200 | [diff] [blame] | 377 | /* For the sake of RTT sampling, ignore/remove all older entries */ |
| 378 | tfrc_tx_hist_purge(&acked->next); |
| 379 | |
| 380 | /* Update the moving average for the RTT estimate (RFC 3448, 4.3) */ |
| 381 | now = ktime_get_real(); |
| 382 | r_sample = dccp_sample_rtt(sk, ktime_us_delta(now, acked->stamp)); |
| 383 | hc->tx_rtt = tfrc_ewma(hc->tx_rtt, r_sample, 9); |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 384 | |
Gerrit Renker | d8d1252 | 2007-12-17 12:48:47 -0200 | [diff] [blame] | 385 | /* |
| 386 | * Update allowed sending rate X as per draft rfc3448bis-00, 4.2/3 |
| 387 | */ |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 388 | if (hc->tx_state == TFRC_SSTATE_NO_FBACK) { |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 389 | ccid3_hc_tx_set_state(sk, TFRC_SSTATE_FBACK); |
Gerrit Renker | 5bd370a | 2007-12-17 10:25:06 -0200 | [diff] [blame] | 390 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 391 | if (hc->tx_t_rto == 0) { |
Gerrit Renker | d8d1252 | 2007-12-17 12:48:47 -0200 | [diff] [blame] | 392 | /* |
| 393 | * Initial feedback packet: Larger Initial Windows (4.2) |
| 394 | */ |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 395 | hc->tx_x = rfc3390_initial_rate(sk); |
| 396 | hc->tx_t_ld = now; |
Gerrit Renker | d8d1252 | 2007-12-17 12:48:47 -0200 | [diff] [blame] | 397 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 398 | ccid3_update_send_interval(hc); |
Gerrit Renker | d8d1252 | 2007-12-17 12:48:47 -0200 | [diff] [blame] | 399 | |
| 400 | goto done_computing_x; |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 401 | } else if (hc->tx_p == 0) { |
Gerrit Renker | d8d1252 | 2007-12-17 12:48:47 -0200 | [diff] [blame] | 402 | /* |
| 403 | * First feedback after nofeedback timer expiry (4.3) |
| 404 | */ |
| 405 | goto done_computing_x; |
| 406 | } |
| 407 | } |
| 408 | |
| 409 | /* Update sending rate (step 4 of [RFC 3448, 4.3]) */ |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 410 | if (hc->tx_p > 0) |
| 411 | hc->tx_x_calc = tfrc_calc_x(hc->tx_s, hc->tx_rtt, hc->tx_p); |
Gerrit Renker | d8d1252 | 2007-12-17 12:48:47 -0200 | [diff] [blame] | 412 | ccid3_hc_tx_update_x(sk, &now); |
Gerrit Renker | 5bd370a | 2007-12-17 10:25:06 -0200 | [diff] [blame] | 413 | |
Gerrit Renker | d8d1252 | 2007-12-17 12:48:47 -0200 | [diff] [blame] | 414 | done_computing_x: |
| 415 | ccid3_pr_debug("%s(%p), RTT=%uus (sample=%uus), s=%u, " |
Gerrit Renker | 5bd370a | 2007-12-17 10:25:06 -0200 | [diff] [blame] | 416 | "p=%u, X_calc=%u, X_recv=%u, X=%u\n", |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 417 | dccp_role(sk), sk, hc->tx_rtt, r_sample, |
| 418 | hc->tx_s, hc->tx_p, hc->tx_x_calc, |
Eric Dumazet | 95c9617 | 2012-04-15 05:58:06 +0000 | [diff] [blame] | 419 | (unsigned int)(hc->tx_x_recv >> 6), |
| 420 | (unsigned int)(hc->tx_x >> 6)); |
Gerrit Renker | 5bd370a | 2007-12-17 10:25:06 -0200 | [diff] [blame] | 421 | |
| 422 | /* unschedule no feedback timer */ |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 423 | sk_stop_timer(sk, &hc->tx_no_feedback_timer); |
Gerrit Renker | 5bd370a | 2007-12-17 10:25:06 -0200 | [diff] [blame] | 424 | |
| 425 | /* |
| 426 | * As we have calculated new ipi, delta, t_nom it is possible |
| 427 | * that we now can send a packet, so wake up dccp_wait_for_ccid |
| 428 | */ |
| 429 | sk->sk_write_space(sk); |
| 430 | |
| 431 | /* |
Gerrit Renker | 89858ad | 2010-08-29 19:23:14 +0000 | [diff] [blame] | 432 | * Update timeout interval for the nofeedback timer. In order to control |
| 433 | * rate halving on networks with very low RTTs (<= 1 ms), use per-route |
| 434 | * tunable RTAX_RTO_MIN value as the lower bound. |
Gerrit Renker | 5bd370a | 2007-12-17 10:25:06 -0200 | [diff] [blame] | 435 | */ |
Gerrit Renker | 89858ad | 2010-08-29 19:23:14 +0000 | [diff] [blame] | 436 | hc->tx_t_rto = max_t(u32, 4 * hc->tx_rtt, |
| 437 | USEC_PER_SEC/HZ * tcp_rto_min(sk)); |
Gerrit Renker | 5bd370a | 2007-12-17 10:25:06 -0200 | [diff] [blame] | 438 | /* |
| 439 | * Schedule no feedback timer to expire in |
| 440 | * max(t_RTO, 2 * s/X) = max(t_RTO, 2 * t_ipi) |
| 441 | */ |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 442 | t_nfb = max(hc->tx_t_rto, 2 * hc->tx_t_ipi); |
Gerrit Renker | 5bd370a | 2007-12-17 10:25:06 -0200 | [diff] [blame] | 443 | |
| 444 | ccid3_pr_debug("%s(%p), Scheduled no feedback timer to " |
| 445 | "expire in %lu jiffies (%luus)\n", |
Gerrit Renker | 388d5e9 | 2009-10-05 00:53:11 +0000 | [diff] [blame] | 446 | dccp_role(sk), sk, usecs_to_jiffies(t_nfb), t_nfb); |
Gerrit Renker | 5bd370a | 2007-12-17 10:25:06 -0200 | [diff] [blame] | 447 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 448 | sk_reset_timer(sk, &hc->tx_no_feedback_timer, |
Gerrit Renker | 5bd370a | 2007-12-17 10:25:06 -0200 | [diff] [blame] | 449 | jiffies + usecs_to_jiffies(t_nfb)); |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 450 | } |
| 451 | |
Gerrit Renker | 4874c13 | 2010-09-19 20:06:50 +0200 | [diff] [blame] | 452 | static int ccid3_hc_tx_parse_options(struct sock *sk, u8 packet_type, |
| 453 | u8 option, u8 *optval, u8 optlen) |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 454 | { |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 455 | struct ccid3_hc_tx_sock *hc = ccid3_hc_tx_sk(sk); |
Gerrit Renker | 76fd1e8 | 2007-10-24 10:46:58 -0200 | [diff] [blame] | 456 | __be32 opt_val; |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 457 | |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 458 | switch (option) { |
Gerrit Renker | 37efb03 | 2010-09-14 20:21:29 +0200 | [diff] [blame] | 459 | case TFRC_OPT_RECEIVE_RATE: |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 460 | case TFRC_OPT_LOSS_EVENT_RATE: |
Gerrit Renker | 4874c13 | 2010-09-19 20:06:50 +0200 | [diff] [blame] | 461 | /* Must be ignored on Data packets, cf. RFC 4342 8.3 and 8.5 */ |
| 462 | if (packet_type == DCCP_PKT_DATA) |
| 463 | break; |
| 464 | if (unlikely(optlen != 4)) { |
Gerrit Renker | 37efb03 | 2010-09-14 20:21:29 +0200 | [diff] [blame] | 465 | DCCP_WARN("%s(%p), invalid len %d for %u\n", |
Gerrit Renker | 4874c13 | 2010-09-19 20:06:50 +0200 | [diff] [blame] | 466 | dccp_role(sk), sk, optlen, option); |
Gerrit Renker | 37efb03 | 2010-09-14 20:21:29 +0200 | [diff] [blame] | 467 | return -EINVAL; |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 468 | } |
Gerrit Renker | 4874c13 | 2010-09-19 20:06:50 +0200 | [diff] [blame] | 469 | opt_val = ntohl(get_unaligned((__be32 *)optval)); |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 470 | |
Gerrit Renker | 37efb03 | 2010-09-14 20:21:29 +0200 | [diff] [blame] | 471 | if (option == TFRC_OPT_RECEIVE_RATE) { |
Gerrit Renker | 536bb20 | 2010-09-19 20:14:23 +0200 | [diff] [blame] | 472 | /* Receive Rate is kept in units of 64 bytes/second */ |
| 473 | hc->tx_x_recv = opt_val; |
| 474 | hc->tx_x_recv <<= 6; |
| 475 | |
Gerrit Renker | 37efb03 | 2010-09-14 20:21:29 +0200 | [diff] [blame] | 476 | ccid3_pr_debug("%s(%p), RECEIVE_RATE=%u\n", |
| 477 | dccp_role(sk), sk, opt_val); |
| 478 | } else { |
Gerrit Renker | 536bb20 | 2010-09-19 20:14:23 +0200 | [diff] [blame] | 479 | /* Update the fixpoint Loss Event Rate fraction */ |
| 480 | hc->tx_p = tfrc_invert_loss_event_rate(opt_val); |
| 481 | |
Gerrit Renker | 37efb03 | 2010-09-14 20:21:29 +0200 | [diff] [blame] | 482 | ccid3_pr_debug("%s(%p), LOSS_EVENT_RATE=%u\n", |
| 483 | dccp_role(sk), sk, opt_val); |
| 484 | } |
| 485 | } |
| 486 | return 0; |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 487 | } |
| 488 | |
Arnaldo Carvalho de Melo | 91f0ebf | 2006-03-20 19:21:44 -0800 | [diff] [blame] | 489 | static int ccid3_hc_tx_init(struct ccid *ccid, struct sock *sk) |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 490 | { |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 491 | struct ccid3_hc_tx_sock *hc = ccid_priv(ccid); |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 492 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 493 | hc->tx_state = TFRC_SSTATE_NO_SENT; |
| 494 | hc->tx_hist = NULL; |
Kees Cook | 839a609 | 2017-10-24 01:46:09 -0700 | [diff] [blame] | 495 | hc->sk = sk; |
| 496 | timer_setup(&hc->tx_no_feedback_timer, |
| 497 | ccid3_hc_tx_no_feedback_timer, 0); |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 498 | return 0; |
| 499 | } |
| 500 | |
| 501 | static void ccid3_hc_tx_exit(struct sock *sk) |
| 502 | { |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 503 | struct ccid3_hc_tx_sock *hc = ccid3_hc_tx_sk(sk); |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 504 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 505 | sk_stop_timer(sk, &hc->tx_no_feedback_timer); |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 506 | tfrc_tx_hist_purge(&hc->tx_hist); |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 507 | } |
| 508 | |
Gerrit Renker | 9bf1747 | 2007-03-20 13:11:24 -0300 | [diff] [blame] | 509 | static void ccid3_hc_tx_get_info(struct sock *sk, struct tcp_info *info) |
| 510 | { |
Gerrit Renker | 51c22bb | 2010-08-22 19:41:37 +0000 | [diff] [blame] | 511 | info->tcpi_rto = ccid3_hc_tx_sk(sk)->tx_t_rto; |
| 512 | info->tcpi_rtt = ccid3_hc_tx_sk(sk)->tx_rtt; |
Gerrit Renker | 9bf1747 | 2007-03-20 13:11:24 -0300 | [diff] [blame] | 513 | } |
| 514 | |
| 515 | static int ccid3_hc_tx_getsockopt(struct sock *sk, const int optname, int len, |
| 516 | u32 __user *optval, int __user *optlen) |
| 517 | { |
Gerrit Renker | 51c22bb | 2010-08-22 19:41:37 +0000 | [diff] [blame] | 518 | const struct ccid3_hc_tx_sock *hc = ccid3_hc_tx_sk(sk); |
Gerrit Renker | 67b67e3 | 2010-08-22 19:41:36 +0000 | [diff] [blame] | 519 | struct tfrc_tx_info tfrc; |
Gerrit Renker | 9bf1747 | 2007-03-20 13:11:24 -0300 | [diff] [blame] | 520 | const void *val; |
| 521 | |
Gerrit Renker | 9bf1747 | 2007-03-20 13:11:24 -0300 | [diff] [blame] | 522 | switch (optname) { |
| 523 | case DCCP_SOCKOPT_CCID_TX_INFO: |
Gerrit Renker | 67b67e3 | 2010-08-22 19:41:36 +0000 | [diff] [blame] | 524 | if (len < sizeof(tfrc)) |
Gerrit Renker | 9bf1747 | 2007-03-20 13:11:24 -0300 | [diff] [blame] | 525 | return -EINVAL; |
Mathias Krause | 7b07f8e | 2012-08-15 11:31:55 +0000 | [diff] [blame] | 526 | memset(&tfrc, 0, sizeof(tfrc)); |
Gerrit Renker | 67b67e3 | 2010-08-22 19:41:36 +0000 | [diff] [blame] | 527 | tfrc.tfrctx_x = hc->tx_x; |
| 528 | tfrc.tfrctx_x_recv = hc->tx_x_recv; |
| 529 | tfrc.tfrctx_x_calc = hc->tx_x_calc; |
| 530 | tfrc.tfrctx_rtt = hc->tx_rtt; |
| 531 | tfrc.tfrctx_p = hc->tx_p; |
| 532 | tfrc.tfrctx_rto = hc->tx_t_rto; |
| 533 | tfrc.tfrctx_ipi = hc->tx_t_ipi; |
| 534 | len = sizeof(tfrc); |
| 535 | val = &tfrc; |
Gerrit Renker | 9bf1747 | 2007-03-20 13:11:24 -0300 | [diff] [blame] | 536 | break; |
| 537 | default: |
| 538 | return -ENOPROTOOPT; |
| 539 | } |
| 540 | |
| 541 | if (put_user(len, optlen) || copy_to_user(optval, val, len)) |
| 542 | return -EFAULT; |
| 543 | |
| 544 | return 0; |
| 545 | } |
| 546 | |
| 547 | /* |
| 548 | * Receiver Half-Connection Routines |
| 549 | */ |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 550 | |
| 551 | /* CCID3 feedback types */ |
| 552 | enum ccid3_fback_type { |
| 553 | CCID3_FBACK_NONE = 0, |
| 554 | CCID3_FBACK_INITIAL, |
| 555 | CCID3_FBACK_PERIODIC, |
| 556 | CCID3_FBACK_PARAM_CHANGE |
| 557 | }; |
| 558 | |
| 559 | #ifdef CONFIG_IP_DCCP_CCID3_DEBUG |
| 560 | static const char *ccid3_rx_state_name(enum ccid3_hc_rx_states state) |
| 561 | { |
Jan Engelhardt | 36cbd3d | 2009-08-05 10:42:58 -0700 | [diff] [blame] | 562 | static const char *const ccid3_rx_state_names[] = { |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 563 | [TFRC_RSTATE_NO_DATA] = "NO_DATA", |
| 564 | [TFRC_RSTATE_DATA] = "DATA", |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 565 | }; |
| 566 | |
| 567 | return ccid3_rx_state_names[state]; |
| 568 | } |
| 569 | #endif |
| 570 | |
| 571 | static void ccid3_hc_rx_set_state(struct sock *sk, |
| 572 | enum ccid3_hc_rx_states state) |
| 573 | { |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 574 | struct ccid3_hc_rx_sock *hc = ccid3_hc_rx_sk(sk); |
| 575 | enum ccid3_hc_rx_states oldstate = hc->rx_state; |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 576 | |
| 577 | ccid3_pr_debug("%s(%p) %-8.8s -> %s\n", |
| 578 | dccp_role(sk), sk, ccid3_rx_state_name(oldstate), |
| 579 | ccid3_rx_state_name(state)); |
| 580 | WARN_ON(state == oldstate); |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 581 | hc->rx_state = state; |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 582 | } |
| 583 | |
Arnaldo Carvalho de Melo | b84a218 | 2007-12-06 13:18:11 -0200 | [diff] [blame] | 584 | static void ccid3_hc_rx_send_feedback(struct sock *sk, |
| 585 | const struct sk_buff *skb, |
| 586 | enum ccid3_fback_type fbtype) |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 587 | { |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 588 | struct ccid3_hc_rx_sock *hc = ccid3_hc_rx_sk(sk); |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 589 | struct dccp_sock *dp = dccp_sk(sk); |
Eric Dumazet | 0ce4e70 | 2018-06-22 06:44:15 -0700 | [diff] [blame] | 590 | ktime_t now = ktime_get(); |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 591 | s64 delta = 0; |
| 592 | |
Arnaldo Carvalho de Melo | b84a218 | 2007-12-06 13:18:11 -0200 | [diff] [blame] | 593 | switch (fbtype) { |
| 594 | case CCID3_FBACK_INITIAL: |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 595 | hc->rx_x_recv = 0; |
| 596 | hc->rx_pinv = ~0U; /* see RFC 4342, 8.5 */ |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 597 | break; |
Arnaldo Carvalho de Melo | b84a218 | 2007-12-06 13:18:11 -0200 | [diff] [blame] | 598 | case CCID3_FBACK_PARAM_CHANGE: |
| 599 | /* |
| 600 | * When parameters change (new loss or p > p_prev), we do not |
| 601 | * have a reliable estimate for R_m of [RFC 3448, 6.2] and so |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 602 | * need to reuse the previous value of X_recv. However, when |
| 603 | * X_recv was 0 (due to early loss), this would kill X down to |
| 604 | * s/t_mbi (i.e. one packet in 64 seconds). |
| 605 | * To avoid such drastic reduction, we approximate X_recv as |
| 606 | * the number of bytes since last feedback. |
| 607 | * This is a safe fallback, since X is bounded above by X_calc. |
Arnaldo Carvalho de Melo | b84a218 | 2007-12-06 13:18:11 -0200 | [diff] [blame] | 608 | */ |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 609 | if (hc->rx_x_recv > 0) |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 610 | break; |
| 611 | /* fall through */ |
Arnaldo Carvalho de Melo | b84a218 | 2007-12-06 13:18:11 -0200 | [diff] [blame] | 612 | case CCID3_FBACK_PERIODIC: |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 613 | delta = ktime_us_delta(now, hc->rx_tstamp_last_feedback); |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 614 | if (delta <= 0) |
Eric Dumazet | 74174fe | 2018-06-22 06:44:14 -0700 | [diff] [blame] | 615 | delta = 1; |
| 616 | hc->rx_x_recv = scaled_div32(hc->rx_bytes_recv, delta); |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 617 | break; |
Arnaldo Carvalho de Melo | b84a218 | 2007-12-06 13:18:11 -0200 | [diff] [blame] | 618 | default: |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 619 | return; |
| 620 | } |
| 621 | |
Eric Dumazet | 0ce4e70 | 2018-06-22 06:44:15 -0700 | [diff] [blame] | 622 | ccid3_pr_debug("Interval %lldusec, X_recv=%u, 1/p=%u\n", delta, |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 623 | hc->rx_x_recv, hc->rx_pinv); |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 624 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 625 | hc->rx_tstamp_last_feedback = now; |
| 626 | hc->rx_last_counter = dccp_hdr(skb)->dccph_ccval; |
| 627 | hc->rx_bytes_recv = 0; |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 628 | |
| 629 | dp->dccps_hc_rx_insert_options = 1; |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 630 | dccp_send_ack(sk); |
| 631 | } |
| 632 | |
Arnaldo Carvalho de Melo | 2d0817d | 2006-03-20 22:32:06 -0800 | [diff] [blame] | 633 | static int ccid3_hc_rx_insert_options(struct sock *sk, struct sk_buff *skb) |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 634 | { |
Gerrit Renker | 51c22bb | 2010-08-22 19:41:37 +0000 | [diff] [blame] | 635 | const struct ccid3_hc_rx_sock *hc = ccid3_hc_rx_sk(sk); |
Andrea Bittau | 60fe62e | 2006-03-20 19:23:32 -0800 | [diff] [blame] | 636 | __be32 x_recv, pinv; |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 637 | |
Arnaldo Carvalho de Melo | 59d203f | 2005-09-09 20:01:25 -0300 | [diff] [blame] | 638 | if (!(sk->sk_state == DCCP_OPEN || sk->sk_state == DCCP_PARTOPEN)) |
Arnaldo Carvalho de Melo | 2d0817d | 2006-03-20 22:32:06 -0800 | [diff] [blame] | 639 | return 0; |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 640 | |
Arnaldo Carvalho de Melo | 4fded33 | 2005-08-23 21:51:59 -0700 | [diff] [blame] | 641 | if (dccp_packet_without_ack(skb)) |
Arnaldo Carvalho de Melo | 2d0817d | 2006-03-20 22:32:06 -0800 | [diff] [blame] | 642 | return 0; |
| 643 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 644 | x_recv = htonl(hc->rx_x_recv); |
| 645 | pinv = htonl(hc->rx_pinv); |
Arnaldo Carvalho de Melo | 2d0817d | 2006-03-20 22:32:06 -0800 | [diff] [blame] | 646 | |
Gerrit Renker | a7d13fb | 2010-06-22 01:14:34 +0000 | [diff] [blame] | 647 | if (dccp_insert_option(skb, TFRC_OPT_LOSS_EVENT_RATE, |
Arnaldo Carvalho de Melo | 8109b02 | 2006-12-10 16:01:18 -0200 | [diff] [blame] | 648 | &pinv, sizeof(pinv)) || |
Gerrit Renker | a7d13fb | 2010-06-22 01:14:34 +0000 | [diff] [blame] | 649 | dccp_insert_option(skb, TFRC_OPT_RECEIVE_RATE, |
Arnaldo Carvalho de Melo | 8109b02 | 2006-12-10 16:01:18 -0200 | [diff] [blame] | 650 | &x_recv, sizeof(x_recv))) |
Arnaldo Carvalho de Melo | 2d0817d | 2006-03-20 22:32:06 -0800 | [diff] [blame] | 651 | return -1; |
| 652 | |
| 653 | return 0; |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 654 | } |
| 655 | |
Gerrit Renker | aa1b1ff | 2009-09-12 07:47:01 +0000 | [diff] [blame] | 656 | /** |
| 657 | * ccid3_first_li - Implements [RFC 5348, 6.3.1] |
Gerrit Renker | 954c2db | 2007-12-12 14:06:14 -0200 | [diff] [blame] | 658 | * |
| 659 | * Determine the length of the first loss interval via inverse lookup. |
| 660 | * Assume that X_recv can be computed by the throughput equation |
| 661 | * s |
| 662 | * X_recv = -------- |
| 663 | * R * fval |
| 664 | * Find some p such that f(p) = fval; return 1/p (scaled). |
| 665 | */ |
| 666 | static u32 ccid3_first_li(struct sock *sk) |
| 667 | { |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 668 | struct ccid3_hc_rx_sock *hc = ccid3_hc_rx_sk(sk); |
Eric Dumazet | 0ce4e70 | 2018-06-22 06:44:15 -0700 | [diff] [blame] | 669 | u32 x_recv, p; |
| 670 | s64 delta; |
Gerrit Renker | 954c2db | 2007-12-12 14:06:14 -0200 | [diff] [blame] | 671 | u64 fval; |
| 672 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 673 | if (hc->rx_rtt == 0) { |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 674 | DCCP_WARN("No RTT estimate available, using fallback RTT\n"); |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 675 | hc->rx_rtt = DCCP_FALLBACK_RTT; |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 676 | } |
Gerrit Renker | d20ed95 | 2008-09-04 07:30:19 +0200 | [diff] [blame] | 677 | |
Eric Dumazet | 0ce4e70 | 2018-06-22 06:44:15 -0700 | [diff] [blame] | 678 | delta = ktime_us_delta(ktime_get(), hc->rx_tstamp_last_feedback); |
| 679 | if (delta <= 0) |
| 680 | delta = 1; |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 681 | x_recv = scaled_div32(hc->rx_bytes_recv, delta); |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 682 | if (x_recv == 0) { /* would also trigger divide-by-zero */ |
| 683 | DCCP_WARN("X_recv==0\n"); |
Gerrit Renker | 67b67e3 | 2010-08-22 19:41:36 +0000 | [diff] [blame] | 684 | if (hc->rx_x_recv == 0) { |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 685 | DCCP_BUG("stored value of X_recv is zero"); |
| 686 | return ~0U; |
| 687 | } |
Gerrit Renker | 67b67e3 | 2010-08-22 19:41:36 +0000 | [diff] [blame] | 688 | x_recv = hc->rx_x_recv; |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 689 | } |
Gerrit Renker | 954c2db | 2007-12-12 14:06:14 -0200 | [diff] [blame] | 690 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 691 | fval = scaled_div(hc->rx_s, hc->rx_rtt); |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 692 | fval = scaled_div32(fval, x_recv); |
Gerrit Renker | 954c2db | 2007-12-12 14:06:14 -0200 | [diff] [blame] | 693 | p = tfrc_calc_x_reverse_lookup(fval); |
| 694 | |
| 695 | ccid3_pr_debug("%s(%p), receive rate=%u bytes/s, implied " |
| 696 | "loss rate=%u\n", dccp_role(sk), sk, x_recv, p); |
| 697 | |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 698 | return p == 0 ? ~0U : scaled_div(1, p); |
Gerrit Renker | 954c2db | 2007-12-12 14:06:14 -0200 | [diff] [blame] | 699 | } |
| 700 | |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 701 | static void ccid3_hc_rx_packet_recv(struct sock *sk, struct sk_buff *skb) |
| 702 | { |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 703 | struct ccid3_hc_rx_sock *hc = ccid3_hc_rx_sk(sk); |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 704 | enum ccid3_fback_type do_feedback = CCID3_FBACK_NONE; |
Gerrit Renker | 5b5d0e7 | 2008-07-13 11:51:40 +0100 | [diff] [blame] | 705 | const u64 ndp = dccp_sk(sk)->dccps_options_received.dccpor_ndp; |
Arnaldo Carvalho de Melo | b84a218 | 2007-12-06 13:18:11 -0200 | [diff] [blame] | 706 | const bool is_data_packet = dccp_data_packet(skb); |
Arnaldo Carvalho de Melo | 1f2333a | 2005-08-27 03:51:58 -0300 | [diff] [blame] | 707 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 708 | if (unlikely(hc->rx_state == TFRC_RSTATE_NO_DATA)) { |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 709 | if (is_data_packet) { |
| 710 | const u32 payload = skb->len - dccp_hdr(skb)->dccph_doff * 4; |
| 711 | do_feedback = CCID3_FBACK_INITIAL; |
| 712 | ccid3_hc_rx_set_state(sk, TFRC_RSTATE_DATA); |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 713 | hc->rx_s = payload; |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 714 | /* |
Gerrit Renker | 388d5e9 | 2009-10-05 00:53:11 +0000 | [diff] [blame] | 715 | * Not necessary to update rx_bytes_recv here, |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 716 | * since X_recv = 0 for the first feedback packet (cf. |
| 717 | * RFC 3448, 6.3) -- gerrit |
| 718 | */ |
| 719 | } |
| 720 | goto update_records; |
| 721 | } |
| 722 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 723 | if (tfrc_rx_hist_duplicate(&hc->rx_hist, skb)) |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 724 | return; /* done receiving */ |
| 725 | |
| 726 | if (is_data_packet) { |
| 727 | const u32 payload = skb->len - dccp_hdr(skb)->dccph_doff * 4; |
| 728 | /* |
| 729 | * Update moving-average of s and the sum of received payload bytes |
| 730 | */ |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 731 | hc->rx_s = tfrc_ewma(hc->rx_s, payload, 9); |
| 732 | hc->rx_bytes_recv += payload; |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 733 | } |
| 734 | |
Gerrit Renker | d20ed95 | 2008-09-04 07:30:19 +0200 | [diff] [blame] | 735 | /* |
| 736 | * Perform loss detection and handle pending losses |
| 737 | */ |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 738 | if (tfrc_rx_handle_loss(&hc->rx_hist, &hc->rx_li_hist, |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 739 | skb, ndp, ccid3_first_li, sk)) { |
| 740 | do_feedback = CCID3_FBACK_PARAM_CHANGE; |
| 741 | goto done_receiving; |
| 742 | } |
| 743 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 744 | if (tfrc_rx_hist_loss_pending(&hc->rx_hist)) |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 745 | return; /* done receiving */ |
| 746 | |
Gerrit Renker | 88e97a9 | 2008-09-04 07:30:19 +0200 | [diff] [blame] | 747 | /* |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 748 | * Handle data packets: RTT sampling and monitoring p |
Gerrit Renker | 88e97a9 | 2008-09-04 07:30:19 +0200 | [diff] [blame] | 749 | */ |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 750 | if (unlikely(!is_data_packet)) |
| 751 | goto update_records; |
| 752 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 753 | if (!tfrc_lh_is_initialised(&hc->rx_li_hist)) { |
| 754 | const u32 sample = tfrc_rx_hist_sample_rtt(&hc->rx_hist, skb); |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 755 | /* |
| 756 | * Empty loss history: no loss so far, hence p stays 0. |
| 757 | * Sample RTT values, since an RTT estimate is required for the |
| 758 | * computation of p when the first loss occurs; RFC 3448, 6.3.1. |
| 759 | */ |
| 760 | if (sample != 0) |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 761 | hc->rx_rtt = tfrc_ewma(hc->rx_rtt, sample, 9); |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 762 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 763 | } else if (tfrc_lh_update_i_mean(&hc->rx_li_hist, skb)) { |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 764 | /* |
| 765 | * Step (3) of [RFC 3448, 6.1]: Recompute I_mean and, if I_mean |
| 766 | * has decreased (resp. p has increased), send feedback now. |
| 767 | */ |
| 768 | do_feedback = CCID3_FBACK_PARAM_CHANGE; |
| 769 | } |
| 770 | |
Arnaldo Carvalho de Melo | b84a218 | 2007-12-06 13:18:11 -0200 | [diff] [blame] | 771 | /* |
Arnaldo Carvalho de Melo | b84a218 | 2007-12-06 13:18:11 -0200 | [diff] [blame] | 772 | * Check if the periodic once-per-RTT feedback is due; RFC 4342, 10.3 |
| 773 | */ |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 774 | if (SUB16(dccp_hdr(skb)->dccph_ccval, hc->rx_last_counter) > 3) |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 775 | do_feedback = CCID3_FBACK_PERIODIC; |
| 776 | |
| 777 | update_records: |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 778 | tfrc_rx_hist_add_packet(&hc->rx_hist, skb, ndp); |
Gerrit Renker | 410e27a | 2008-09-09 13:27:22 +0200 | [diff] [blame] | 779 | |
| 780 | done_receiving: |
| 781 | if (do_feedback) |
| 782 | ccid3_hc_rx_send_feedback(sk, skb, do_feedback); |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 783 | } |
| 784 | |
Arnaldo Carvalho de Melo | 91f0ebf | 2006-03-20 19:21:44 -0800 | [diff] [blame] | 785 | static int ccid3_hc_rx_init(struct ccid *ccid, struct sock *sk) |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 786 | { |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 787 | struct ccid3_hc_rx_sock *hc = ccid_priv(ccid); |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 788 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 789 | hc->rx_state = TFRC_RSTATE_NO_DATA; |
| 790 | tfrc_lh_init(&hc->rx_li_hist); |
| 791 | return tfrc_rx_hist_alloc(&hc->rx_hist); |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 792 | } |
| 793 | |
| 794 | static void ccid3_hc_rx_exit(struct sock *sk) |
| 795 | { |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 796 | struct ccid3_hc_rx_sock *hc = ccid3_hc_rx_sk(sk); |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 797 | |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 798 | tfrc_rx_hist_purge(&hc->rx_hist); |
| 799 | tfrc_lh_cleanup(&hc->rx_li_hist); |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 800 | } |
| 801 | |
Arnaldo Carvalho de Melo | 2babe1f | 2005-08-23 21:52:35 -0700 | [diff] [blame] | 802 | static void ccid3_hc_rx_get_info(struct sock *sk, struct tcp_info *info) |
| 803 | { |
Gerrit Renker | 51c22bb | 2010-08-22 19:41:37 +0000 | [diff] [blame] | 804 | info->tcpi_ca_state = ccid3_hc_rx_sk(sk)->rx_state; |
Arnaldo Carvalho de Melo | 8109b02 | 2006-12-10 16:01:18 -0200 | [diff] [blame] | 805 | info->tcpi_options |= TCPI_OPT_TIMESTAMPS; |
Gerrit Renker | 51c22bb | 2010-08-22 19:41:37 +0000 | [diff] [blame] | 806 | info->tcpi_rcv_rtt = ccid3_hc_rx_sk(sk)->rx_rtt; |
Arnaldo Carvalho de Melo | 2babe1f | 2005-08-23 21:52:35 -0700 | [diff] [blame] | 807 | } |
| 808 | |
Arnaldo Carvalho de Melo | 88f964d | 2005-09-18 00:19:32 -0700 | [diff] [blame] | 809 | static int ccid3_hc_rx_getsockopt(struct sock *sk, const int optname, int len, |
| 810 | u32 __user *optval, int __user *optlen) |
| 811 | { |
Gerrit Renker | 51c22bb | 2010-08-22 19:41:37 +0000 | [diff] [blame] | 812 | const struct ccid3_hc_rx_sock *hc = ccid3_hc_rx_sk(sk); |
Gerrit Renker | 8e138e7 | 2007-12-17 10:07:44 -0200 | [diff] [blame] | 813 | struct tfrc_rx_info rx_info; |
Arnaldo Carvalho de Melo | 88f964d | 2005-09-18 00:19:32 -0700 | [diff] [blame] | 814 | const void *val; |
YOSHIFUJI Hideaki | c9eaf17 | 2007-02-09 23:24:38 +0900 | [diff] [blame] | 815 | |
Arnaldo Carvalho de Melo | 88f964d | 2005-09-18 00:19:32 -0700 | [diff] [blame] | 816 | switch (optname) { |
| 817 | case DCCP_SOCKOPT_CCID_RX_INFO: |
Gerrit Renker | 8e138e7 | 2007-12-17 10:07:44 -0200 | [diff] [blame] | 818 | if (len < sizeof(rx_info)) |
Arnaldo Carvalho de Melo | 88f964d | 2005-09-18 00:19:32 -0700 | [diff] [blame] | 819 | return -EINVAL; |
Gerrit Renker | 996ccf4 | 2009-10-05 00:53:13 +0000 | [diff] [blame] | 820 | rx_info.tfrcrx_x_recv = hc->rx_x_recv; |
| 821 | rx_info.tfrcrx_rtt = hc->rx_rtt; |
Gerrit Renker | 792e6d3 | 2010-09-19 20:10:52 +0200 | [diff] [blame] | 822 | rx_info.tfrcrx_p = tfrc_invert_loss_event_rate(hc->rx_pinv); |
Gerrit Renker | 8e138e7 | 2007-12-17 10:07:44 -0200 | [diff] [blame] | 823 | len = sizeof(rx_info); |
| 824 | val = &rx_info; |
Arnaldo Carvalho de Melo | 88f964d | 2005-09-18 00:19:32 -0700 | [diff] [blame] | 825 | break; |
| 826 | default: |
| 827 | return -ENOPROTOOPT; |
| 828 | } |
| 829 | |
| 830 | if (put_user(len, optlen) || copy_to_user(optval, val, len)) |
| 831 | return -EFAULT; |
| 832 | |
| 833 | return 0; |
| 834 | } |
| 835 | |
Gerrit Renker | ddebc97 | 2009-01-04 21:42:53 -0800 | [diff] [blame] | 836 | struct ccid_operations ccid3_ops = { |
Ian McDonald | 3dd9a7c | 2006-09-22 14:26:44 +1200 | [diff] [blame] | 837 | .ccid_id = DCCPC_CCID3, |
Gerrit Renker | 84a97b0 | 2007-12-13 23:33:25 -0200 | [diff] [blame] | 838 | .ccid_name = "TCP-Friendly Rate Control", |
Arnaldo Carvalho de Melo | 91f0ebf | 2006-03-20 19:21:44 -0800 | [diff] [blame] | 839 | .ccid_hc_tx_obj_size = sizeof(struct ccid3_hc_tx_sock), |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 840 | .ccid_hc_tx_init = ccid3_hc_tx_init, |
| 841 | .ccid_hc_tx_exit = ccid3_hc_tx_exit, |
| 842 | .ccid_hc_tx_send_packet = ccid3_hc_tx_send_packet, |
| 843 | .ccid_hc_tx_packet_sent = ccid3_hc_tx_packet_sent, |
| 844 | .ccid_hc_tx_packet_recv = ccid3_hc_tx_packet_recv, |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 845 | .ccid_hc_tx_parse_options = ccid3_hc_tx_parse_options, |
Arnaldo Carvalho de Melo | 91f0ebf | 2006-03-20 19:21:44 -0800 | [diff] [blame] | 846 | .ccid_hc_rx_obj_size = sizeof(struct ccid3_hc_rx_sock), |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 847 | .ccid_hc_rx_init = ccid3_hc_rx_init, |
| 848 | .ccid_hc_rx_exit = ccid3_hc_rx_exit, |
| 849 | .ccid_hc_rx_insert_options = ccid3_hc_rx_insert_options, |
| 850 | .ccid_hc_rx_packet_recv = ccid3_hc_rx_packet_recv, |
Arnaldo Carvalho de Melo | 2babe1f | 2005-08-23 21:52:35 -0700 | [diff] [blame] | 851 | .ccid_hc_rx_get_info = ccid3_hc_rx_get_info, |
| 852 | .ccid_hc_tx_get_info = ccid3_hc_tx_get_info, |
Arnaldo Carvalho de Melo | 88f964d | 2005-09-18 00:19:32 -0700 | [diff] [blame] | 853 | .ccid_hc_rx_getsockopt = ccid3_hc_rx_getsockopt, |
| 854 | .ccid_hc_tx_getsockopt = ccid3_hc_tx_getsockopt, |
Arnaldo Carvalho de Melo | 7c65787 | 2005-08-09 20:14:34 -0700 | [diff] [blame] | 855 | }; |
Arnaldo Carvalho de Melo | 8109b02 | 2006-12-10 16:01:18 -0200 | [diff] [blame] | 856 | |
Gerrit Renker | 56724aa | 2006-11-20 18:28:09 -0200 | [diff] [blame] | 857 | #ifdef CONFIG_IP_DCCP_CCID3_DEBUG |
Gerrit Renker | 4326499 | 2008-08-23 13:28:27 +0200 | [diff] [blame] | 858 | module_param(ccid3_debug, bool, 0644); |
Gerrit Renker | ddebc97 | 2009-01-04 21:42:53 -0800 | [diff] [blame] | 859 | MODULE_PARM_DESC(ccid3_debug, "Enable CCID-3 debug messages"); |
Gerrit Renker | 56724aa | 2006-11-20 18:28:09 -0200 | [diff] [blame] | 860 | #endif |