blob: bcd7632299f5244ab631f60f84115d211b838d68 [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{
Gerrit Renker996ccf42009-10-05 00:53:13 +000067 struct ccid3_hc_tx_sock *hc = ccid3_hc_tx_sk(sk);
68 enum ccid3_hc_tx_states oldstate = hc->tx_state;
Gerrit Renker410e27a2008-09-09 13:27:22 +020069
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);
Gerrit Renker996ccf42009-10-05 00:53:13 +000074 hc->tx_state = state;
Gerrit Renker410e27a2008-09-09 13:27:22 +020075}
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 Renker996ccf42009-10-05 00:53:13 +000088 const struct ccid3_hc_tx_sock *hc = ccid3_hc_tx_sk(sk);
89 const __u32 w_init = clamp_t(__u32, 4380U, 2 * hc->tx_s, 4 * hc->tx_s);
Gerrit Renkera21f9f92007-03-20 15:12:10 -030090
Gerrit Renker996ccf42009-10-05 00:53:13 +000091 return scaled_div(w_init << 6, hc->tx_rtt);
Gerrit Renkera21f9f92007-03-20 15:12:10 -030092}
93
Gerrit Renker410e27a2008-09-09 13:27:22 +020094/*
95 * Recalculate t_ipi and delta (should be called whenever X changes)
Gerrit Renker17893bc2006-11-27 20:31:33 -020096 */
Gerrit Renker996ccf42009-10-05 00:53:13 +000097static void ccid3_update_send_interval(struct ccid3_hc_tx_sock *hc)
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -070098{
Gerrit Renker410e27a2008-09-09 13:27:22 +020099 /* Calculate new t_ipi = s / X_inst (X_inst is in 64 * bytes/second) */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000100 hc->tx_t_ipi = scaled_div32(((u64)hc->tx_s) << 6, hc->tx_x);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200101
102 /* Calculate new delta by delta = min(t_ipi / 2, t_gran / 2) */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000103 hc->tx_delta = min_t(u32, hc->tx_t_ipi / 2, TFRC_OPSYS_HALF_TIME_GRAN);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200104
Gerrit Renker996ccf42009-10-05 00:53:13 +0000105 ccid3_pr_debug("t_ipi=%u, delta=%u, s=%u, X=%u\n", hc->tx_t_ipi,
106 hc->tx_delta, hc->tx_s, (unsigned)(hc->tx_x >> 6));
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700107}
Gerrit Renkeraa97efd2007-09-25 22:39:16 -0700108
Gerrit Renker996ccf42009-10-05 00:53:13 +0000109static u32 ccid3_hc_tx_idle_rtt(struct ccid3_hc_tx_sock *hc, ktime_t now)
Gerrit Renkera5358fd2007-11-20 18:01:59 -0200110{
Gerrit Renker996ccf42009-10-05 00:53:13 +0000111 u32 delta = ktime_us_delta(now, hc->tx_t_last_win_count);
Gerrit Renkera5358fd2007-11-20 18:01:59 -0200112
Gerrit Renker996ccf42009-10-05 00:53:13 +0000113 return delta / hc->tx_rtt;
Gerrit Renkera5358fd2007-11-20 18:01:59 -0200114}
115
Gerrit Renkeraa97efd2007-09-25 22:39:16 -0700116/**
117 * ccid3_hc_tx_update_x - Update allowed sending rate X
118 * @stamp: most recent time if available - can be left NULL.
119 * This function tracks draft rfc3448bis, check there for latest details.
Gerrit Renker5c3fbb62006-12-03 14:50:56 -0200120 *
Gerrit Renker1a21e492006-12-10 00:02:12 -0200121 * Note: X and X_recv are both stored in units of 64 * bytes/second, to support
122 * fine-grained resolution of sending rates. This requires scaling by 2^6
123 * throughout the code. Only X_calc is unscaled (in bytes/second).
124 *
Gerrit Renker1a21e492006-12-10 00:02:12 -0200125 */
Gerrit Renkeraa97efd2007-09-25 22:39:16 -0700126static void ccid3_hc_tx_update_x(struct sock *sk, ktime_t *stamp)
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700127{
Gerrit Renker996ccf42009-10-05 00:53:13 +0000128 struct ccid3_hc_tx_sock *hc = ccid3_hc_tx_sk(sk);
129 __u64 min_rate = 2 * hc->tx_x_recv;
130 const __u64 old_x = hc->tx_x;
Gerrit Renker52515e72007-12-17 12:57:43 -0200131 ktime_t now = stamp ? *stamp : ktime_get_real();
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700132
Gerrit Renker0c150ef2007-03-20 15:19:07 -0300133 /*
134 * Handle IDLE periods: do not reduce below RFC3390 initial sending rate
Gerrit Renkera5358fd2007-11-20 18:01:59 -0200135 * when idling [RFC 4342, 5.1]. Definition of idling is from rfc3448bis:
136 * a sender is idle if it has not sent anything over a 2-RTT-period.
Gerrit Renker0c150ef2007-03-20 15:19:07 -0300137 * For consistency with X and X_recv, min_rate is also scaled by 2^6.
138 */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000139 if (ccid3_hc_tx_idle_rtt(hc, now) >= 2) {
Gerrit Renker0c150ef2007-03-20 15:19:07 -0300140 min_rate = rfc3390_initial_rate(sk);
Gerrit Renker996ccf42009-10-05 00:53:13 +0000141 min_rate = max(min_rate, 2 * hc->tx_x_recv);
Gerrit Renker0c150ef2007-03-20 15:19:07 -0300142 }
143
Gerrit Renker996ccf42009-10-05 00:53:13 +0000144 if (hc->tx_p > 0) {
Gerrit Renker1a21e492006-12-10 00:02:12 -0200145
Gerrit Renker996ccf42009-10-05 00:53:13 +0000146 hc->tx_x = min(((__u64)hc->tx_x_calc) << 6, min_rate);
147 hc->tx_x = max(hc->tx_x, (((__u64)hc->tx_s) << 6) / TFRC_T_MBI);
Arnaldo Carvalho de Melob6ee3d42005-08-27 18:18:18 -0300148
Gerrit Renker996ccf42009-10-05 00:53:13 +0000149 } else if (ktime_us_delta(now, hc->tx_t_ld) - (s64)hc->tx_rtt >= 0) {
Gerrit Renker1a21e492006-12-10 00:02:12 -0200150
Gerrit Renker996ccf42009-10-05 00:53:13 +0000151 hc->tx_x = min(2 * hc->tx_x, min_rate);
152 hc->tx_x = max(hc->tx_x,
153 scaled_div(((__u64)hc->tx_s) << 6, hc->tx_rtt));
154 hc->tx_t_ld = now;
Gerrit Renkerff586292006-12-10 00:00:14 -0200155 }
Gerrit Renkera79ef762006-11-28 19:51:42 -0200156
Gerrit Renker996ccf42009-10-05 00:53:13 +0000157 if (hc->tx_x != old_x) {
Gerrit Renker1761f7d2007-03-20 15:04:30 -0300158 ccid3_pr_debug("X_prev=%u, X_now=%u, X_calc=%u, "
159 "X_recv=%u\n", (unsigned)(old_x >> 6),
Gerrit Renker996ccf42009-10-05 00:53:13 +0000160 (unsigned)(hc->tx_x >> 6), hc->tx_x_calc,
161 (unsigned)(hc->tx_x_recv >> 6));
Ian McDonald8699be72007-03-20 14:49:20 -0300162
Gerrit Renker996ccf42009-10-05 00:53:13 +0000163 ccid3_update_send_interval(hc);
Ian McDonald8699be72007-03-20 14:49:20 -0300164 }
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700165}
166
Gerrit Renker78ad7132006-11-28 19:22:33 -0200167/*
Gerrit Renker410e27a2008-09-09 13:27:22 +0200168 * Track the mean packet size `s' (cf. RFC 4342, 5.3 and RFC 3448, 4.1)
169 * @len: DCCP packet payload size in bytes
Gerrit Renker78ad7132006-11-28 19:22:33 -0200170 */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000171static inline void ccid3_hc_tx_update_s(struct ccid3_hc_tx_sock *hc, int len)
Gerrit Renker78ad7132006-11-28 19:22:33 -0200172{
Gerrit Renker996ccf42009-10-05 00:53:13 +0000173 const u16 old_s = hc->tx_s;
Gerrit Renker410e27a2008-09-09 13:27:22 +0200174
Gerrit Renker996ccf42009-10-05 00:53:13 +0000175 hc->tx_s = tfrc_ewma(hc->tx_s, len, 9);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200176
Gerrit Renker996ccf42009-10-05 00:53:13 +0000177 if (hc->tx_s != old_s)
178 ccid3_update_send_interval(hc);
Gerrit Renker78ad7132006-11-28 19:22:33 -0200179}
180
Gerrit Renker9f8681d2006-12-10 00:07:37 -0200181/*
Arnaldo Carvalho de Melo8109b022006-12-10 16:01:18 -0200182 * Update Window Counter using the algorithm from [RFC 4342, 8.1].
Gerrit Renker825de272008-05-27 06:33:54 -0700183 * As elsewhere, RTT > 0 is assumed by using dccp_sample_rtt().
Gerrit Renker9f8681d2006-12-10 00:07:37 -0200184 */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000185static inline void ccid3_hc_tx_update_win_count(struct ccid3_hc_tx_sock *hc,
Gerrit Renker8132da42007-06-16 13:34:02 -0300186 ktime_t now)
Gerrit Renker9f8681d2006-12-10 00:07:37 -0200187{
Gerrit Renker996ccf42009-10-05 00:53:13 +0000188 u32 delta = ktime_us_delta(now, hc->tx_t_last_win_count),
189 quarter_rtts = (4 * delta) / hc->tx_rtt;
Gerrit Renker9f8681d2006-12-10 00:07:37 -0200190
191 if (quarter_rtts > 0) {
Gerrit Renker996ccf42009-10-05 00:53:13 +0000192 hc->tx_t_last_win_count = now;
193 hc->tx_last_win_count += min(quarter_rtts, 5U);
194 hc->tx_last_win_count &= 0xF; /* mod 16 */
Gerrit Renker9f8681d2006-12-10 00:07:37 -0200195 }
196}
197
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700198static void ccid3_hc_tx_no_feedback_timer(unsigned long data)
199{
200 struct sock *sk = (struct sock *)data;
Gerrit Renker996ccf42009-10-05 00:53:13 +0000201 struct ccid3_hc_tx_sock *hc = ccid3_hc_tx_sk(sk);
Gerrit Renker2a1fda62006-11-28 18:34:34 -0200202 unsigned long t_nfb = USEC_PER_SEC / 5;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700203
204 bh_lock_sock(sk);
205 if (sock_owned_by_user(sk)) {
206 /* Try again later. */
207 /* XXX: set some sensible MIB */
Gerrit Renker48e03ee2006-11-27 20:29:27 -0200208 goto restart_timer;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700209 }
210
Gerrit Renker410e27a2008-09-09 13:27:22 +0200211 ccid3_pr_debug("%s(%p, state=%s) - entry \n", dccp_role(sk), sk,
Gerrit Renker996ccf42009-10-05 00:53:13 +0000212 ccid3_tx_state_name(hc->tx_state));
Gerrit Renkera9672412006-12-10 00:14:12 -0200213
Gerrit Renker996ccf42009-10-05 00:53:13 +0000214 if (hc->tx_state == TFRC_SSTATE_FBACK)
Gerrit Renker410e27a2008-09-09 13:27:22 +0200215 ccid3_hc_tx_set_state(sk, TFRC_SSTATE_NO_FBACK);
Gerrit Renker996ccf42009-10-05 00:53:13 +0000216 else if (hc->tx_state != TFRC_SSTATE_NO_FBACK)
Gerrit Renkerd0995e62008-09-04 07:30:19 +0200217 goto out;
218
Gerrit Renker52515e72007-12-17 12:57:43 -0200219 /*
220 * Determine new allowed sending rate X as per draft rfc3448bis-00, 4.4
221 */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000222 if (hc->tx_t_rto == 0 || /* no feedback received yet */
223 hc->tx_p == 0) {
Gerrit Renker52515e72007-12-17 12:57:43 -0200224
225 /* halve send rate directly */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000226 hc->tx_x = max(hc->tx_x / 2,
227 (((__u64)hc->tx_s) << 6) / TFRC_T_MBI);
228 ccid3_update_send_interval(hc);
Gerrit Renker52515e72007-12-17 12:57:43 -0200229 } else {
Arnaldo Carvalho de Melo1f2333a2005-08-27 03:51:58 -0300230 /*
Gerrit Renker52515e72007-12-17 12:57:43 -0200231 * Modify the cached value of X_recv
Gerrit Renker0c150ef2007-03-20 15:19:07 -0300232 *
Gerrit Renker52515e72007-12-17 12:57:43 -0200233 * If (X_calc > 2 * X_recv)
Gerrit Renker0c150ef2007-03-20 15:19:07 -0300234 * X_recv = max(X_recv / 2, s / (2 * t_mbi));
235 * Else
236 * X_recv = X_calc / 4;
237 *
238 * Note that X_recv is scaled by 2^6 while X_calc is not
Arnaldo Carvalho de Melo1f2333a2005-08-27 03:51:58 -0300239 */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000240 BUG_ON(hc->tx_p && !hc->tx_x_calc);
Gerrit Renkera79ef762006-11-28 19:51:42 -0200241
Gerrit Renker996ccf42009-10-05 00:53:13 +0000242 if (hc->tx_x_calc > (hc->tx_x_recv >> 5))
243 hc->tx_x_recv =
244 max(hc->tx_x_recv / 2,
245 (((__u64)hc->tx_s) << 6) / (2*TFRC_T_MBI));
Gerrit Renker52515e72007-12-17 12:57:43 -0200246 else {
Gerrit Renker996ccf42009-10-05 00:53:13 +0000247 hc->tx_x_recv = hc->tx_x_calc;
248 hc->tx_x_recv <<= 4;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700249 }
Gerrit Renkeraa97efd2007-09-25 22:39:16 -0700250 ccid3_hc_tx_update_x(sk, NULL);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700251 }
Gerrit Renker52515e72007-12-17 12:57:43 -0200252 ccid3_pr_debug("Reduced X to %llu/64 bytes/sec\n",
Gerrit Renker996ccf42009-10-05 00:53:13 +0000253 (unsigned long long)hc->tx_x);
Gerrit Renker52515e72007-12-17 12:57:43 -0200254
255 /*
256 * Set new timeout for the nofeedback timer.
257 * See comments in packet_recv() regarding the value of t_RTO.
258 */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000259 if (unlikely(hc->tx_t_rto == 0)) /* no feedback yet */
Gerrit Renker52515e72007-12-17 12:57:43 -0200260 t_nfb = TFRC_INITIAL_TIMEOUT;
261 else
Gerrit Renker996ccf42009-10-05 00:53:13 +0000262 t_nfb = max(hc->tx_t_rto, 2 * hc->tx_t_ipi);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700263
Gerrit Renker48e03ee2006-11-27 20:29:27 -0200264restart_timer:
Gerrit Renker996ccf42009-10-05 00:53:13 +0000265 sk_reset_timer(sk, &hc->tx_no_feedback_timer,
YOSHIFUJI Hideakic9eaf172007-02-09 23:24:38 +0900266 jiffies + usecs_to_jiffies(t_nfb));
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700267out:
268 bh_unlock_sock(sk);
269 sock_put(sk);
270}
271
Gerrit Renker410e27a2008-09-09 13:27:22 +0200272/*
273 * returns
274 * > 0: delay (in msecs) that should pass before actually sending
275 * = 0: can send immediately
276 * < 0: error condition; do not send packet
Gerrit Renker7da7f452006-11-27 12:26:03 -0200277 */
Gerrit Renker6b57c932006-11-28 19:55:06 -0200278static int ccid3_hc_tx_send_packet(struct sock *sk, struct sk_buff *skb)
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700279{
280 struct dccp_sock *dp = dccp_sk(sk);
Gerrit Renker996ccf42009-10-05 00:53:13 +0000281 struct ccid3_hc_tx_sock *hc = ccid3_hc_tx_sk(sk);
Gerrit Renker8132da42007-06-16 13:34:02 -0300282 ktime_t now = ktime_get_real();
283 s64 delay;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700284
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700285 /*
Gerrit Renkerda335ba2006-11-27 12:26:57 -0200286 * This function is called only for Data and DataAck packets. Sending
287 * zero-sized Data(Ack)s is theoretically possible, but for congestion
288 * control this case is pathological - ignore it.
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700289 */
Gerrit Renker6b57c932006-11-28 19:55:06 -0200290 if (unlikely(skb->len == 0))
Gerrit Renkerda335ba2006-11-27 12:26:57 -0200291 return -EBADMSG;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700292
Gerrit Renker996ccf42009-10-05 00:53:13 +0000293 switch (hc->tx_state) {
Gerrit Renker410e27a2008-09-09 13:27:22 +0200294 case TFRC_SSTATE_NO_SENT:
Gerrit Renker996ccf42009-10-05 00:53:13 +0000295 sk_reset_timer(sk, &hc->tx_no_feedback_timer, (jiffies +
296 usecs_to_jiffies(TFRC_INITIAL_TIMEOUT)));
297 hc->tx_last_win_count = 0;
298 hc->tx_t_last_win_count = now;
Gerrit Renker90feeb92006-11-27 12:13:38 -0200299
300 /* Set t_0 for initial packet */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000301 hc->tx_t_nom = now;
Gerrit Renker410e27a2008-09-09 13:27:22 +0200302
Gerrit Renker996ccf42009-10-05 00:53:13 +0000303 hc->tx_s = skb->len;
Gerrit Renker30833ff2007-03-20 15:31:56 -0300304
Gerrit Renker30833ff2007-03-20 15:31:56 -0300305 /*
306 * Use initial RTT sample when available: recommended by erratum
307 * to RFC 4342. This implements the initialisation procedure of
308 * draft rfc3448bis, section 4.2. Remember, X is scaled by 2^6.
309 */
310 if (dp->dccps_syn_rtt) {
311 ccid3_pr_debug("SYN RTT = %uus\n", dp->dccps_syn_rtt);
Gerrit Renker996ccf42009-10-05 00:53:13 +0000312 hc->tx_rtt = dp->dccps_syn_rtt;
313 hc->tx_x = rfc3390_initial_rate(sk);
314 hc->tx_t_ld = now;
Gerrit Renker30833ff2007-03-20 15:31:56 -0300315 } else {
Gerrit Renker3294f202008-06-11 11:19:09 +0100316 /*
317 * Sender does not have RTT sample:
318 * - set fallback RTT (RFC 4340, 3.4) since a RTT value
319 * is needed in several parts (e.g. window counter);
320 * - set sending rate X_pps = 1pps as per RFC 3448, 4.2.
321 */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000322 hc->tx_rtt = DCCP_FALLBACK_RTT;
323 hc->tx_x = hc->tx_s;
324 hc->tx_x <<= 6;
Gerrit Renker30833ff2007-03-20 15:31:56 -0300325 }
Gerrit Renker996ccf42009-10-05 00:53:13 +0000326 ccid3_update_send_interval(hc);
Gerrit Renker30833ff2007-03-20 15:31:56 -0300327
Gerrit Renker410e27a2008-09-09 13:27:22 +0200328 ccid3_hc_tx_set_state(sk, TFRC_SSTATE_NO_FBACK);
329 break;
330 case TFRC_SSTATE_NO_FBACK:
331 case TFRC_SSTATE_FBACK:
Gerrit Renker996ccf42009-10-05 00:53:13 +0000332 delay = ktime_us_delta(hc->tx_t_nom, now);
Ian McDonald8699be72007-03-20 14:49:20 -0300333 ccid3_pr_debug("delay=%ld\n", (long)delay);
Gerrit Renker91cf5a12006-11-27 12:25:10 -0200334 /*
Arnaldo Carvalho de Melo8109b022006-12-10 16:01:18 -0200335 * Scheduling of packet transmissions [RFC 3448, 4.6]
Gerrit Renker91cf5a12006-11-27 12:25:10 -0200336 *
337 * if (t_now > t_nom - delta)
338 * // send the packet now
339 * else
340 * // send the packet in (t_nom - t_now) milliseconds.
341 */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000342 if (delay - (s64)hc->tx_delta >= 1000)
Gerrit Renker410e27a2008-09-09 13:27:22 +0200343 return (u32)delay / 1000L;
Gerrit Renker9f8681d2006-12-10 00:07:37 -0200344
Gerrit Renker996ccf42009-10-05 00:53:13 +0000345 ccid3_hc_tx_update_win_count(hc, now);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200346 break;
347 case TFRC_SSTATE_TERM:
348 DCCP_BUG("%s(%p) - Illegal state TERM", dccp_role(sk), sk);
349 return -EINVAL;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700350 }
351
Gerrit Renker7da7f452006-11-27 12:26:03 -0200352 /* prepare to send now (add options etc.) */
353 dp->dccps_hc_tx_insert_options = 1;
Gerrit Renker996ccf42009-10-05 00:53:13 +0000354 DCCP_SKB_CB(skb)->dccpd_ccval = hc->tx_last_win_count;
Gerrit Renkere312d102006-12-10 00:08:09 -0200355
356 /* set the nominal send time for the next following packet */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000357 hc->tx_t_nom = ktime_add_us(hc->tx_t_nom, hc->tx_t_ipi);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200358 return 0;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700359}
360
Gerrit Renker410e27a2008-09-09 13:27:22 +0200361static void ccid3_hc_tx_packet_sent(struct sock *sk, int more,
362 unsigned int len)
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700363{
Gerrit Renker996ccf42009-10-05 00:53:13 +0000364 struct ccid3_hc_tx_sock *hc = ccid3_hc_tx_sk(sk);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700365
Gerrit Renker996ccf42009-10-05 00:53:13 +0000366 ccid3_hc_tx_update_s(hc, len);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700367
Gerrit Renker996ccf42009-10-05 00:53:13 +0000368 if (tfrc_tx_hist_add(&hc->tx_hist, dccp_sk(sk)->dccps_gss))
Gerrit Renkerc5a1ae92006-12-10 00:09:21 -0200369 DCCP_CRIT("packet history - out of memory!");
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700370}
371
372static void ccid3_hc_tx_packet_recv(struct sock *sk, struct sk_buff *skb)
373{
Gerrit Renker996ccf42009-10-05 00:53:13 +0000374 struct ccid3_hc_tx_sock *hc = ccid3_hc_tx_sk(sk);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200375 struct ccid3_options_received *opt_recv;
Arnaldo Carvalho de Melo0740d492007-08-19 17:18:13 -0700376 ktime_t now;
Gerrit Renker2a1fda62006-11-28 18:34:34 -0200377 unsigned long t_nfb;
Gerrit Renker410e27a2008-09-09 13:27:22 +0200378 u32 pinv, r_sample;
Arnaldo Carvalho de Melo1f2333a2005-08-27 03:51:58 -0300379
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700380 /* we are only interested in ACKs */
381 if (!(DCCP_SKB_CB(skb)->dccpd_type == DCCP_PKT_ACK ||
382 DCCP_SKB_CB(skb)->dccpd_type == DCCP_PKT_DATAACK))
383 return;
Gerrit Renker410e27a2008-09-09 13:27:22 +0200384 /* ... and only in the established state */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000385 if (hc->tx_state != TFRC_SSTATE_FBACK &&
386 hc->tx_state != TFRC_SSTATE_NO_FBACK)
Gerrit Renker5bd370a2007-12-17 10:25:06 -0200387 return;
Gerrit Renker63b3a732008-09-04 07:30:19 +0200388
Gerrit Renker996ccf42009-10-05 00:53:13 +0000389 opt_recv = &hc->tx_options_received;
Gerrit Renker410e27a2008-09-09 13:27:22 +0200390 now = ktime_get_real();
Gerrit Renker5bd370a2007-12-17 10:25:06 -0200391
Gerrit Renker410e27a2008-09-09 13:27:22 +0200392 /* Estimate RTT from history if ACK number is valid */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000393 r_sample = tfrc_tx_hist_rtt(hc->tx_hist,
Gerrit Renker410e27a2008-09-09 13:27:22 +0200394 DCCP_SKB_CB(skb)->dccpd_ack_seq, now);
395 if (r_sample == 0) {
396 DCCP_WARN("%s(%p): %s with bogus ACK-%llu\n", dccp_role(sk), sk,
397 dccp_packet_name(DCCP_SKB_CB(skb)->dccpd_type),
398 (unsigned long long)DCCP_SKB_CB(skb)->dccpd_ack_seq);
399 return;
400 }
401
402 /* Update receive rate in units of 64 * bytes/second */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000403 hc->tx_x_recv = opt_recv->ccid3or_receive_rate;
404 hc->tx_x_recv <<= 6;
Gerrit Renker410e27a2008-09-09 13:27:22 +0200405
406 /* Update loss event rate (which is scaled by 1e6) */
407 pinv = opt_recv->ccid3or_loss_event_rate;
408 if (pinv == ~0U || pinv == 0) /* see RFC 4342, 8.5 */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000409 hc->tx_p = 0;
Gerrit Renker410e27a2008-09-09 13:27:22 +0200410 else /* can not exceed 100% */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000411 hc->tx_p = scaled_div(1, pinv);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200412 /*
413 * Validate new RTT sample and update moving average
414 */
415 r_sample = dccp_sample_rtt(sk, r_sample);
Gerrit Renker996ccf42009-10-05 00:53:13 +0000416 hc->tx_rtt = tfrc_ewma(hc->tx_rtt, r_sample, 9);
Gerrit Renkerd8d12522007-12-17 12:48:47 -0200417 /*
418 * Update allowed sending rate X as per draft rfc3448bis-00, 4.2/3
419 */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000420 if (hc->tx_state == TFRC_SSTATE_NO_FBACK) {
Gerrit Renker410e27a2008-09-09 13:27:22 +0200421 ccid3_hc_tx_set_state(sk, TFRC_SSTATE_FBACK);
Gerrit Renker5bd370a2007-12-17 10:25:06 -0200422
Gerrit Renker996ccf42009-10-05 00:53:13 +0000423 if (hc->tx_t_rto == 0) {
Gerrit Renkerd8d12522007-12-17 12:48:47 -0200424 /*
425 * Initial feedback packet: Larger Initial Windows (4.2)
426 */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000427 hc->tx_x = rfc3390_initial_rate(sk);
428 hc->tx_t_ld = now;
Gerrit Renkerd8d12522007-12-17 12:48:47 -0200429
Gerrit Renker996ccf42009-10-05 00:53:13 +0000430 ccid3_update_send_interval(hc);
Gerrit Renkerd8d12522007-12-17 12:48:47 -0200431
432 goto done_computing_x;
Gerrit Renker996ccf42009-10-05 00:53:13 +0000433 } else if (hc->tx_p == 0) {
Gerrit Renkerd8d12522007-12-17 12:48:47 -0200434 /*
435 * First feedback after nofeedback timer expiry (4.3)
436 */
437 goto done_computing_x;
438 }
439 }
440
441 /* Update sending rate (step 4 of [RFC 3448, 4.3]) */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000442 if (hc->tx_p > 0)
443 hc->tx_x_calc = tfrc_calc_x(hc->tx_s, hc->tx_rtt, hc->tx_p);
Gerrit Renkerd8d12522007-12-17 12:48:47 -0200444 ccid3_hc_tx_update_x(sk, &now);
Gerrit Renker5bd370a2007-12-17 10:25:06 -0200445
Gerrit Renkerd8d12522007-12-17 12:48:47 -0200446done_computing_x:
447 ccid3_pr_debug("%s(%p), RTT=%uus (sample=%uus), s=%u, "
Gerrit Renker5bd370a2007-12-17 10:25:06 -0200448 "p=%u, X_calc=%u, X_recv=%u, X=%u\n",
Gerrit Renker996ccf42009-10-05 00:53:13 +0000449 dccp_role(sk), sk, hc->tx_rtt, r_sample,
450 hc->tx_s, hc->tx_p, hc->tx_x_calc,
451 (unsigned)(hc->tx_x_recv >> 6),
452 (unsigned)(hc->tx_x >> 6));
Gerrit Renker5bd370a2007-12-17 10:25:06 -0200453
454 /* unschedule no feedback timer */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000455 sk_stop_timer(sk, &hc->tx_no_feedback_timer);
Gerrit Renker5bd370a2007-12-17 10:25:06 -0200456
457 /*
458 * As we have calculated new ipi, delta, t_nom it is possible
459 * that we now can send a packet, so wake up dccp_wait_for_ccid
460 */
461 sk->sk_write_space(sk);
462
463 /*
464 * Update timeout interval for the nofeedback timer.
465 * We use a configuration option to increase the lower bound.
466 * This can help avoid triggering the nofeedback timer too
467 * often ('spinning') on LANs with small RTTs.
468 */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000469 hc->tx_t_rto = max_t(u32, 4 * hc->tx_rtt, (CONFIG_IP_DCCP_CCID3_RTO *
Gerrit Renker388d5e92009-10-05 00:53:11 +0000470 (USEC_PER_SEC / 1000)));
Gerrit Renker5bd370a2007-12-17 10:25:06 -0200471 /*
472 * Schedule no feedback timer to expire in
473 * max(t_RTO, 2 * s/X) = max(t_RTO, 2 * t_ipi)
474 */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000475 t_nfb = max(hc->tx_t_rto, 2 * hc->tx_t_ipi);
Gerrit Renker5bd370a2007-12-17 10:25:06 -0200476
477 ccid3_pr_debug("%s(%p), Scheduled no feedback timer to "
478 "expire in %lu jiffies (%luus)\n",
Gerrit Renker388d5e92009-10-05 00:53:11 +0000479 dccp_role(sk), sk, usecs_to_jiffies(t_nfb), t_nfb);
Gerrit Renker5bd370a2007-12-17 10:25:06 -0200480
Gerrit Renker996ccf42009-10-05 00:53:13 +0000481 sk_reset_timer(sk, &hc->tx_no_feedback_timer,
Gerrit Renker5bd370a2007-12-17 10:25:06 -0200482 jiffies + usecs_to_jiffies(t_nfb));
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700483}
484
Gerrit Renker410e27a2008-09-09 13:27:22 +0200485static int ccid3_hc_tx_parse_options(struct sock *sk, unsigned char option,
486 unsigned char len, u16 idx,
487 unsigned char *value)
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700488{
Gerrit Renker410e27a2008-09-09 13:27:22 +0200489 int rc = 0;
490 const struct dccp_sock *dp = dccp_sk(sk);
Gerrit Renker996ccf42009-10-05 00:53:13 +0000491 struct ccid3_hc_tx_sock *hc = ccid3_hc_tx_sk(sk);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200492 struct ccid3_options_received *opt_recv;
Gerrit Renker76fd1e82007-10-24 10:46:58 -0200493 __be32 opt_val;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700494
Gerrit Renker996ccf42009-10-05 00:53:13 +0000495 opt_recv = &hc->tx_options_received;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700496
Gerrit Renker410e27a2008-09-09 13:27:22 +0200497 if (opt_recv->ccid3or_seqno != dp->dccps_gsr) {
498 opt_recv->ccid3or_seqno = dp->dccps_gsr;
499 opt_recv->ccid3or_loss_event_rate = ~0;
500 opt_recv->ccid3or_loss_intervals_idx = 0;
501 opt_recv->ccid3or_loss_intervals_len = 0;
502 opt_recv->ccid3or_receive_rate = 0;
Gerrit Renker47a61e72008-09-04 07:30:19 +0200503 }
Gerrit Renker410e27a2008-09-09 13:27:22 +0200504
505 switch (option) {
506 case TFRC_OPT_LOSS_EVENT_RATE:
507 if (unlikely(len != 4)) {
508 DCCP_WARN("%s(%p), invalid len %d "
509 "for TFRC_OPT_LOSS_EVENT_RATE\n",
510 dccp_role(sk), sk, len);
511 rc = -EINVAL;
512 } else {
513 opt_val = get_unaligned((__be32 *)value);
514 opt_recv->ccid3or_loss_event_rate = ntohl(opt_val);
515 ccid3_pr_debug("%s(%p), LOSS_EVENT_RATE=%u\n",
516 dccp_role(sk), sk,
517 opt_recv->ccid3or_loss_event_rate);
518 }
519 break;
520 case TFRC_OPT_LOSS_INTERVALS:
521 opt_recv->ccid3or_loss_intervals_idx = idx;
522 opt_recv->ccid3or_loss_intervals_len = len;
523 ccid3_pr_debug("%s(%p), LOSS_INTERVALS=(%u, %u)\n",
524 dccp_role(sk), sk,
525 opt_recv->ccid3or_loss_intervals_idx,
526 opt_recv->ccid3or_loss_intervals_len);
527 break;
528 case TFRC_OPT_RECEIVE_RATE:
529 if (unlikely(len != 4)) {
530 DCCP_WARN("%s(%p), invalid len %d "
531 "for TFRC_OPT_RECEIVE_RATE\n",
532 dccp_role(sk), sk, len);
533 rc = -EINVAL;
534 } else {
535 opt_val = get_unaligned((__be32 *)value);
536 opt_recv->ccid3or_receive_rate = ntohl(opt_val);
537 ccid3_pr_debug("%s(%p), RECEIVE_RATE=%u\n",
538 dccp_role(sk), sk,
539 opt_recv->ccid3or_receive_rate);
540 }
541 break;
542 }
543
544 return rc;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700545}
546
Arnaldo Carvalho de Melo91f0ebf2006-03-20 19:21:44 -0800547static int ccid3_hc_tx_init(struct ccid *ccid, struct sock *sk)
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700548{
Gerrit Renker996ccf42009-10-05 00:53:13 +0000549 struct ccid3_hc_tx_sock *hc = ccid_priv(ccid);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700550
Gerrit Renker996ccf42009-10-05 00:53:13 +0000551 hc->tx_state = TFRC_SSTATE_NO_SENT;
552 hc->tx_hist = NULL;
553 setup_timer(&hc->tx_no_feedback_timer,
Gerrit Renker410e27a2008-09-09 13:27:22 +0200554 ccid3_hc_tx_no_feedback_timer, (unsigned long)sk);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700555 return 0;
556}
557
558static void ccid3_hc_tx_exit(struct sock *sk)
559{
Gerrit Renker996ccf42009-10-05 00:53:13 +0000560 struct ccid3_hc_tx_sock *hc = ccid3_hc_tx_sk(sk);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700561
Gerrit Renker410e27a2008-09-09 13:27:22 +0200562 ccid3_hc_tx_set_state(sk, TFRC_SSTATE_TERM);
Gerrit Renker996ccf42009-10-05 00:53:13 +0000563 sk_stop_timer(sk, &hc->tx_no_feedback_timer);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200564
Gerrit Renker996ccf42009-10-05 00:53:13 +0000565 tfrc_tx_hist_purge(&hc->tx_hist);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700566}
567
Gerrit Renker9bf17472007-03-20 13:11:24 -0300568static void ccid3_hc_tx_get_info(struct sock *sk, struct tcp_info *info)
569{
Gerrit Renker996ccf42009-10-05 00:53:13 +0000570 struct ccid3_hc_tx_sock *hc;
Gerrit Renker410e27a2008-09-09 13:27:22 +0200571
572 /* Listen socks doesn't have a private CCID block */
573 if (sk->sk_state == DCCP_LISTEN)
574 return;
575
Gerrit Renker996ccf42009-10-05 00:53:13 +0000576 hc = ccid3_hc_tx_sk(sk);
577 info->tcpi_rto = hc->tx_t_rto;
578 info->tcpi_rtt = hc->tx_rtt;
Gerrit Renker9bf17472007-03-20 13:11:24 -0300579}
580
581static int ccid3_hc_tx_getsockopt(struct sock *sk, const int optname, int len,
582 u32 __user *optval, int __user *optlen)
583{
Gerrit Renker996ccf42009-10-05 00:53:13 +0000584 const struct ccid3_hc_tx_sock *hc;
Gerrit Renker9bf17472007-03-20 13:11:24 -0300585 const void *val;
586
Gerrit Renker410e27a2008-09-09 13:27:22 +0200587 /* Listen socks doesn't have a private CCID block */
588 if (sk->sk_state == DCCP_LISTEN)
589 return -EINVAL;
590
Gerrit Renker996ccf42009-10-05 00:53:13 +0000591 hc = ccid3_hc_tx_sk(sk);
Gerrit Renker9bf17472007-03-20 13:11:24 -0300592 switch (optname) {
593 case DCCP_SOCKOPT_CCID_TX_INFO:
Gerrit Renker996ccf42009-10-05 00:53:13 +0000594 if (len < sizeof(hc->tx_tfrc))
Gerrit Renker9bf17472007-03-20 13:11:24 -0300595 return -EINVAL;
Gerrit Renker996ccf42009-10-05 00:53:13 +0000596 len = sizeof(hc->tx_tfrc);
597 val = &hc->tx_tfrc;
Gerrit Renker9bf17472007-03-20 13:11:24 -0300598 break;
599 default:
600 return -ENOPROTOOPT;
601 }
602
603 if (put_user(len, optlen) || copy_to_user(optval, val, len))
604 return -EFAULT;
605
606 return 0;
607}
608
609/*
610 * Receiver Half-Connection Routines
611 */
Gerrit Renker410e27a2008-09-09 13:27:22 +0200612
613/* CCID3 feedback types */
614enum ccid3_fback_type {
615 CCID3_FBACK_NONE = 0,
616 CCID3_FBACK_INITIAL,
617 CCID3_FBACK_PERIODIC,
618 CCID3_FBACK_PARAM_CHANGE
619};
620
621#ifdef CONFIG_IP_DCCP_CCID3_DEBUG
622static const char *ccid3_rx_state_name(enum ccid3_hc_rx_states state)
623{
Jan Engelhardt36cbd3d2009-08-05 10:42:58 -0700624 static const char *const ccid3_rx_state_names[] = {
Gerrit Renker410e27a2008-09-09 13:27:22 +0200625 [TFRC_RSTATE_NO_DATA] = "NO_DATA",
626 [TFRC_RSTATE_DATA] = "DATA",
627 [TFRC_RSTATE_TERM] = "TERM",
628 };
629
630 return ccid3_rx_state_names[state];
631}
632#endif
633
634static void ccid3_hc_rx_set_state(struct sock *sk,
635 enum ccid3_hc_rx_states state)
636{
Gerrit Renker996ccf42009-10-05 00:53:13 +0000637 struct ccid3_hc_rx_sock *hc = ccid3_hc_rx_sk(sk);
638 enum ccid3_hc_rx_states oldstate = hc->rx_state;
Gerrit Renker410e27a2008-09-09 13:27:22 +0200639
640 ccid3_pr_debug("%s(%p) %-8.8s -> %s\n",
641 dccp_role(sk), sk, ccid3_rx_state_name(oldstate),
642 ccid3_rx_state_name(state));
643 WARN_ON(state == oldstate);
Gerrit Renker996ccf42009-10-05 00:53:13 +0000644 hc->rx_state = state;
Gerrit Renker410e27a2008-09-09 13:27:22 +0200645}
646
Arnaldo Carvalho de Melob84a2182007-12-06 13:18:11 -0200647static void ccid3_hc_rx_send_feedback(struct sock *sk,
648 const struct sk_buff *skb,
649 enum ccid3_fback_type fbtype)
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700650{
Gerrit Renker996ccf42009-10-05 00:53:13 +0000651 struct ccid3_hc_rx_sock *hc = ccid3_hc_rx_sk(sk);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200652 struct dccp_sock *dp = dccp_sk(sk);
653 ktime_t now;
654 s64 delta = 0;
655
Gerrit Renker996ccf42009-10-05 00:53:13 +0000656 if (unlikely(hc->rx_state == TFRC_RSTATE_TERM))
Gerrit Renker410e27a2008-09-09 13:27:22 +0200657 return;
658
659 now = ktime_get_real();
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700660
Arnaldo Carvalho de Melob84a2182007-12-06 13:18:11 -0200661 switch (fbtype) {
662 case CCID3_FBACK_INITIAL:
Gerrit Renker996ccf42009-10-05 00:53:13 +0000663 hc->rx_x_recv = 0;
664 hc->rx_pinv = ~0U; /* see RFC 4342, 8.5 */
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700665 break;
Arnaldo Carvalho de Melob84a2182007-12-06 13:18:11 -0200666 case CCID3_FBACK_PARAM_CHANGE:
667 /*
668 * When parameters change (new loss or p > p_prev), we do not
669 * have a reliable estimate for R_m of [RFC 3448, 6.2] and so
Gerrit Renker410e27a2008-09-09 13:27:22 +0200670 * need to reuse the previous value of X_recv. However, when
671 * X_recv was 0 (due to early loss), this would kill X down to
672 * s/t_mbi (i.e. one packet in 64 seconds).
673 * To avoid such drastic reduction, we approximate X_recv as
674 * the number of bytes since last feedback.
675 * This is a safe fallback, since X is bounded above by X_calc.
Arnaldo Carvalho de Melob84a2182007-12-06 13:18:11 -0200676 */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000677 if (hc->rx_x_recv > 0)
Gerrit Renker410e27a2008-09-09 13:27:22 +0200678 break;
679 /* fall through */
Arnaldo Carvalho de Melob84a2182007-12-06 13:18:11 -0200680 case CCID3_FBACK_PERIODIC:
Gerrit Renker996ccf42009-10-05 00:53:13 +0000681 delta = ktime_us_delta(now, hc->rx_tstamp_last_feedback);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200682 if (delta <= 0)
683 DCCP_BUG("delta (%ld) <= 0", (long)delta);
684 else
Gerrit Renker996ccf42009-10-05 00:53:13 +0000685 hc->rx_x_recv = scaled_div32(hc->rx_bytes_recv, delta);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700686 break;
Arnaldo Carvalho de Melob84a2182007-12-06 13:18:11 -0200687 default:
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700688 return;
689 }
690
Gerrit Renker410e27a2008-09-09 13:27:22 +0200691 ccid3_pr_debug("Interval %ldusec, X_recv=%u, 1/p=%u\n", (long)delta,
Gerrit Renker996ccf42009-10-05 00:53:13 +0000692 hc->rx_x_recv, hc->rx_pinv);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700693
Gerrit Renker996ccf42009-10-05 00:53:13 +0000694 hc->rx_tstamp_last_feedback = now;
695 hc->rx_last_counter = dccp_hdr(skb)->dccph_ccval;
696 hc->rx_bytes_recv = 0;
Gerrit Renker410e27a2008-09-09 13:27:22 +0200697
698 dp->dccps_hc_rx_insert_options = 1;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700699 dccp_send_ack(sk);
700}
701
Arnaldo Carvalho de Melo2d0817d2006-03-20 22:32:06 -0800702static int ccid3_hc_rx_insert_options(struct sock *sk, struct sk_buff *skb)
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700703{
Gerrit Renker996ccf42009-10-05 00:53:13 +0000704 const struct ccid3_hc_rx_sock *hc;
Andrea Bittau60fe62e2006-03-20 19:23:32 -0800705 __be32 x_recv, pinv;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700706
Arnaldo Carvalho de Melo59d203f2005-09-09 20:01:25 -0300707 if (!(sk->sk_state == DCCP_OPEN || sk->sk_state == DCCP_PARTOPEN))
Arnaldo Carvalho de Melo2d0817d2006-03-20 22:32:06 -0800708 return 0;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700709
Gerrit Renker996ccf42009-10-05 00:53:13 +0000710 hc = ccid3_hc_rx_sk(sk);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200711
Arnaldo Carvalho de Melo4fded332005-08-23 21:51:59 -0700712 if (dccp_packet_without_ack(skb))
Arnaldo Carvalho de Melo2d0817d2006-03-20 22:32:06 -0800713 return 0;
714
Gerrit Renker996ccf42009-10-05 00:53:13 +0000715 x_recv = htonl(hc->rx_x_recv);
716 pinv = htonl(hc->rx_pinv);
Arnaldo Carvalho de Melo2d0817d2006-03-20 22:32:06 -0800717
Gerrit Renker385ac2e2007-12-08 16:26:59 -0200718 if (dccp_insert_option(sk, skb, TFRC_OPT_LOSS_EVENT_RATE,
Arnaldo Carvalho de Melo8109b022006-12-10 16:01:18 -0200719 &pinv, sizeof(pinv)) ||
Arnaldo Carvalho de Melo2d0817d2006-03-20 22:32:06 -0800720 dccp_insert_option(sk, skb, TFRC_OPT_RECEIVE_RATE,
Arnaldo Carvalho de Melo8109b022006-12-10 16:01:18 -0200721 &x_recv, sizeof(x_recv)))
Arnaldo Carvalho de Melo2d0817d2006-03-20 22:32:06 -0800722 return -1;
723
724 return 0;
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700725}
726
Gerrit Renkeraa1b1ff2009-09-12 07:47:01 +0000727/**
728 * ccid3_first_li - Implements [RFC 5348, 6.3.1]
Gerrit Renker954c2db2007-12-12 14:06:14 -0200729 *
730 * Determine the length of the first loss interval via inverse lookup.
731 * Assume that X_recv can be computed by the throughput equation
732 * s
733 * X_recv = --------
734 * R * fval
735 * Find some p such that f(p) = fval; return 1/p (scaled).
736 */
737static u32 ccid3_first_li(struct sock *sk)
738{
Gerrit Renker996ccf42009-10-05 00:53:13 +0000739 struct ccid3_hc_rx_sock *hc = ccid3_hc_rx_sk(sk);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200740 u32 x_recv, p, delta;
Gerrit Renker954c2db2007-12-12 14:06:14 -0200741 u64 fval;
742
Gerrit Renker996ccf42009-10-05 00:53:13 +0000743 if (hc->rx_rtt == 0) {
Gerrit Renker410e27a2008-09-09 13:27:22 +0200744 DCCP_WARN("No RTT estimate available, using fallback RTT\n");
Gerrit Renker996ccf42009-10-05 00:53:13 +0000745 hc->rx_rtt = DCCP_FALLBACK_RTT;
Gerrit Renker410e27a2008-09-09 13:27:22 +0200746 }
Gerrit Renkerd20ed952008-09-04 07:30:19 +0200747
Gerrit Renker996ccf42009-10-05 00:53:13 +0000748 delta = ktime_to_us(net_timedelta(hc->rx_tstamp_last_feedback));
749 x_recv = scaled_div32(hc->rx_bytes_recv, delta);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200750 if (x_recv == 0) { /* would also trigger divide-by-zero */
751 DCCP_WARN("X_recv==0\n");
Gerrit Renker996ccf42009-10-05 00:53:13 +0000752 if ((x_recv = hc->rx_x_recv) == 0) {
Gerrit Renker410e27a2008-09-09 13:27:22 +0200753 DCCP_BUG("stored value of X_recv is zero");
754 return ~0U;
755 }
756 }
Gerrit Renker954c2db2007-12-12 14:06:14 -0200757
Gerrit Renker996ccf42009-10-05 00:53:13 +0000758 fval = scaled_div(hc->rx_s, hc->rx_rtt);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200759 fval = scaled_div32(fval, x_recv);
Gerrit Renker954c2db2007-12-12 14:06:14 -0200760 p = tfrc_calc_x_reverse_lookup(fval);
761
762 ccid3_pr_debug("%s(%p), receive rate=%u bytes/s, implied "
763 "loss rate=%u\n", dccp_role(sk), sk, x_recv, p);
764
Gerrit Renker410e27a2008-09-09 13:27:22 +0200765 return p == 0 ? ~0U : scaled_div(1, p);
Gerrit Renker954c2db2007-12-12 14:06:14 -0200766}
767
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700768static void ccid3_hc_rx_packet_recv(struct sock *sk, struct sk_buff *skb)
769{
Gerrit Renker996ccf42009-10-05 00:53:13 +0000770 struct ccid3_hc_rx_sock *hc = ccid3_hc_rx_sk(sk);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200771 enum ccid3_fback_type do_feedback = CCID3_FBACK_NONE;
Gerrit Renker5b5d0e72008-07-13 11:51:40 +0100772 const u64 ndp = dccp_sk(sk)->dccps_options_received.dccpor_ndp;
Arnaldo Carvalho de Melob84a2182007-12-06 13:18:11 -0200773 const bool is_data_packet = dccp_data_packet(skb);
Arnaldo Carvalho de Melo1f2333a2005-08-27 03:51:58 -0300774
Gerrit Renker996ccf42009-10-05 00:53:13 +0000775 if (unlikely(hc->rx_state == TFRC_RSTATE_NO_DATA)) {
Gerrit Renker410e27a2008-09-09 13:27:22 +0200776 if (is_data_packet) {
777 const u32 payload = skb->len - dccp_hdr(skb)->dccph_doff * 4;
778 do_feedback = CCID3_FBACK_INITIAL;
779 ccid3_hc_rx_set_state(sk, TFRC_RSTATE_DATA);
Gerrit Renker996ccf42009-10-05 00:53:13 +0000780 hc->rx_s = payload;
Gerrit Renker410e27a2008-09-09 13:27:22 +0200781 /*
Gerrit Renker388d5e92009-10-05 00:53:11 +0000782 * Not necessary to update rx_bytes_recv here,
Gerrit Renker410e27a2008-09-09 13:27:22 +0200783 * since X_recv = 0 for the first feedback packet (cf.
784 * RFC 3448, 6.3) -- gerrit
785 */
786 }
787 goto update_records;
788 }
789
Gerrit Renker996ccf42009-10-05 00:53:13 +0000790 if (tfrc_rx_hist_duplicate(&hc->rx_hist, skb))
Gerrit Renker410e27a2008-09-09 13:27:22 +0200791 return; /* done receiving */
792
793 if (is_data_packet) {
794 const u32 payload = skb->len - dccp_hdr(skb)->dccph_doff * 4;
795 /*
796 * Update moving-average of s and the sum of received payload bytes
797 */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000798 hc->rx_s = tfrc_ewma(hc->rx_s, payload, 9);
799 hc->rx_bytes_recv += payload;
Gerrit Renker410e27a2008-09-09 13:27:22 +0200800 }
801
Gerrit Renkerd20ed952008-09-04 07:30:19 +0200802 /*
803 * Perform loss detection and handle pending losses
804 */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000805 if (tfrc_rx_handle_loss(&hc->rx_hist, &hc->rx_li_hist,
Gerrit Renker410e27a2008-09-09 13:27:22 +0200806 skb, ndp, ccid3_first_li, sk)) {
807 do_feedback = CCID3_FBACK_PARAM_CHANGE;
808 goto done_receiving;
809 }
810
Gerrit Renker996ccf42009-10-05 00:53:13 +0000811 if (tfrc_rx_hist_loss_pending(&hc->rx_hist))
Gerrit Renker410e27a2008-09-09 13:27:22 +0200812 return; /* done receiving */
813
Gerrit Renker88e97a92008-09-04 07:30:19 +0200814 /*
Gerrit Renker410e27a2008-09-09 13:27:22 +0200815 * Handle data packets: RTT sampling and monitoring p
Gerrit Renker88e97a92008-09-04 07:30:19 +0200816 */
Gerrit Renker410e27a2008-09-09 13:27:22 +0200817 if (unlikely(!is_data_packet))
818 goto update_records;
819
Gerrit Renker996ccf42009-10-05 00:53:13 +0000820 if (!tfrc_lh_is_initialised(&hc->rx_li_hist)) {
821 const u32 sample = tfrc_rx_hist_sample_rtt(&hc->rx_hist, skb);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200822 /*
823 * Empty loss history: no loss so far, hence p stays 0.
824 * Sample RTT values, since an RTT estimate is required for the
825 * computation of p when the first loss occurs; RFC 3448, 6.3.1.
826 */
827 if (sample != 0)
Gerrit Renker996ccf42009-10-05 00:53:13 +0000828 hc->rx_rtt = tfrc_ewma(hc->rx_rtt, sample, 9);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200829
Gerrit Renker996ccf42009-10-05 00:53:13 +0000830 } else if (tfrc_lh_update_i_mean(&hc->rx_li_hist, skb)) {
Gerrit Renker410e27a2008-09-09 13:27:22 +0200831 /*
832 * Step (3) of [RFC 3448, 6.1]: Recompute I_mean and, if I_mean
833 * has decreased (resp. p has increased), send feedback now.
834 */
835 do_feedback = CCID3_FBACK_PARAM_CHANGE;
836 }
837
Arnaldo Carvalho de Melob84a2182007-12-06 13:18:11 -0200838 /*
Arnaldo Carvalho de Melob84a2182007-12-06 13:18:11 -0200839 * Check if the periodic once-per-RTT feedback is due; RFC 4342, 10.3
840 */
Gerrit Renker996ccf42009-10-05 00:53:13 +0000841 if (SUB16(dccp_hdr(skb)->dccph_ccval, hc->rx_last_counter) > 3)
Gerrit Renker410e27a2008-09-09 13:27:22 +0200842 do_feedback = CCID3_FBACK_PERIODIC;
843
844update_records:
Gerrit Renker996ccf42009-10-05 00:53:13 +0000845 tfrc_rx_hist_add_packet(&hc->rx_hist, skb, ndp);
Gerrit Renker410e27a2008-09-09 13:27:22 +0200846
847done_receiving:
848 if (do_feedback)
849 ccid3_hc_rx_send_feedback(sk, skb, do_feedback);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700850}
851
Arnaldo Carvalho de Melo91f0ebf2006-03-20 19:21:44 -0800852static int ccid3_hc_rx_init(struct ccid *ccid, struct sock *sk)
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700853{
Gerrit Renker996ccf42009-10-05 00:53:13 +0000854 struct ccid3_hc_rx_sock *hc = ccid_priv(ccid);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700855
Gerrit Renker996ccf42009-10-05 00:53:13 +0000856 hc->rx_state = TFRC_RSTATE_NO_DATA;
857 tfrc_lh_init(&hc->rx_li_hist);
858 return tfrc_rx_hist_alloc(&hc->rx_hist);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700859}
860
861static void ccid3_hc_rx_exit(struct sock *sk)
862{
Gerrit Renker996ccf42009-10-05 00:53:13 +0000863 struct ccid3_hc_rx_sock *hc = ccid3_hc_rx_sk(sk);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700864
Gerrit Renker410e27a2008-09-09 13:27:22 +0200865 ccid3_hc_rx_set_state(sk, TFRC_RSTATE_TERM);
866
Gerrit Renker996ccf42009-10-05 00:53:13 +0000867 tfrc_rx_hist_purge(&hc->rx_hist);
868 tfrc_lh_cleanup(&hc->rx_li_hist);
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700869}
870
Arnaldo Carvalho de Melo2babe1f2005-08-23 21:52:35 -0700871static void ccid3_hc_rx_get_info(struct sock *sk, struct tcp_info *info)
872{
Gerrit Renker996ccf42009-10-05 00:53:13 +0000873 const struct ccid3_hc_rx_sock *hc;
Gerrit Renker410e27a2008-09-09 13:27:22 +0200874
875 /* Listen socks doesn't have a private CCID block */
876 if (sk->sk_state == DCCP_LISTEN)
877 return;
878
Gerrit Renker996ccf42009-10-05 00:53:13 +0000879 hc = ccid3_hc_rx_sk(sk);
880 info->tcpi_ca_state = hc->rx_state;
Arnaldo Carvalho de Melo8109b022006-12-10 16:01:18 -0200881 info->tcpi_options |= TCPI_OPT_TIMESTAMPS;
Gerrit Renker996ccf42009-10-05 00:53:13 +0000882 info->tcpi_rcv_rtt = hc->rx_rtt;
Arnaldo Carvalho de Melo2babe1f2005-08-23 21:52:35 -0700883}
884
Arnaldo Carvalho de Melo88f964d2005-09-18 00:19:32 -0700885static int ccid3_hc_rx_getsockopt(struct sock *sk, const int optname, int len,
886 u32 __user *optval, int __user *optlen)
887{
Gerrit Renker996ccf42009-10-05 00:53:13 +0000888 const struct ccid3_hc_rx_sock *hc;
Gerrit Renker8e138e72007-12-17 10:07:44 -0200889 struct tfrc_rx_info rx_info;
Arnaldo Carvalho de Melo88f964d2005-09-18 00:19:32 -0700890 const void *val;
YOSHIFUJI Hideakic9eaf172007-02-09 23:24:38 +0900891
Gerrit Renker410e27a2008-09-09 13:27:22 +0200892 /* Listen socks doesn't have a private CCID block */
893 if (sk->sk_state == DCCP_LISTEN)
894 return -EINVAL;
895
Gerrit Renker996ccf42009-10-05 00:53:13 +0000896 hc = ccid3_hc_rx_sk(sk);
Arnaldo Carvalho de Melo88f964d2005-09-18 00:19:32 -0700897 switch (optname) {
898 case DCCP_SOCKOPT_CCID_RX_INFO:
Gerrit Renker8e138e72007-12-17 10:07:44 -0200899 if (len < sizeof(rx_info))
Arnaldo Carvalho de Melo88f964d2005-09-18 00:19:32 -0700900 return -EINVAL;
Gerrit Renker996ccf42009-10-05 00:53:13 +0000901 rx_info.tfrcrx_x_recv = hc->rx_x_recv;
902 rx_info.tfrcrx_rtt = hc->rx_rtt;
903 rx_info.tfrcrx_p = hc->rx_pinv == 0 ? ~0U :
904 scaled_div(1, hc->rx_pinv);
Gerrit Renker8e138e72007-12-17 10:07:44 -0200905 len = sizeof(rx_info);
906 val = &rx_info;
Arnaldo Carvalho de Melo88f964d2005-09-18 00:19:32 -0700907 break;
908 default:
909 return -ENOPROTOOPT;
910 }
911
912 if (put_user(len, optlen) || copy_to_user(optval, val, len))
913 return -EFAULT;
914
915 return 0;
916}
917
Gerrit Renkerddebc972009-01-04 21:42:53 -0800918struct ccid_operations ccid3_ops = {
Ian McDonald3dd9a7c2006-09-22 14:26:44 +1200919 .ccid_id = DCCPC_CCID3,
Gerrit Renker84a97b02007-12-13 23:33:25 -0200920 .ccid_name = "TCP-Friendly Rate Control",
Arnaldo Carvalho de Melo91f0ebf2006-03-20 19:21:44 -0800921 .ccid_hc_tx_obj_size = sizeof(struct ccid3_hc_tx_sock),
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700922 .ccid_hc_tx_init = ccid3_hc_tx_init,
923 .ccid_hc_tx_exit = ccid3_hc_tx_exit,
924 .ccid_hc_tx_send_packet = ccid3_hc_tx_send_packet,
925 .ccid_hc_tx_packet_sent = ccid3_hc_tx_packet_sent,
926 .ccid_hc_tx_packet_recv = ccid3_hc_tx_packet_recv,
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700927 .ccid_hc_tx_parse_options = ccid3_hc_tx_parse_options,
Arnaldo Carvalho de Melo91f0ebf2006-03-20 19:21:44 -0800928 .ccid_hc_rx_obj_size = sizeof(struct ccid3_hc_rx_sock),
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700929 .ccid_hc_rx_init = ccid3_hc_rx_init,
930 .ccid_hc_rx_exit = ccid3_hc_rx_exit,
931 .ccid_hc_rx_insert_options = ccid3_hc_rx_insert_options,
932 .ccid_hc_rx_packet_recv = ccid3_hc_rx_packet_recv,
Arnaldo Carvalho de Melo2babe1f2005-08-23 21:52:35 -0700933 .ccid_hc_rx_get_info = ccid3_hc_rx_get_info,
934 .ccid_hc_tx_get_info = ccid3_hc_tx_get_info,
Arnaldo Carvalho de Melo88f964d2005-09-18 00:19:32 -0700935 .ccid_hc_rx_getsockopt = ccid3_hc_rx_getsockopt,
936 .ccid_hc_tx_getsockopt = ccid3_hc_tx_getsockopt,
Arnaldo Carvalho de Melo7c657872005-08-09 20:14:34 -0700937};
Arnaldo Carvalho de Melo8109b022006-12-10 16:01:18 -0200938
Gerrit Renker56724aa2006-11-20 18:28:09 -0200939#ifdef CONFIG_IP_DCCP_CCID3_DEBUG
Gerrit Renker43264992008-08-23 13:28:27 +0200940module_param(ccid3_debug, bool, 0644);
Gerrit Renkerddebc972009-01-04 21:42:53 -0800941MODULE_PARM_DESC(ccid3_debug, "Enable CCID-3 debug messages");
Gerrit Renker56724aa2006-11-20 18:28:09 -0200942#endif