blob: 34dcc798c457b4f11b058f43303f4af231361b2b [file] [log] [blame]
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -07001/*
Gerrit Renker954c2db2007-12-12 14:06:14 -02002 * Copyright (c) 2007 The University of Aberdeen, Scotland, UK
Ian McDonaldb2f41ff2007-05-28 12:23:29 -03003 * Copyright (c) 2005-7 The University of Waikato, Hamilton, New Zealand.
4 * Copyright (c) 2005-7 Ian McDonald <ian.mcdonald@jandi.co.nz>
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -07005 *
6 * An implementation of the DCCP protocol
7 *
8 * This code has been developed by the University of Waikato WAND
9 * research group. For further information please see http://www.wand.net.nz/
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -070010 *
11 * This code also uses code from Lulea University, rereleased as GPL by its
12 * authors:
13 * Copyright (c) 2003 Nils-Erik Mattsson, Joacim Haggmark, Magnus Erixzon
14 *
15 * Changes to meet Linux coding standards, to make it meet latest ccid3 draft
16 * and to make it work as a loadable module in the DCCP stack written by
17 * Arnaldo Carvalho de Melo <acme@conectiva.com.br>.
18 *
19 * Copyright (c) 2005 Arnaldo Carvalho de Melo <acme@conectiva.com.br>
20 *
21 * This program is free software; you can redistribute it and/or modify
22 * it under the terms of the GNU General Public License as published by
23 * the Free Software Foundation; either version 2 of the License, or
24 * (at your option) any later version.
25 *
26 * This program is distributed in the hope that it will be useful,
27 * but WITHOUT ANY WARRANTY; without even the implied warranty of
28 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
29 * GNU General Public License for more details.
30 *
31 * You should have received a copy of the GNU General Public License
32 * along with this program; if not, write to the Free Software
33 * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
34 */
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -070035#include "../dccp.h"
36#include "ccid3.h"
37
Gerrit Renker76fd1e82007-10-24 10:46:58 -020038#include <asm/unaligned.h>
39
Gerrit Renker56724aa2006-11-20 18:28:09 -020040#ifdef CONFIG_IP_DCCP_CCID3_DEBUG
41static int ccid3_debug;
42#define ccid3_pr_debug(format, a...) DCCP_PR_DEBUG(ccid3_debug, format, ##a)
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -070043#else
44#define ccid3_pr_debug(format, a...)
45#endif
46
Gerrit Renker9bf17472007-03-20 13:11:24 -030047/*
48 * Transmitter Half-Connection Routines
49 */
Gerrit Renker410e27a2008-09-09 13:27:22 +020050#ifdef CONFIG_IP_DCCP_CCID3_DEBUG
51static const char *ccid3_tx_state_name(enum ccid3_hc_tx_states state)
52{
Jan Engelhardt36cbd3d2009-08-05 10:42:58 -070053 static const char *const ccid3_state_names[] = {
Gerrit Renker410e27a2008-09-09 13:27:22 +020054 [TFRC_SSTATE_NO_SENT] = "NO_SENT",
55 [TFRC_SSTATE_NO_FBACK] = "NO_FBACK",
56 [TFRC_SSTATE_FBACK] = "FBACK",
57 [TFRC_SSTATE_TERM] = "TERM",
58 };
59
60 return ccid3_state_names[state];
61}
62#endif
63
64static void ccid3_hc_tx_set_state(struct sock *sk,
65 enum ccid3_hc_tx_states state)
66{
67 struct ccid3_hc_tx_sock *hctx = ccid3_hc_tx_sk(sk);
68 enum ccid3_hc_tx_states oldstate = hctx->ccid3hctx_state;
69
70 ccid3_pr_debug("%s(%p) %-8.8s -> %s\n",
71 dccp_role(sk), sk, ccid3_tx_state_name(oldstate),
72 ccid3_tx_state_name(state));
73 WARN_ON(state == oldstate);
74 hctx->ccid3hctx_state = state;
75}
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -070076
Gerrit Renker17893bc2006-11-27 20:31:33 -020077/*
Gerrit Renker6c08b2c2007-11-20 17:33:17 -020078 * Compute the initial sending rate X_init in the manner of RFC 3390:
79 *
Gerrit Renker410e27a2008-09-09 13:27:22 +020080 * X_init = min(4 * s, max(2 * s, 4380 bytes)) / RTT
Gerrit Renker6c08b2c2007-11-20 17:33:17 -020081 *
Gerrit Renker410e27a2008-09-09 13:27:22 +020082 * Note that RFC 3390 uses MSS, RFC 4342 refers to RFC 3390, and rfc3448bis
83 * (rev-02) clarifies the use of RFC 3390 with regard to the above formula.
Gerrit Renkera21f9f92007-03-20 15:12:10 -030084 * For consistency with other parts of the code, X_init is scaled by 2^6.
85 */
86static inline u64 rfc3390_initial_rate(struct sock *sk)
87{
Gerrit Renker410e27a2008-09-09 13:27:22 +020088 const struct ccid3_hc_tx_sock *hctx = ccid3_hc_tx_sk(sk);
89 const __u32 w_init = clamp_t(__u32, 4380U,
90 2 * hctx->ccid3hctx_s, 4 * hctx->ccid3hctx_s);
Gerrit Renkera21f9f92007-03-20 15:12:10 -030091
Gerrit Renker410e27a2008-09-09 13:27:22 +020092 return scaled_div(w_init << 6, hctx->ccid3hctx_rtt);
Gerrit Renkera21f9f92007-03-20 15:12:10 -030093}
94
Gerrit Renker410e27a2008-09-09 13:27:22 +020095/*
96 * Recalculate t_ipi and delta (should be called whenever X changes)
Gerrit Renker17893bc2006-11-27 20:31:33 -020097 */
Ilpo Järvinenc4e18da2008-01-05 23:13:58 -080098static void ccid3_update_send_interval(struct ccid3_hc_tx_sock *hctx)
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -070099{
Gerrit Renker410e27a2008-09-09 13:27:22 +0200100 /* Calculate new t_ipi = s / X_inst (X_inst is in 64 * bytes/second) */
101 hctx->ccid3hctx_t_ipi = scaled_div32(((u64)hctx->ccid3hctx_s) << 6,
102 hctx->ccid3hctx_x);
103
104 /* Calculate new delta by delta = min(t_ipi / 2, t_gran / 2) */
105 hctx->ccid3hctx_delta = min_t(u32, hctx->ccid3hctx_t_ipi / 2,
106 TFRC_OPSYS_HALF_TIME_GRAN);
107
108 ccid3_pr_debug("t_ipi=%u, delta=%u, s=%u, X=%u\n",
109 hctx->ccid3hctx_t_ipi, hctx->ccid3hctx_delta,
110 hctx->ccid3hctx_s, (unsigned)(hctx->ccid3hctx_x >> 6));
111
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700112}
Gerrit Renkeraa97efd2007-09-25 22:39:16 -0700113
Gerrit Renkera5358fd2007-11-20 18:01:59 -0200114static u32 ccid3_hc_tx_idle_rtt(struct ccid3_hc_tx_sock *hctx, ktime_t now)
115{
Gerrit Renker410e27a2008-09-09 13:27:22 +0200116 u32 delta = ktime_us_delta(now, hctx->ccid3hctx_t_last_win_count);
Gerrit Renkera5358fd2007-11-20 18:01:59 -0200117
Gerrit Renker410e27a2008-09-09 13:27:22 +0200118 return delta / hctx->ccid3hctx_rtt;
Gerrit Renkera5358fd2007-11-20 18:01:59 -0200119}
120
Gerrit Renkeraa97efd2007-09-25 22:39:16 -0700121/**
122 * ccid3_hc_tx_update_x - Update allowed sending rate X
123 * @stamp: most recent time if available - can be left NULL.
124 * This function tracks draft rfc3448bis, check there for latest details.
Gerrit Renker5c3fbb62006-12-03 14:50:56 -0200125 *
Gerrit Renker1a21e492006-12-10 00:02:12 -0200126 * Note: X and X_recv are both stored in units of 64 * bytes/second, to support
127 * fine-grained resolution of sending rates. This requires scaling by 2^6
128 * throughout the code. Only X_calc is unscaled (in bytes/second).
129 *
Gerrit Renker1a21e492006-12-10 00:02:12 -0200130 */
Gerrit Renkeraa97efd2007-09-25 22:39:16 -0700131static void ccid3_hc_tx_update_x(struct sock *sk, ktime_t *stamp)
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700132{
Arnaldo Carvalho de Melo59725dc2005-09-09 02:40:58 -0300133 struct ccid3_hc_tx_sock *hctx = ccid3_hc_tx_sk(sk);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200134 __u64 min_rate = 2 * hctx->ccid3hctx_x_recv;
135 const __u64 old_x = hctx->ccid3hctx_x;
Gerrit Renker52515e72007-12-17 12:57:43 -0200136 ktime_t now = stamp ? *stamp : ktime_get_real();
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700137
Gerrit Renker0c150ef2007-03-20 15:19:07 -0300138 /*
139 * Handle IDLE periods: do not reduce below RFC3390 initial sending rate
Gerrit Renkera5358fd2007-11-20 18:01:59 -0200140 * when idling [RFC 4342, 5.1]. Definition of idling is from rfc3448bis:
141 * a sender is idle if it has not sent anything over a 2-RTT-period.
Gerrit Renker0c150ef2007-03-20 15:19:07 -0300142 * For consistency with X and X_recv, min_rate is also scaled by 2^6.
143 */
Gerrit Renkera5358fd2007-11-20 18:01:59 -0200144 if (ccid3_hc_tx_idle_rtt(hctx, now) >= 2) {
Gerrit Renker0c150ef2007-03-20 15:19:07 -0300145 min_rate = rfc3390_initial_rate(sk);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200146 min_rate = max(min_rate, 2 * hctx->ccid3hctx_x_recv);
Gerrit Renker0c150ef2007-03-20 15:19:07 -0300147 }
148
Gerrit Renker410e27a2008-09-09 13:27:22 +0200149 if (hctx->ccid3hctx_p > 0) {
Gerrit Renker1a21e492006-12-10 00:02:12 -0200150
Gerrit Renker410e27a2008-09-09 13:27:22 +0200151 hctx->ccid3hctx_x = min(((__u64)hctx->ccid3hctx_x_calc) << 6,
152 min_rate);
153 hctx->ccid3hctx_x = max(hctx->ccid3hctx_x,
154 (((__u64)hctx->ccid3hctx_s) << 6) /
155 TFRC_T_MBI);
Arnaldo Carvalho de Melob6ee3d42005-08-27 18:18:18 -0300156
Gerrit Renker410e27a2008-09-09 13:27:22 +0200157 } else if (ktime_us_delta(now, hctx->ccid3hctx_t_ld)
158 - (s64)hctx->ccid3hctx_rtt >= 0) {
Gerrit Renker1a21e492006-12-10 00:02:12 -0200159
Gerrit Renker410e27a2008-09-09 13:27:22 +0200160 hctx->ccid3hctx_x = min(2 * hctx->ccid3hctx_x, min_rate);
161 hctx->ccid3hctx_x = max(hctx->ccid3hctx_x,
162 scaled_div(((__u64)hctx->ccid3hctx_s) << 6,
163 hctx->ccid3hctx_rtt));
164 hctx->ccid3hctx_t_ld = now;
Gerrit Renkerff586292006-12-10 00:00:14 -0200165 }
Gerrit Renkera79ef762006-11-28 19:51:42 -0200166
Gerrit Renker410e27a2008-09-09 13:27:22 +0200167 if (hctx->ccid3hctx_x != old_x) {
Gerrit Renker1761f7d2007-03-20 15:04:30 -0300168 ccid3_pr_debug("X_prev=%u, X_now=%u, X_calc=%u, "
169 "X_recv=%u\n", (unsigned)(old_x >> 6),
Gerrit Renker410e27a2008-09-09 13:27:22 +0200170 (unsigned)(hctx->ccid3hctx_x >> 6),
171 hctx->ccid3hctx_x_calc,
172 (unsigned)(hctx->ccid3hctx_x_recv >> 6));
Ian McDonald8699be72007-03-20 14:49:20 -0300173
Gerrit Renker1266ade2007-03-20 14:56:11 -0300174 ccid3_update_send_interval(hctx);
Ian McDonald8699be72007-03-20 14:49:20 -0300175 }
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700176}
177
Gerrit Renker78ad7132006-11-28 19:22:33 -0200178/*
Gerrit Renker410e27a2008-09-09 13:27:22 +0200179 * Track the mean packet size `s' (cf. RFC 4342, 5.3 and RFC 3448, 4.1)
180 * @len: DCCP packet payload size in bytes
Gerrit Renker78ad7132006-11-28 19:22:33 -0200181 */
Gerrit Renker410e27a2008-09-09 13:27:22 +0200182static inline void ccid3_hc_tx_update_s(struct ccid3_hc_tx_sock *hctx, int len)
Gerrit Renker78ad7132006-11-28 19:22:33 -0200183{
Gerrit Renker410e27a2008-09-09 13:27:22 +0200184 const u16 old_s = hctx->ccid3hctx_s;
185
186 hctx->ccid3hctx_s = tfrc_ewma(hctx->ccid3hctx_s, len, 9);
187
188 if (hctx->ccid3hctx_s != old_s)
189 ccid3_update_send_interval(hctx);
Gerrit Renker78ad7132006-11-28 19:22:33 -0200190}
191
Gerrit Renker9f8681d2006-12-10 00:07:37 -0200192/*
Arnaldo Carvalho de Melo8109b022006-12-10 16:01:18 -0200193 * Update Window Counter using the algorithm from [RFC 4342, 8.1].
Gerrit Renker825de272008-05-27 06:33:54 -0700194 * As elsewhere, RTT > 0 is assumed by using dccp_sample_rtt().
Gerrit Renker9f8681d2006-12-10 00:07:37 -0200195 */
196static inline void ccid3_hc_tx_update_win_count(struct ccid3_hc_tx_sock *hctx,
Gerrit Renker8132da42007-06-16 13:34:02 -0300197 ktime_t now)
Gerrit Renker9f8681d2006-12-10 00:07:37 -0200198{
Gerrit Renker410e27a2008-09-09 13:27:22 +0200199 u32 delta = ktime_us_delta(now, hctx->ccid3hctx_t_last_win_count),
200 quarter_rtts = (4 * delta) / hctx->ccid3hctx_rtt;
Gerrit Renker9f8681d2006-12-10 00:07:37 -0200201
202 if (quarter_rtts > 0) {
Gerrit Renker410e27a2008-09-09 13:27:22 +0200203 hctx->ccid3hctx_t_last_win_count = now;
204 hctx->ccid3hctx_last_win_count += min(quarter_rtts, 5U);
205 hctx->ccid3hctx_last_win_count &= 0xF; /* mod 16 */
Gerrit Renker9f8681d2006-12-10 00:07:37 -0200206 }
207}
208
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700209static void ccid3_hc_tx_no_feedback_timer(unsigned long data)
210{
211 struct sock *sk = (struct sock *)data;
Arnaldo Carvalho de Melo59725dc2005-09-09 02:40:58 -0300212 struct ccid3_hc_tx_sock *hctx = ccid3_hc_tx_sk(sk);
Gerrit Renker2a1fda62006-11-28 18:34:34 -0200213 unsigned long t_nfb = USEC_PER_SEC / 5;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700214
215 bh_lock_sock(sk);
216 if (sock_owned_by_user(sk)) {
217 /* Try again later. */
218 /* XXX: set some sensible MIB */
Gerrit Renker48e03ee2006-11-27 20:29:27 -0200219 goto restart_timer;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700220 }
221
Gerrit Renker410e27a2008-09-09 13:27:22 +0200222 ccid3_pr_debug("%s(%p, state=%s) - entry \n", dccp_role(sk), sk,
223 ccid3_tx_state_name(hctx->ccid3hctx_state));
Gerrit Renkera9672412006-12-10 00:14:12 -0200224
Gerrit Renker410e27a2008-09-09 13:27:22 +0200225 if (hctx->ccid3hctx_state == TFRC_SSTATE_FBACK)
226 ccid3_hc_tx_set_state(sk, TFRC_SSTATE_NO_FBACK);
227 else if (hctx->ccid3hctx_state != TFRC_SSTATE_NO_FBACK)
Gerrit Renkerd0995e62008-09-04 07:30:19 +0200228 goto out;
229
Gerrit Renker52515e72007-12-17 12:57:43 -0200230 /*
231 * Determine new allowed sending rate X as per draft rfc3448bis-00, 4.4
232 */
Gerrit Renker410e27a2008-09-09 13:27:22 +0200233 if (hctx->ccid3hctx_t_rto == 0 || /* no feedback received yet */
234 hctx->ccid3hctx_p == 0) {
Gerrit Renker52515e72007-12-17 12:57:43 -0200235
236 /* halve send rate directly */
Gerrit Renker410e27a2008-09-09 13:27:22 +0200237 hctx->ccid3hctx_x = max(hctx->ccid3hctx_x / 2,
238 (((__u64)hctx->ccid3hctx_s) << 6) /
239 TFRC_T_MBI);
Gerrit Renker1266ade2007-03-20 14:56:11 -0300240 ccid3_update_send_interval(hctx);
Gerrit Renker52515e72007-12-17 12:57:43 -0200241 } else {
Arnaldo Carvalho de Melo1f2333a2005-08-27 03:51:58 -0300242 /*
Gerrit Renker52515e72007-12-17 12:57:43 -0200243 * Modify the cached value of X_recv
Gerrit Renker0c150ef2007-03-20 15:19:07 -0300244 *
Gerrit Renker52515e72007-12-17 12:57:43 -0200245 * If (X_calc > 2 * X_recv)
Gerrit Renker0c150ef2007-03-20 15:19:07 -0300246 * X_recv = max(X_recv / 2, s / (2 * t_mbi));
247 * Else
248 * X_recv = X_calc / 4;
249 *
250 * Note that X_recv is scaled by 2^6 while X_calc is not
Arnaldo Carvalho de Melo1f2333a2005-08-27 03:51:58 -0300251 */
Gerrit Renker410e27a2008-09-09 13:27:22 +0200252 BUG_ON(hctx->ccid3hctx_p && !hctx->ccid3hctx_x_calc);
Gerrit Renkera79ef762006-11-28 19:51:42 -0200253
Gerrit Renker410e27a2008-09-09 13:27:22 +0200254 if (hctx->ccid3hctx_x_calc > (hctx->ccid3hctx_x_recv >> 5))
255 hctx->ccid3hctx_x_recv =
256 max(hctx->ccid3hctx_x_recv / 2,
257 (((__u64)hctx->ccid3hctx_s) << 6) /
258 (2 * TFRC_T_MBI));
Gerrit Renker52515e72007-12-17 12:57:43 -0200259 else {
Gerrit Renker410e27a2008-09-09 13:27:22 +0200260 hctx->ccid3hctx_x_recv = hctx->ccid3hctx_x_calc;
261 hctx->ccid3hctx_x_recv <<= 4;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700262 }
Gerrit Renkeraa97efd2007-09-25 22:39:16 -0700263 ccid3_hc_tx_update_x(sk, NULL);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700264 }
Gerrit Renker52515e72007-12-17 12:57:43 -0200265 ccid3_pr_debug("Reduced X to %llu/64 bytes/sec\n",
Gerrit Renker410e27a2008-09-09 13:27:22 +0200266 (unsigned long long)hctx->ccid3hctx_x);
Gerrit Renker52515e72007-12-17 12:57:43 -0200267
268 /*
269 * Set new timeout for the nofeedback timer.
270 * See comments in packet_recv() regarding the value of t_RTO.
271 */
Gerrit Renker410e27a2008-09-09 13:27:22 +0200272 if (unlikely(hctx->ccid3hctx_t_rto == 0)) /* no feedback yet */
Gerrit Renker52515e72007-12-17 12:57:43 -0200273 t_nfb = TFRC_INITIAL_TIMEOUT;
274 else
Gerrit Renker410e27a2008-09-09 13:27:22 +0200275 t_nfb = max(hctx->ccid3hctx_t_rto, 2 * hctx->ccid3hctx_t_ipi);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700276
Gerrit Renker48e03ee2006-11-27 20:29:27 -0200277restart_timer:
Gerrit Renker410e27a2008-09-09 13:27:22 +0200278 sk_reset_timer(sk, &hctx->ccid3hctx_no_feedback_timer,
YOSHIFUJI Hideakic9eaf172007-02-09 23:24:38 +0900279 jiffies + usecs_to_jiffies(t_nfb));
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700280out:
281 bh_unlock_sock(sk);
282 sock_put(sk);
283}
284
Gerrit Renker410e27a2008-09-09 13:27:22 +0200285/*
286 * returns
287 * > 0: delay (in msecs) that should pass before actually sending
288 * = 0: can send immediately
289 * < 0: error condition; do not send packet
Gerrit Renker7da7f452006-11-27 12:26:03 -0200290 */
Gerrit Renker6b57c932006-11-28 19:55:06 -0200291static int ccid3_hc_tx_send_packet(struct sock *sk, struct sk_buff *skb)
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700292{
293 struct dccp_sock *dp = dccp_sk(sk);
Arnaldo Carvalho de Melo59725dc2005-09-09 02:40:58 -0300294 struct ccid3_hc_tx_sock *hctx = ccid3_hc_tx_sk(sk);
Gerrit Renker8132da42007-06-16 13:34:02 -0300295 ktime_t now = ktime_get_real();
296 s64 delay;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700297
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700298 /*
Gerrit Renkerda335ba2006-11-27 12:26:57 -0200299 * This function is called only for Data and DataAck packets. Sending
300 * zero-sized Data(Ack)s is theoretically possible, but for congestion
301 * control this case is pathological - ignore it.
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700302 */
Gerrit Renker6b57c932006-11-28 19:55:06 -0200303 if (unlikely(skb->len == 0))
Gerrit Renkerda335ba2006-11-27 12:26:57 -0200304 return -EBADMSG;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700305
Gerrit Renker410e27a2008-09-09 13:27:22 +0200306 switch (hctx->ccid3hctx_state) {
307 case TFRC_SSTATE_NO_SENT:
308 sk_reset_timer(sk, &hctx->ccid3hctx_no_feedback_timer,
309 (jiffies +
YOSHIFUJI Hideakic9eaf172007-02-09 23:24:38 +0900310 usecs_to_jiffies(TFRC_INITIAL_TIMEOUT)));
Gerrit Renker410e27a2008-09-09 13:27:22 +0200311 hctx->ccid3hctx_last_win_count = 0;
312 hctx->ccid3hctx_t_last_win_count = now;
Gerrit Renker90feeb92006-11-27 12:13:38 -0200313
314 /* Set t_0 for initial packet */
Gerrit Renker410e27a2008-09-09 13:27:22 +0200315 hctx->ccid3hctx_t_nom = now;
316
317 hctx->ccid3hctx_s = skb->len;
Gerrit Renker30833ff2007-03-20 15:31:56 -0300318
Gerrit Renker30833ff2007-03-20 15:31:56 -0300319 /*
320 * Use initial RTT sample when available: recommended by erratum
321 * to RFC 4342. This implements the initialisation procedure of
322 * draft rfc3448bis, section 4.2. Remember, X is scaled by 2^6.
323 */
324 if (dp->dccps_syn_rtt) {
325 ccid3_pr_debug("SYN RTT = %uus\n", dp->dccps_syn_rtt);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200326 hctx->ccid3hctx_rtt = dp->dccps_syn_rtt;
327 hctx->ccid3hctx_x = rfc3390_initial_rate(sk);
328 hctx->ccid3hctx_t_ld = now;
Gerrit Renker30833ff2007-03-20 15:31:56 -0300329 } else {
Gerrit Renker3294f202008-06-11 11:19:09 +0100330 /*
331 * Sender does not have RTT sample:
332 * - set fallback RTT (RFC 4340, 3.4) since a RTT value
333 * is needed in several parts (e.g. window counter);
334 * - set sending rate X_pps = 1pps as per RFC 3448, 4.2.
335 */
Gerrit Renker410e27a2008-09-09 13:27:22 +0200336 hctx->ccid3hctx_rtt = DCCP_FALLBACK_RTT;
337 hctx->ccid3hctx_x = hctx->ccid3hctx_s;
338 hctx->ccid3hctx_x <<= 6;
Gerrit Renker30833ff2007-03-20 15:31:56 -0300339 }
340 ccid3_update_send_interval(hctx);
341
Gerrit Renker410e27a2008-09-09 13:27:22 +0200342 ccid3_hc_tx_set_state(sk, TFRC_SSTATE_NO_FBACK);
343 break;
344 case TFRC_SSTATE_NO_FBACK:
345 case TFRC_SSTATE_FBACK:
346 delay = ktime_us_delta(hctx->ccid3hctx_t_nom, now);
Ian McDonald8699be72007-03-20 14:49:20 -0300347 ccid3_pr_debug("delay=%ld\n", (long)delay);
Gerrit Renker91cf5a12006-11-27 12:25:10 -0200348 /*
Arnaldo Carvalho de Melo8109b022006-12-10 16:01:18 -0200349 * Scheduling of packet transmissions [RFC 3448, 4.6]
Gerrit Renker91cf5a12006-11-27 12:25:10 -0200350 *
351 * if (t_now > t_nom - delta)
352 * // send the packet now
353 * else
354 * // send the packet in (t_nom - t_now) milliseconds.
355 */
Gerrit Renker410e27a2008-09-09 13:27:22 +0200356 if (delay - (s64)hctx->ccid3hctx_delta >= 1000)
357 return (u32)delay / 1000L;
Gerrit Renker9f8681d2006-12-10 00:07:37 -0200358
Gerrit Renker8132da42007-06-16 13:34:02 -0300359 ccid3_hc_tx_update_win_count(hctx, now);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200360 break;
361 case TFRC_SSTATE_TERM:
362 DCCP_BUG("%s(%p) - Illegal state TERM", dccp_role(sk), sk);
363 return -EINVAL;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700364 }
365
Gerrit Renker7da7f452006-11-27 12:26:03 -0200366 /* prepare to send now (add options etc.) */
367 dp->dccps_hc_tx_insert_options = 1;
Gerrit Renker410e27a2008-09-09 13:27:22 +0200368 DCCP_SKB_CB(skb)->dccpd_ccval = hctx->ccid3hctx_last_win_count;
Gerrit Renkere312d102006-12-10 00:08:09 -0200369
370 /* set the nominal send time for the next following packet */
Gerrit Renker410e27a2008-09-09 13:27:22 +0200371 hctx->ccid3hctx_t_nom = ktime_add_us(hctx->ccid3hctx_t_nom,
372 hctx->ccid3hctx_t_ipi);
373 return 0;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700374}
375
Gerrit Renker410e27a2008-09-09 13:27:22 +0200376static void ccid3_hc_tx_packet_sent(struct sock *sk, int more,
377 unsigned int len)
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700378{
Arnaldo Carvalho de Melo59725dc2005-09-09 02:40:58 -0300379 struct ccid3_hc_tx_sock *hctx = ccid3_hc_tx_sk(sk);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700380
Gerrit Renker410e27a2008-09-09 13:27:22 +0200381 ccid3_hc_tx_update_s(hctx, len);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700382
Gerrit Renker410e27a2008-09-09 13:27:22 +0200383 if (tfrc_tx_hist_add(&hctx->ccid3hctx_hist, dccp_sk(sk)->dccps_gss))
Gerrit Renkerc5a1ae92006-12-10 00:09:21 -0200384 DCCP_CRIT("packet history - out of memory!");
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700385}
386
387static void ccid3_hc_tx_packet_recv(struct sock *sk, struct sk_buff *skb)
388{
Arnaldo Carvalho de Melo59725dc2005-09-09 02:40:58 -0300389 struct ccid3_hc_tx_sock *hctx = ccid3_hc_tx_sk(sk);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200390 struct ccid3_options_received *opt_recv;
Arnaldo Carvalho de Melo0740d492007-08-19 17:18:13 -0700391 ktime_t now;
Gerrit Renker2a1fda62006-11-28 18:34:34 -0200392 unsigned long t_nfb;
Gerrit Renker410e27a2008-09-09 13:27:22 +0200393 u32 pinv, r_sample;
Arnaldo Carvalho de Melo1f2333a2005-08-27 03:51:58 -0300394
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700395 /* we are only interested in ACKs */
396 if (!(DCCP_SKB_CB(skb)->dccpd_type == DCCP_PKT_ACK ||
397 DCCP_SKB_CB(skb)->dccpd_type == DCCP_PKT_DATAACK))
398 return;
Gerrit Renker410e27a2008-09-09 13:27:22 +0200399 /* ... and only in the established state */
400 if (hctx->ccid3hctx_state != TFRC_SSTATE_FBACK &&
401 hctx->ccid3hctx_state != TFRC_SSTATE_NO_FBACK)
Gerrit Renker5bd370a2007-12-17 10:25:06 -0200402 return;
Gerrit Renker63b3a732008-09-04 07:30:19 +0200403
Gerrit Renker410e27a2008-09-09 13:27:22 +0200404 opt_recv = &hctx->ccid3hctx_options_received;
405 now = ktime_get_real();
Gerrit Renker5bd370a2007-12-17 10:25:06 -0200406
Gerrit Renker410e27a2008-09-09 13:27:22 +0200407 /* Estimate RTT from history if ACK number is valid */
408 r_sample = tfrc_tx_hist_rtt(hctx->ccid3hctx_hist,
409 DCCP_SKB_CB(skb)->dccpd_ack_seq, now);
410 if (r_sample == 0) {
411 DCCP_WARN("%s(%p): %s with bogus ACK-%llu\n", dccp_role(sk), sk,
412 dccp_packet_name(DCCP_SKB_CB(skb)->dccpd_type),
413 (unsigned long long)DCCP_SKB_CB(skb)->dccpd_ack_seq);
414 return;
415 }
416
417 /* Update receive rate in units of 64 * bytes/second */
418 hctx->ccid3hctx_x_recv = opt_recv->ccid3or_receive_rate;
419 hctx->ccid3hctx_x_recv <<= 6;
420
421 /* Update loss event rate (which is scaled by 1e6) */
422 pinv = opt_recv->ccid3or_loss_event_rate;
423 if (pinv == ~0U || pinv == 0) /* see RFC 4342, 8.5 */
424 hctx->ccid3hctx_p = 0;
425 else /* can not exceed 100% */
426 hctx->ccid3hctx_p = scaled_div(1, pinv);
427 /*
428 * Validate new RTT sample and update moving average
429 */
430 r_sample = dccp_sample_rtt(sk, r_sample);
431 hctx->ccid3hctx_rtt = tfrc_ewma(hctx->ccid3hctx_rtt, r_sample, 9);
Gerrit Renkerd8d12522007-12-17 12:48:47 -0200432 /*
433 * Update allowed sending rate X as per draft rfc3448bis-00, 4.2/3
434 */
Gerrit Renker410e27a2008-09-09 13:27:22 +0200435 if (hctx->ccid3hctx_state == TFRC_SSTATE_NO_FBACK) {
436 ccid3_hc_tx_set_state(sk, TFRC_SSTATE_FBACK);
Gerrit Renker5bd370a2007-12-17 10:25:06 -0200437
Gerrit Renker410e27a2008-09-09 13:27:22 +0200438 if (hctx->ccid3hctx_t_rto == 0) {
Gerrit Renkerd8d12522007-12-17 12:48:47 -0200439 /*
440 * Initial feedback packet: Larger Initial Windows (4.2)
441 */
Gerrit Renker410e27a2008-09-09 13:27:22 +0200442 hctx->ccid3hctx_x = rfc3390_initial_rate(sk);
443 hctx->ccid3hctx_t_ld = now;
Gerrit Renkerd8d12522007-12-17 12:48:47 -0200444
445 ccid3_update_send_interval(hctx);
446
447 goto done_computing_x;
Gerrit Renker410e27a2008-09-09 13:27:22 +0200448 } else if (hctx->ccid3hctx_p == 0) {
Gerrit Renkerd8d12522007-12-17 12:48:47 -0200449 /*
450 * First feedback after nofeedback timer expiry (4.3)
451 */
452 goto done_computing_x;
453 }
454 }
455
456 /* Update sending rate (step 4 of [RFC 3448, 4.3]) */
Gerrit Renker410e27a2008-09-09 13:27:22 +0200457 if (hctx->ccid3hctx_p > 0)
458 hctx->ccid3hctx_x_calc =
459 tfrc_calc_x(hctx->ccid3hctx_s,
460 hctx->ccid3hctx_rtt,
461 hctx->ccid3hctx_p);
Gerrit Renkerd8d12522007-12-17 12:48:47 -0200462 ccid3_hc_tx_update_x(sk, &now);
Gerrit Renker5bd370a2007-12-17 10:25:06 -0200463
Gerrit Renkerd8d12522007-12-17 12:48:47 -0200464done_computing_x:
465 ccid3_pr_debug("%s(%p), RTT=%uus (sample=%uus), s=%u, "
Gerrit Renker5bd370a2007-12-17 10:25:06 -0200466 "p=%u, X_calc=%u, X_recv=%u, X=%u\n",
Gerrit Renker410e27a2008-09-09 13:27:22 +0200467 dccp_role(sk),
468 sk, hctx->ccid3hctx_rtt, r_sample,
469 hctx->ccid3hctx_s, hctx->ccid3hctx_p,
470 hctx->ccid3hctx_x_calc,
471 (unsigned)(hctx->ccid3hctx_x_recv >> 6),
472 (unsigned)(hctx->ccid3hctx_x >> 6));
Gerrit Renker5bd370a2007-12-17 10:25:06 -0200473
474 /* unschedule no feedback timer */
Gerrit Renker410e27a2008-09-09 13:27:22 +0200475 sk_stop_timer(sk, &hctx->ccid3hctx_no_feedback_timer);
Gerrit Renker5bd370a2007-12-17 10:25:06 -0200476
477 /*
478 * As we have calculated new ipi, delta, t_nom it is possible
479 * that we now can send a packet, so wake up dccp_wait_for_ccid
480 */
481 sk->sk_write_space(sk);
482
483 /*
484 * Update timeout interval for the nofeedback timer.
485 * We use a configuration option to increase the lower bound.
486 * This can help avoid triggering the nofeedback timer too
487 * often ('spinning') on LANs with small RTTs.
488 */
Gerrit Renker410e27a2008-09-09 13:27:22 +0200489 hctx->ccid3hctx_t_rto = max_t(u32, 4 * hctx->ccid3hctx_rtt,
490 (CONFIG_IP_DCCP_CCID3_RTO *
491 (USEC_PER_SEC / 1000)));
Gerrit Renker5bd370a2007-12-17 10:25:06 -0200492 /*
493 * Schedule no feedback timer to expire in
494 * max(t_RTO, 2 * s/X) = max(t_RTO, 2 * t_ipi)
495 */
Gerrit Renker410e27a2008-09-09 13:27:22 +0200496 t_nfb = max(hctx->ccid3hctx_t_rto, 2 * hctx->ccid3hctx_t_ipi);
Gerrit Renker5bd370a2007-12-17 10:25:06 -0200497
498 ccid3_pr_debug("%s(%p), Scheduled no feedback timer to "
499 "expire in %lu jiffies (%luus)\n",
Gerrit Renker410e27a2008-09-09 13:27:22 +0200500 dccp_role(sk),
501 sk, usecs_to_jiffies(t_nfb), t_nfb);
Gerrit Renker5bd370a2007-12-17 10:25:06 -0200502
Gerrit Renker410e27a2008-09-09 13:27:22 +0200503 sk_reset_timer(sk, &hctx->ccid3hctx_no_feedback_timer,
Gerrit Renker5bd370a2007-12-17 10:25:06 -0200504 jiffies + usecs_to_jiffies(t_nfb));
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700505}
506
Gerrit Renker410e27a2008-09-09 13:27:22 +0200507static int ccid3_hc_tx_parse_options(struct sock *sk, unsigned char option,
508 unsigned char len, u16 idx,
509 unsigned char *value)
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700510{
Gerrit Renker410e27a2008-09-09 13:27:22 +0200511 int rc = 0;
512 const struct dccp_sock *dp = dccp_sk(sk);
Arnaldo Carvalho de Melo59725dc2005-09-09 02:40:58 -0300513 struct ccid3_hc_tx_sock *hctx = ccid3_hc_tx_sk(sk);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200514 struct ccid3_options_received *opt_recv;
Gerrit Renker76fd1e82007-10-24 10:46:58 -0200515 __be32 opt_val;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700516
Gerrit Renker410e27a2008-09-09 13:27:22 +0200517 opt_recv = &hctx->ccid3hctx_options_received;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700518
Gerrit Renker410e27a2008-09-09 13:27:22 +0200519 if (opt_recv->ccid3or_seqno != dp->dccps_gsr) {
520 opt_recv->ccid3or_seqno = dp->dccps_gsr;
521 opt_recv->ccid3or_loss_event_rate = ~0;
522 opt_recv->ccid3or_loss_intervals_idx = 0;
523 opt_recv->ccid3or_loss_intervals_len = 0;
524 opt_recv->ccid3or_receive_rate = 0;
Gerrit Renker47a61e72008-09-04 07:30:19 +0200525 }
Gerrit Renker410e27a2008-09-09 13:27:22 +0200526
527 switch (option) {
528 case TFRC_OPT_LOSS_EVENT_RATE:
529 if (unlikely(len != 4)) {
530 DCCP_WARN("%s(%p), invalid len %d "
531 "for TFRC_OPT_LOSS_EVENT_RATE\n",
532 dccp_role(sk), sk, len);
533 rc = -EINVAL;
534 } else {
535 opt_val = get_unaligned((__be32 *)value);
536 opt_recv->ccid3or_loss_event_rate = ntohl(opt_val);
537 ccid3_pr_debug("%s(%p), LOSS_EVENT_RATE=%u\n",
538 dccp_role(sk), sk,
539 opt_recv->ccid3or_loss_event_rate);
540 }
541 break;
542 case TFRC_OPT_LOSS_INTERVALS:
543 opt_recv->ccid3or_loss_intervals_idx = idx;
544 opt_recv->ccid3or_loss_intervals_len = len;
545 ccid3_pr_debug("%s(%p), LOSS_INTERVALS=(%u, %u)\n",
546 dccp_role(sk), sk,
547 opt_recv->ccid3or_loss_intervals_idx,
548 opt_recv->ccid3or_loss_intervals_len);
549 break;
550 case TFRC_OPT_RECEIVE_RATE:
551 if (unlikely(len != 4)) {
552 DCCP_WARN("%s(%p), invalid len %d "
553 "for TFRC_OPT_RECEIVE_RATE\n",
554 dccp_role(sk), sk, len);
555 rc = -EINVAL;
556 } else {
557 opt_val = get_unaligned((__be32 *)value);
558 opt_recv->ccid3or_receive_rate = ntohl(opt_val);
559 ccid3_pr_debug("%s(%p), RECEIVE_RATE=%u\n",
560 dccp_role(sk), sk,
561 opt_recv->ccid3or_receive_rate);
562 }
563 break;
564 }
565
566 return rc;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700567}
568
Arnaldo Carvalho de Melo91f0ebf2006-03-20 19:21:44 -0800569static int ccid3_hc_tx_init(struct ccid *ccid, struct sock *sk)
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700570{
Arnaldo Carvalho de Melo91f0ebf2006-03-20 19:21:44 -0800571 struct ccid3_hc_tx_sock *hctx = ccid_priv(ccid);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700572
Gerrit Renker410e27a2008-09-09 13:27:22 +0200573 hctx->ccid3hctx_state = TFRC_SSTATE_NO_SENT;
574 hctx->ccid3hctx_hist = NULL;
575 setup_timer(&hctx->ccid3hctx_no_feedback_timer,
576 ccid3_hc_tx_no_feedback_timer, (unsigned long)sk);
577
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700578 return 0;
579}
580
581static void ccid3_hc_tx_exit(struct sock *sk)
582{
Arnaldo Carvalho de Melo59725dc2005-09-09 02:40:58 -0300583 struct ccid3_hc_tx_sock *hctx = ccid3_hc_tx_sk(sk);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700584
Gerrit Renker410e27a2008-09-09 13:27:22 +0200585 ccid3_hc_tx_set_state(sk, TFRC_SSTATE_TERM);
586 sk_stop_timer(sk, &hctx->ccid3hctx_no_feedback_timer);
587
588 tfrc_tx_hist_purge(&hctx->ccid3hctx_hist);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700589}
590
Gerrit Renker9bf17472007-03-20 13:11:24 -0300591static void ccid3_hc_tx_get_info(struct sock *sk, struct tcp_info *info)
592{
Gerrit Renker410e27a2008-09-09 13:27:22 +0200593 struct ccid3_hc_tx_sock *hctx;
594
595 /* Listen socks doesn't have a private CCID block */
596 if (sk->sk_state == DCCP_LISTEN)
597 return;
598
599 hctx = ccid3_hc_tx_sk(sk);
600 info->tcpi_rto = hctx->ccid3hctx_t_rto;
601 info->tcpi_rtt = hctx->ccid3hctx_rtt;
Gerrit Renker9bf17472007-03-20 13:11:24 -0300602}
603
604static int ccid3_hc_tx_getsockopt(struct sock *sk, const int optname, int len,
605 u32 __user *optval, int __user *optlen)
606{
Gerrit Renker410e27a2008-09-09 13:27:22 +0200607 const struct ccid3_hc_tx_sock *hctx;
Gerrit Renker9bf17472007-03-20 13:11:24 -0300608 const void *val;
609
Gerrit Renker410e27a2008-09-09 13:27:22 +0200610 /* Listen socks doesn't have a private CCID block */
611 if (sk->sk_state == DCCP_LISTEN)
612 return -EINVAL;
613
614 hctx = ccid3_hc_tx_sk(sk);
Gerrit Renker9bf17472007-03-20 13:11:24 -0300615 switch (optname) {
616 case DCCP_SOCKOPT_CCID_TX_INFO:
Gerrit Renker410e27a2008-09-09 13:27:22 +0200617 if (len < sizeof(hctx->ccid3hctx_tfrc))
Gerrit Renker9bf17472007-03-20 13:11:24 -0300618 return -EINVAL;
Gerrit Renker410e27a2008-09-09 13:27:22 +0200619 len = sizeof(hctx->ccid3hctx_tfrc);
620 val = &hctx->ccid3hctx_tfrc;
Gerrit Renker9bf17472007-03-20 13:11:24 -0300621 break;
622 default:
623 return -ENOPROTOOPT;
624 }
625
626 if (put_user(len, optlen) || copy_to_user(optval, val, len))
627 return -EFAULT;
628
629 return 0;
630}
631
632/*
633 * Receiver Half-Connection Routines
634 */
Gerrit Renker410e27a2008-09-09 13:27:22 +0200635
636/* CCID3 feedback types */
637enum ccid3_fback_type {
638 CCID3_FBACK_NONE = 0,
639 CCID3_FBACK_INITIAL,
640 CCID3_FBACK_PERIODIC,
641 CCID3_FBACK_PARAM_CHANGE
642};
643
644#ifdef CONFIG_IP_DCCP_CCID3_DEBUG
645static const char *ccid3_rx_state_name(enum ccid3_hc_rx_states state)
646{
Jan Engelhardt36cbd3d2009-08-05 10:42:58 -0700647 static const char *const ccid3_rx_state_names[] = {
Gerrit Renker410e27a2008-09-09 13:27:22 +0200648 [TFRC_RSTATE_NO_DATA] = "NO_DATA",
649 [TFRC_RSTATE_DATA] = "DATA",
650 [TFRC_RSTATE_TERM] = "TERM",
651 };
652
653 return ccid3_rx_state_names[state];
654}
655#endif
656
657static void ccid3_hc_rx_set_state(struct sock *sk,
658 enum ccid3_hc_rx_states state)
659{
660 struct ccid3_hc_rx_sock *hcrx = ccid3_hc_rx_sk(sk);
661 enum ccid3_hc_rx_states oldstate = hcrx->ccid3hcrx_state;
662
663 ccid3_pr_debug("%s(%p) %-8.8s -> %s\n",
664 dccp_role(sk), sk, ccid3_rx_state_name(oldstate),
665 ccid3_rx_state_name(state));
666 WARN_ON(state == oldstate);
667 hcrx->ccid3hcrx_state = state;
668}
669
Arnaldo Carvalho de Melob84a2182007-12-06 13:18:11 -0200670static void ccid3_hc_rx_send_feedback(struct sock *sk,
671 const struct sk_buff *skb,
672 enum ccid3_fback_type fbtype)
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700673{
Arnaldo Carvalho de Melo59725dc2005-09-09 02:40:58 -0300674 struct ccid3_hc_rx_sock *hcrx = ccid3_hc_rx_sk(sk);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200675 struct dccp_sock *dp = dccp_sk(sk);
676 ktime_t now;
677 s64 delta = 0;
678
679 if (unlikely(hcrx->ccid3hcrx_state == TFRC_RSTATE_TERM))
680 return;
681
682 now = ktime_get_real();
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700683
Arnaldo Carvalho de Melob84a2182007-12-06 13:18:11 -0200684 switch (fbtype) {
685 case CCID3_FBACK_INITIAL:
Gerrit Renker410e27a2008-09-09 13:27:22 +0200686 hcrx->ccid3hcrx_x_recv = 0;
687 hcrx->ccid3hcrx_pinv = ~0U; /* see RFC 4342, 8.5 */
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700688 break;
Arnaldo Carvalho de Melob84a2182007-12-06 13:18:11 -0200689 case CCID3_FBACK_PARAM_CHANGE:
690 /*
691 * When parameters change (new loss or p > p_prev), we do not
692 * have a reliable estimate for R_m of [RFC 3448, 6.2] and so
Gerrit Renker410e27a2008-09-09 13:27:22 +0200693 * need to reuse the previous value of X_recv. However, when
694 * X_recv was 0 (due to early loss), this would kill X down to
695 * s/t_mbi (i.e. one packet in 64 seconds).
696 * To avoid such drastic reduction, we approximate X_recv as
697 * the number of bytes since last feedback.
698 * This is a safe fallback, since X is bounded above by X_calc.
Arnaldo Carvalho de Melob84a2182007-12-06 13:18:11 -0200699 */
Gerrit Renker410e27a2008-09-09 13:27:22 +0200700 if (hcrx->ccid3hcrx_x_recv > 0)
701 break;
702 /* fall through */
Arnaldo Carvalho de Melob84a2182007-12-06 13:18:11 -0200703 case CCID3_FBACK_PERIODIC:
Gerrit Renker410e27a2008-09-09 13:27:22 +0200704 delta = ktime_us_delta(now, hcrx->ccid3hcrx_tstamp_last_feedback);
705 if (delta <= 0)
706 DCCP_BUG("delta (%ld) <= 0", (long)delta);
707 else
708 hcrx->ccid3hcrx_x_recv =
709 scaled_div32(hcrx->ccid3hcrx_bytes_recv, delta);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700710 break;
Arnaldo Carvalho de Melob84a2182007-12-06 13:18:11 -0200711 default:
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700712 return;
713 }
714
Gerrit Renker410e27a2008-09-09 13:27:22 +0200715 ccid3_pr_debug("Interval %ldusec, X_recv=%u, 1/p=%u\n", (long)delta,
716 hcrx->ccid3hcrx_x_recv, hcrx->ccid3hcrx_pinv);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700717
Gerrit Renker410e27a2008-09-09 13:27:22 +0200718 hcrx->ccid3hcrx_tstamp_last_feedback = now;
719 hcrx->ccid3hcrx_last_counter = dccp_hdr(skb)->dccph_ccval;
720 hcrx->ccid3hcrx_bytes_recv = 0;
721
722 dp->dccps_hc_rx_insert_options = 1;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700723 dccp_send_ack(sk);
724}
725
Arnaldo Carvalho de Melo2d0817d2006-03-20 22:32:06 -0800726static int ccid3_hc_rx_insert_options(struct sock *sk, struct sk_buff *skb)
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700727{
Gerrit Renker410e27a2008-09-09 13:27:22 +0200728 const struct ccid3_hc_rx_sock *hcrx;
Andrea Bittau60fe62e2006-03-20 19:23:32 -0800729 __be32 x_recv, pinv;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700730
Arnaldo Carvalho de Melo59d203f2005-09-09 20:01:25 -0300731 if (!(sk->sk_state == DCCP_OPEN || sk->sk_state == DCCP_PARTOPEN))
Arnaldo Carvalho de Melo2d0817d2006-03-20 22:32:06 -0800732 return 0;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700733
Gerrit Renker410e27a2008-09-09 13:27:22 +0200734 hcrx = ccid3_hc_rx_sk(sk);
735
Arnaldo Carvalho de Melo4fded332005-08-23 21:51:59 -0700736 if (dccp_packet_without_ack(skb))
Arnaldo Carvalho de Melo2d0817d2006-03-20 22:32:06 -0800737 return 0;
738
Gerrit Renker410e27a2008-09-09 13:27:22 +0200739 x_recv = htonl(hcrx->ccid3hcrx_x_recv);
740 pinv = htonl(hcrx->ccid3hcrx_pinv);
Arnaldo Carvalho de Melo2d0817d2006-03-20 22:32:06 -0800741
Gerrit Renker385ac2e2007-12-08 16:26:59 -0200742 if (dccp_insert_option(sk, skb, TFRC_OPT_LOSS_EVENT_RATE,
Arnaldo Carvalho de Melo8109b022006-12-10 16:01:18 -0200743 &pinv, sizeof(pinv)) ||
Arnaldo Carvalho de Melo2d0817d2006-03-20 22:32:06 -0800744 dccp_insert_option(sk, skb, TFRC_OPT_RECEIVE_RATE,
Arnaldo Carvalho de Melo8109b022006-12-10 16:01:18 -0200745 &x_recv, sizeof(x_recv)))
Arnaldo Carvalho de Melo2d0817d2006-03-20 22:32:06 -0800746 return -1;
747
748 return 0;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700749}
750
Gerrit Renkeraa1b1ff2009-09-12 07:47:01 +0000751/**
752 * ccid3_first_li - Implements [RFC 5348, 6.3.1]
Gerrit Renker954c2db2007-12-12 14:06:14 -0200753 *
754 * Determine the length of the first loss interval via inverse lookup.
755 * Assume that X_recv can be computed by the throughput equation
756 * s
757 * X_recv = --------
758 * R * fval
759 * Find some p such that f(p) = fval; return 1/p (scaled).
760 */
761static u32 ccid3_first_li(struct sock *sk)
762{
763 struct ccid3_hc_rx_sock *hcrx = ccid3_hc_rx_sk(sk);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200764 u32 x_recv, p, delta;
Gerrit Renker954c2db2007-12-12 14:06:14 -0200765 u64 fval;
766
Gerrit Renker410e27a2008-09-09 13:27:22 +0200767 if (hcrx->ccid3hcrx_rtt == 0) {
768 DCCP_WARN("No RTT estimate available, using fallback RTT\n");
769 hcrx->ccid3hcrx_rtt = DCCP_FALLBACK_RTT;
770 }
Gerrit Renkerd20ed952008-09-04 07:30:19 +0200771
Gerrit Renker410e27a2008-09-09 13:27:22 +0200772 delta = ktime_to_us(net_timedelta(hcrx->ccid3hcrx_tstamp_last_feedback));
773 x_recv = scaled_div32(hcrx->ccid3hcrx_bytes_recv, delta);
774 if (x_recv == 0) { /* would also trigger divide-by-zero */
775 DCCP_WARN("X_recv==0\n");
776 if ((x_recv = hcrx->ccid3hcrx_x_recv) == 0) {
777 DCCP_BUG("stored value of X_recv is zero");
778 return ~0U;
779 }
780 }
Gerrit Renker954c2db2007-12-12 14:06:14 -0200781
Gerrit Renker410e27a2008-09-09 13:27:22 +0200782 fval = scaled_div(hcrx->ccid3hcrx_s, hcrx->ccid3hcrx_rtt);
783 fval = scaled_div32(fval, x_recv);
Gerrit Renker954c2db2007-12-12 14:06:14 -0200784 p = tfrc_calc_x_reverse_lookup(fval);
785
786 ccid3_pr_debug("%s(%p), receive rate=%u bytes/s, implied "
787 "loss rate=%u\n", dccp_role(sk), sk, x_recv, p);
788
Gerrit Renker410e27a2008-09-09 13:27:22 +0200789 return p == 0 ? ~0U : scaled_div(1, p);
Gerrit Renker954c2db2007-12-12 14:06:14 -0200790}
791
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700792static void ccid3_hc_rx_packet_recv(struct sock *sk, struct sk_buff *skb)
793{
Arnaldo Carvalho de Melo59725dc2005-09-09 02:40:58 -0300794 struct ccid3_hc_rx_sock *hcrx = ccid3_hc_rx_sk(sk);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200795 enum ccid3_fback_type do_feedback = CCID3_FBACK_NONE;
Gerrit Renker5b5d0e72008-07-13 11:51:40 +0100796 const u64 ndp = dccp_sk(sk)->dccps_options_received.dccpor_ndp;
Arnaldo Carvalho de Melob84a2182007-12-06 13:18:11 -0200797 const bool is_data_packet = dccp_data_packet(skb);
Arnaldo Carvalho de Melo1f2333a2005-08-27 03:51:58 -0300798
Gerrit Renker410e27a2008-09-09 13:27:22 +0200799 if (unlikely(hcrx->ccid3hcrx_state == TFRC_RSTATE_NO_DATA)) {
800 if (is_data_packet) {
801 const u32 payload = skb->len - dccp_hdr(skb)->dccph_doff * 4;
802 do_feedback = CCID3_FBACK_INITIAL;
803 ccid3_hc_rx_set_state(sk, TFRC_RSTATE_DATA);
804 hcrx->ccid3hcrx_s = payload;
805 /*
806 * Not necessary to update ccid3hcrx_bytes_recv here,
807 * since X_recv = 0 for the first feedback packet (cf.
808 * RFC 3448, 6.3) -- gerrit
809 */
810 }
811 goto update_records;
812 }
813
814 if (tfrc_rx_hist_duplicate(&hcrx->ccid3hcrx_hist, skb))
815 return; /* done receiving */
816
817 if (is_data_packet) {
818 const u32 payload = skb->len - dccp_hdr(skb)->dccph_doff * 4;
819 /*
820 * Update moving-average of s and the sum of received payload bytes
821 */
822 hcrx->ccid3hcrx_s = tfrc_ewma(hcrx->ccid3hcrx_s, payload, 9);
823 hcrx->ccid3hcrx_bytes_recv += payload;
824 }
825
Gerrit Renkerd20ed952008-09-04 07:30:19 +0200826 /*
827 * Perform loss detection and handle pending losses
828 */
Gerrit Renker410e27a2008-09-09 13:27:22 +0200829 if (tfrc_rx_handle_loss(&hcrx->ccid3hcrx_hist, &hcrx->ccid3hcrx_li_hist,
830 skb, ndp, ccid3_first_li, sk)) {
831 do_feedback = CCID3_FBACK_PARAM_CHANGE;
832 goto done_receiving;
833 }
834
835 if (tfrc_rx_hist_loss_pending(&hcrx->ccid3hcrx_hist))
836 return; /* done receiving */
837
Gerrit Renker88e97a92008-09-04 07:30:19 +0200838 /*
Gerrit Renker410e27a2008-09-09 13:27:22 +0200839 * Handle data packets: RTT sampling and monitoring p
Gerrit Renker88e97a92008-09-04 07:30:19 +0200840 */
Gerrit Renker410e27a2008-09-09 13:27:22 +0200841 if (unlikely(!is_data_packet))
842 goto update_records;
843
844 if (!tfrc_lh_is_initialised(&hcrx->ccid3hcrx_li_hist)) {
845 const u32 sample = tfrc_rx_hist_sample_rtt(&hcrx->ccid3hcrx_hist, skb);
846 /*
847 * Empty loss history: no loss so far, hence p stays 0.
848 * Sample RTT values, since an RTT estimate is required for the
849 * computation of p when the first loss occurs; RFC 3448, 6.3.1.
850 */
851 if (sample != 0)
852 hcrx->ccid3hcrx_rtt = tfrc_ewma(hcrx->ccid3hcrx_rtt, sample, 9);
853
854 } else if (tfrc_lh_update_i_mean(&hcrx->ccid3hcrx_li_hist, skb)) {
855 /*
856 * Step (3) of [RFC 3448, 6.1]: Recompute I_mean and, if I_mean
857 * has decreased (resp. p has increased), send feedback now.
858 */
859 do_feedback = CCID3_FBACK_PARAM_CHANGE;
860 }
861
Arnaldo Carvalho de Melob84a2182007-12-06 13:18:11 -0200862 /*
Arnaldo Carvalho de Melob84a2182007-12-06 13:18:11 -0200863 * Check if the periodic once-per-RTT feedback is due; RFC 4342, 10.3
864 */
Gerrit Renker410e27a2008-09-09 13:27:22 +0200865 if (SUB16(dccp_hdr(skb)->dccph_ccval, hcrx->ccid3hcrx_last_counter) > 3)
866 do_feedback = CCID3_FBACK_PERIODIC;
867
868update_records:
869 tfrc_rx_hist_add_packet(&hcrx->ccid3hcrx_hist, skb, ndp);
870
871done_receiving:
872 if (do_feedback)
873 ccid3_hc_rx_send_feedback(sk, skb, do_feedback);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700874}
875
Arnaldo Carvalho de Melo91f0ebf2006-03-20 19:21:44 -0800876static int ccid3_hc_rx_init(struct ccid *ccid, struct sock *sk)
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700877{
Arnaldo Carvalho de Melo91f0ebf2006-03-20 19:21:44 -0800878 struct ccid3_hc_rx_sock *hcrx = ccid_priv(ccid);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700879
Gerrit Renker410e27a2008-09-09 13:27:22 +0200880 hcrx->ccid3hcrx_state = TFRC_RSTATE_NO_DATA;
881 tfrc_lh_init(&hcrx->ccid3hcrx_li_hist);
882 return tfrc_rx_hist_alloc(&hcrx->ccid3hcrx_hist);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700883}
884
885static void ccid3_hc_rx_exit(struct sock *sk)
886{
Arnaldo Carvalho de Melo59725dc2005-09-09 02:40:58 -0300887 struct ccid3_hc_rx_sock *hcrx = ccid3_hc_rx_sk(sk);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700888
Gerrit Renker410e27a2008-09-09 13:27:22 +0200889 ccid3_hc_rx_set_state(sk, TFRC_RSTATE_TERM);
890
891 tfrc_rx_hist_purge(&hcrx->ccid3hcrx_hist);
892 tfrc_lh_cleanup(&hcrx->ccid3hcrx_li_hist);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700893}
894
Arnaldo Carvalho de Melo2babe1f2005-08-23 21:52:35 -0700895static void ccid3_hc_rx_get_info(struct sock *sk, struct tcp_info *info)
896{
Gerrit Renker410e27a2008-09-09 13:27:22 +0200897 const struct ccid3_hc_rx_sock *hcrx;
898
899 /* Listen socks doesn't have a private CCID block */
900 if (sk->sk_state == DCCP_LISTEN)
901 return;
902
903 hcrx = ccid3_hc_rx_sk(sk);
904 info->tcpi_ca_state = hcrx->ccid3hcrx_state;
Arnaldo Carvalho de Melo8109b022006-12-10 16:01:18 -0200905 info->tcpi_options |= TCPI_OPT_TIMESTAMPS;
Gerrit Renker410e27a2008-09-09 13:27:22 +0200906 info->tcpi_rcv_rtt = hcrx->ccid3hcrx_rtt;
Arnaldo Carvalho de Melo2babe1f2005-08-23 21:52:35 -0700907}
908
Arnaldo Carvalho de Melo88f964d2005-09-18 00:19:32 -0700909static int ccid3_hc_rx_getsockopt(struct sock *sk, const int optname, int len,
910 u32 __user *optval, int __user *optlen)
911{
Gerrit Renker410e27a2008-09-09 13:27:22 +0200912 const struct ccid3_hc_rx_sock *hcrx;
Gerrit Renker8e138e72007-12-17 10:07:44 -0200913 struct tfrc_rx_info rx_info;
Arnaldo Carvalho de Melo88f964d2005-09-18 00:19:32 -0700914 const void *val;
YOSHIFUJI Hideakic9eaf172007-02-09 23:24:38 +0900915
Gerrit Renker410e27a2008-09-09 13:27:22 +0200916 /* Listen socks doesn't have a private CCID block */
917 if (sk->sk_state == DCCP_LISTEN)
918 return -EINVAL;
919
920 hcrx = ccid3_hc_rx_sk(sk);
Arnaldo Carvalho de Melo88f964d2005-09-18 00:19:32 -0700921 switch (optname) {
922 case DCCP_SOCKOPT_CCID_RX_INFO:
Gerrit Renker8e138e72007-12-17 10:07:44 -0200923 if (len < sizeof(rx_info))
Arnaldo Carvalho de Melo88f964d2005-09-18 00:19:32 -0700924 return -EINVAL;
Gerrit Renker410e27a2008-09-09 13:27:22 +0200925 rx_info.tfrcrx_x_recv = hcrx->ccid3hcrx_x_recv;
926 rx_info.tfrcrx_rtt = hcrx->ccid3hcrx_rtt;
927 rx_info.tfrcrx_p = hcrx->ccid3hcrx_pinv == 0 ? ~0U :
928 scaled_div(1, hcrx->ccid3hcrx_pinv);
Gerrit Renker8e138e72007-12-17 10:07:44 -0200929 len = sizeof(rx_info);
930 val = &rx_info;
Arnaldo Carvalho de Melo88f964d2005-09-18 00:19:32 -0700931 break;
932 default:
933 return -ENOPROTOOPT;
934 }
935
936 if (put_user(len, optlen) || copy_to_user(optval, val, len))
937 return -EFAULT;
938
939 return 0;
940}
941
Gerrit Renkerddebc972009-01-04 21:42:53 -0800942struct ccid_operations ccid3_ops = {
Ian McDonald3dd9a7c2006-09-22 14:26:44 +1200943 .ccid_id = DCCPC_CCID3,
Gerrit Renker84a97b02007-12-13 23:33:25 -0200944 .ccid_name = "TCP-Friendly Rate Control",
Arnaldo Carvalho de Melo91f0ebf2006-03-20 19:21:44 -0800945 .ccid_hc_tx_obj_size = sizeof(struct ccid3_hc_tx_sock),
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700946 .ccid_hc_tx_init = ccid3_hc_tx_init,
947 .ccid_hc_tx_exit = ccid3_hc_tx_exit,
948 .ccid_hc_tx_send_packet = ccid3_hc_tx_send_packet,
949 .ccid_hc_tx_packet_sent = ccid3_hc_tx_packet_sent,
950 .ccid_hc_tx_packet_recv = ccid3_hc_tx_packet_recv,
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700951 .ccid_hc_tx_parse_options = ccid3_hc_tx_parse_options,
Arnaldo Carvalho de Melo91f0ebf2006-03-20 19:21:44 -0800952 .ccid_hc_rx_obj_size = sizeof(struct ccid3_hc_rx_sock),
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700953 .ccid_hc_rx_init = ccid3_hc_rx_init,
954 .ccid_hc_rx_exit = ccid3_hc_rx_exit,
955 .ccid_hc_rx_insert_options = ccid3_hc_rx_insert_options,
956 .ccid_hc_rx_packet_recv = ccid3_hc_rx_packet_recv,
Arnaldo Carvalho de Melo2babe1f2005-08-23 21:52:35 -0700957 .ccid_hc_rx_get_info = ccid3_hc_rx_get_info,
958 .ccid_hc_tx_get_info = ccid3_hc_tx_get_info,
Arnaldo Carvalho de Melo88f964d2005-09-18 00:19:32 -0700959 .ccid_hc_rx_getsockopt = ccid3_hc_rx_getsockopt,
960 .ccid_hc_tx_getsockopt = ccid3_hc_tx_getsockopt,
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700961};
Arnaldo Carvalho de Melo8109b022006-12-10 16:01:18 -0200962
Gerrit Renker56724aa2006-11-20 18:28:09 -0200963#ifdef CONFIG_IP_DCCP_CCID3_DEBUG
Gerrit Renker43264992008-08-23 13:28:27 +0200964module_param(ccid3_debug, bool, 0644);
Gerrit Renkerddebc972009-01-04 21:42:53 -0800965MODULE_PARM_DESC(ccid3_debug, "Enable CCID-3 debug messages");
Gerrit Renker56724aa2006-11-20 18:28:09 -0200966#endif