xref: /openbmc/linux/net/dccp/ccids/ccid2.c (revision cdd38c5f1ce4398ec58fec95904b75824daab7b5)
174ba9207SThomas Gleixner // SPDX-License-Identifier: GPL-2.0-or-later
22a91aa39SAndrea Bittau /*
32a91aa39SAndrea Bittau  *  Copyright (c) 2005, 2006 Andrea Bittau <a.bittau@cs.ucl.ac.uk>
42a91aa39SAndrea Bittau  *
52a91aa39SAndrea Bittau  *  Changes to meet Linux coding standards, and DCCP infrastructure fixes.
62a91aa39SAndrea Bittau  *
72a91aa39SAndrea Bittau  *  Copyright (c) 2006 Arnaldo Carvalho de Melo <acme@conectiva.com.br>
82a91aa39SAndrea Bittau  */
92a91aa39SAndrea Bittau 
102a91aa39SAndrea Bittau /*
110e64e94eSGerrit Renker  * This implementation should follow RFC 4341
122a91aa39SAndrea Bittau  */
135a0e3ad6STejun Heo #include <linux/slab.h>
14e8ef967aSGerrit Renker #include "../feat.h"
152a91aa39SAndrea Bittau #include "ccid2.h"
162a91aa39SAndrea Bittau 
1784116716SGerrit Renker 
1884116716SGerrit Renker #ifdef CONFIG_IP_DCCP_CCID2_DEBUG
19eb939922SRusty Russell static bool ccid2_debug;
2084116716SGerrit Renker #define ccid2_pr_debug(format, a...)	DCCP_PR_DEBUG(ccid2_debug, format, ##a)
212a91aa39SAndrea Bittau #else
2284116716SGerrit Renker #define ccid2_pr_debug(format, a...)
232a91aa39SAndrea Bittau #endif
242a91aa39SAndrea Bittau 
ccid2_hc_tx_alloc_seq(struct ccid2_hc_tx_sock * hc)2577d2dd93SGerrit Renker static int ccid2_hc_tx_alloc_seq(struct ccid2_hc_tx_sock *hc)
2607978aabSAndrea Bittau {
2707978aabSAndrea Bittau 	struct ccid2_seq *seqp;
2807978aabSAndrea Bittau 	int i;
2907978aabSAndrea Bittau 
3007978aabSAndrea Bittau 	/* check if we have space to preserve the pointer to the buffer */
3177d2dd93SGerrit Renker 	if (hc->tx_seqbufc >= (sizeof(hc->tx_seqbuf) /
32410e27a4SGerrit Renker 			       sizeof(struct ccid2_seq *)))
3307978aabSAndrea Bittau 		return -ENOMEM;
3407978aabSAndrea Bittau 
3507978aabSAndrea Bittau 	/* allocate buffer and initialize linked list */
366da2ec56SKees Cook 	seqp = kmalloc_array(CCID2_SEQBUF_LEN, sizeof(struct ccid2_seq),
376da2ec56SKees Cook 			     gfp_any());
3807978aabSAndrea Bittau 	if (seqp == NULL)
3907978aabSAndrea Bittau 		return -ENOMEM;
4007978aabSAndrea Bittau 
41cd1f7d34SGerrit Renker 	for (i = 0; i < (CCID2_SEQBUF_LEN - 1); i++) {
4207978aabSAndrea Bittau 		seqp[i].ccid2s_next = &seqp[i + 1];
4307978aabSAndrea Bittau 		seqp[i + 1].ccid2s_prev = &seqp[i];
4407978aabSAndrea Bittau 	}
45cd1f7d34SGerrit Renker 	seqp[CCID2_SEQBUF_LEN - 1].ccid2s_next = seqp;
46cd1f7d34SGerrit Renker 	seqp->ccid2s_prev = &seqp[CCID2_SEQBUF_LEN - 1];
4707978aabSAndrea Bittau 
4807978aabSAndrea Bittau 	/* This is the first allocation.  Initiate the head and tail.  */
4977d2dd93SGerrit Renker 	if (hc->tx_seqbufc == 0)
5077d2dd93SGerrit Renker 		hc->tx_seqh = hc->tx_seqt = seqp;
5107978aabSAndrea Bittau 	else {
5207978aabSAndrea Bittau 		/* link the existing list with the one we just created */
5377d2dd93SGerrit Renker 		hc->tx_seqh->ccid2s_next = seqp;
5477d2dd93SGerrit Renker 		seqp->ccid2s_prev = hc->tx_seqh;
5507978aabSAndrea Bittau 
5677d2dd93SGerrit Renker 		hc->tx_seqt->ccid2s_prev = &seqp[CCID2_SEQBUF_LEN - 1];
5777d2dd93SGerrit Renker 		seqp[CCID2_SEQBUF_LEN - 1].ccid2s_next = hc->tx_seqt;
5807978aabSAndrea Bittau 	}
5907978aabSAndrea Bittau 
6007978aabSAndrea Bittau 	/* store the original pointer to the buffer so we can free it */
6177d2dd93SGerrit Renker 	hc->tx_seqbuf[hc->tx_seqbufc] = seqp;
6277d2dd93SGerrit Renker 	hc->tx_seqbufc++;
6307978aabSAndrea Bittau 
6407978aabSAndrea Bittau 	return 0;
6507978aabSAndrea Bittau }
6607978aabSAndrea Bittau 
ccid2_hc_tx_send_packet(struct sock * sk,struct sk_buff * skb)676b57c93dSGerrit Renker static int ccid2_hc_tx_send_packet(struct sock *sk, struct sk_buff *skb)
682a91aa39SAndrea Bittau {
691c0e0a05SGerrit Renker 	if (ccid2_cwnd_network_limited(ccid2_hc_tx_sk(sk)))
701c0e0a05SGerrit Renker 		return CCID_PACKET_WILL_DEQUEUE_LATER;
711c0e0a05SGerrit Renker 	return CCID_PACKET_SEND_AT_ONCE;
722a91aa39SAndrea Bittau }
732a91aa39SAndrea Bittau 
ccid2_change_l_ack_ratio(struct sock * sk,u32 val)74df054e1dSGerrit Renker static void ccid2_change_l_ack_ratio(struct sock *sk, u32 val)
752a91aa39SAndrea Bittau {
76b1c00fe3SGerrit Renker 	u32 max_ratio = DIV_ROUND_UP(ccid2_hc_tx_sk(sk)->tx_cwnd, 2);
77d50ad163SGerrit Renker 
782a91aa39SAndrea Bittau 	/*
79d50ad163SGerrit Renker 	 * Ensure that Ack Ratio does not exceed ceil(cwnd/2), which is (2) from
80d50ad163SGerrit Renker 	 * RFC 4341, 6.1.2. We ignore the statement that Ack Ratio 2 is always
81d50ad163SGerrit Renker 	 * acceptable since this causes starvation/deadlock whenever cwnd < 2.
82d50ad163SGerrit Renker 	 * The same problem arises when Ack Ratio is 0 (ie. Ack Ratio disabled).
832a91aa39SAndrea Bittau 	 */
84d50ad163SGerrit Renker 	if (val == 0 || val > max_ratio) {
85d50ad163SGerrit Renker 		DCCP_WARN("Limiting Ack Ratio (%u) to %u\n", val, max_ratio);
86d50ad163SGerrit Renker 		val = max_ratio;
872a91aa39SAndrea Bittau 	}
88d346d886SSamuel Jero 	dccp_feat_signal_nn_change(sk, DCCPF_ACK_RATIO,
89d346d886SSamuel Jero 				   min_t(u32, val, DCCPF_ACK_RATIO_MAX));
90d346d886SSamuel Jero }
912a91aa39SAndrea Bittau 
ccid2_check_l_ack_ratio(struct sock * sk)92d96a9e8dSSamuel Jero static void ccid2_check_l_ack_ratio(struct sock *sk)
93d96a9e8dSSamuel Jero {
94d96a9e8dSSamuel Jero 	struct ccid2_hc_tx_sock *hc = ccid2_hc_tx_sk(sk);
95d96a9e8dSSamuel Jero 
96d96a9e8dSSamuel Jero 	/*
97d96a9e8dSSamuel Jero 	 * After a loss, idle period, application limited period, or RTO we
98d96a9e8dSSamuel Jero 	 * need to check that the ack ratio is still less than the congestion
99d96a9e8dSSamuel Jero 	 * window. Otherwise, we will send an entire congestion window of
100d96a9e8dSSamuel Jero 	 * packets and got no response because we haven't sent ack ratio
101d96a9e8dSSamuel Jero 	 * packets yet.
102d96a9e8dSSamuel Jero 	 * If the ack ratio does need to be reduced, we reduce it to half of
103d96a9e8dSSamuel Jero 	 * the congestion window (or 1 if that's zero) instead of to the
104d96a9e8dSSamuel Jero 	 * congestion window. This prevents problems if one ack is lost.
105d96a9e8dSSamuel Jero 	 */
106d96a9e8dSSamuel Jero 	if (dccp_feat_nn_get(sk, DCCPF_ACK_RATIO) > hc->tx_cwnd)
107d96a9e8dSSamuel Jero 		ccid2_change_l_ack_ratio(sk, hc->tx_cwnd/2 ? : 1U);
108d96a9e8dSSamuel Jero }
109d96a9e8dSSamuel Jero 
ccid2_change_l_seq_window(struct sock * sk,u64 val)110d346d886SSamuel Jero static void ccid2_change_l_seq_window(struct sock *sk, u64 val)
111d346d886SSamuel Jero {
112d346d886SSamuel Jero 	dccp_feat_signal_nn_change(sk, DCCPF_SEQUENCE_WINDOW,
113d346d886SSamuel Jero 				   clamp_val(val, DCCPF_SEQ_WMIN,
114d346d886SSamuel Jero 						  DCCPF_SEQ_WMAX));
1152a91aa39SAndrea Bittau }
1162a91aa39SAndrea Bittau 
dccp_tasklet_schedule(struct sock * sk)117a8d7aa17SEric Dumazet static void dccp_tasklet_schedule(struct sock *sk)
118a8d7aa17SEric Dumazet {
119a8d7aa17SEric Dumazet 	struct tasklet_struct *t = &dccp_sk(sk)->dccps_xmitlet;
120a8d7aa17SEric Dumazet 
121a8d7aa17SEric Dumazet 	if (!test_and_set_bit(TASKLET_STATE_SCHED, &t->state)) {
122a8d7aa17SEric Dumazet 		sock_hold(sk);
123a8d7aa17SEric Dumazet 		__tasklet_schedule(t);
124a8d7aa17SEric Dumazet 	}
125a8d7aa17SEric Dumazet }
126a8d7aa17SEric Dumazet 
ccid2_hc_tx_rto_expire(struct timer_list * t)127839a6094SKees Cook static void ccid2_hc_tx_rto_expire(struct timer_list *t)
1282a91aa39SAndrea Bittau {
129839a6094SKees Cook 	struct ccid2_hc_tx_sock *hc = from_timer(hc, t, tx_rtotimer);
130839a6094SKees Cook 	struct sock *sk = hc->sk;
1311c0e0a05SGerrit Renker 	const bool sender_was_blocked = ccid2_cwnd_network_limited(hc);
1322a91aa39SAndrea Bittau 
1332a91aa39SAndrea Bittau 	bh_lock_sock(sk);
1342a91aa39SAndrea Bittau 	if (sock_owned_by_user(sk)) {
13577d2dd93SGerrit Renker 		sk_reset_timer(sk, &hc->tx_rtotimer, jiffies + HZ / 5);
1362a91aa39SAndrea Bittau 		goto out;
1372a91aa39SAndrea Bittau 	}
1382a91aa39SAndrea Bittau 
1392a91aa39SAndrea Bittau 	ccid2_pr_debug("RTO_EXPIRE\n");
1402a91aa39SAndrea Bittau 
141dd5684ecSAlexey Kodanev 	if (sk->sk_state == DCCP_CLOSED)
142dd5684ecSAlexey Kodanev 		goto out;
143dd5684ecSAlexey Kodanev 
1442a91aa39SAndrea Bittau 	/* back-off timer */
14577d2dd93SGerrit Renker 	hc->tx_rto <<= 1;
146231cc2aaSGerrit Renker 	if (hc->tx_rto > DCCP_RTO_MAX)
147231cc2aaSGerrit Renker 		hc->tx_rto = DCCP_RTO_MAX;
148410e27a4SGerrit Renker 
1492a91aa39SAndrea Bittau 	/* adjust pipe, cwnd etc */
15077d2dd93SGerrit Renker 	hc->tx_ssthresh = hc->tx_cwnd / 2;
15177d2dd93SGerrit Renker 	if (hc->tx_ssthresh < 2)
15277d2dd93SGerrit Renker 		hc->tx_ssthresh = 2;
15377d2dd93SGerrit Renker 	hc->tx_cwnd	= 1;
15477d2dd93SGerrit Renker 	hc->tx_pipe	= 0;
1552a91aa39SAndrea Bittau 
1562a91aa39SAndrea Bittau 	/* clear state about stuff we sent */
15777d2dd93SGerrit Renker 	hc->tx_seqt = hc->tx_seqh;
15877d2dd93SGerrit Renker 	hc->tx_packets_acked = 0;
1592a91aa39SAndrea Bittau 
1602a91aa39SAndrea Bittau 	/* clear ack ratio state. */
16177d2dd93SGerrit Renker 	hc->tx_rpseq    = 0;
16277d2dd93SGerrit Renker 	hc->tx_rpdupack = -1;
1632a91aa39SAndrea Bittau 	ccid2_change_l_ack_ratio(sk, 1);
1641c0e0a05SGerrit Renker 
1651c0e0a05SGerrit Renker 	/* if we were blocked before, we may now send cwnd=1 packet */
1661c0e0a05SGerrit Renker 	if (sender_was_blocked)
167a8d7aa17SEric Dumazet 		dccp_tasklet_schedule(sk);
1681c0e0a05SGerrit Renker 	/* restart backed-off timer */
1691c0e0a05SGerrit Renker 	sk_reset_timer(sk, &hc->tx_rtotimer, jiffies + hc->tx_rto);
1702a91aa39SAndrea Bittau out:
1712a91aa39SAndrea Bittau 	bh_unlock_sock(sk);
17277ff72d5SAndrea Bittau 	sock_put(sk);
1732a91aa39SAndrea Bittau }
1742a91aa39SAndrea Bittau 
175113ced1fSGerrit Renker /*
176113ced1fSGerrit Renker  *	Congestion window validation (RFC 2861).
177113ced1fSGerrit Renker  */
178eb939922SRusty Russell static bool ccid2_do_cwv = true;
179113ced1fSGerrit Renker module_param(ccid2_do_cwv, bool, 0644);
180113ced1fSGerrit Renker MODULE_PARM_DESC(ccid2_do_cwv, "Perform RFC2861 Congestion Window Validation");
181113ced1fSGerrit Renker 
182113ced1fSGerrit Renker /**
183113ced1fSGerrit Renker  * ccid2_update_used_window  -  Track how much of cwnd is actually used
184*0b609b55SAndrew Lunn  * @hc: socket to update window
185*0b609b55SAndrew Lunn  * @new_wnd: new window values to add into the filter
186*0b609b55SAndrew Lunn  *
187113ced1fSGerrit Renker  * This is done in addition to CWV. The sender needs to have an idea of how many
188113ced1fSGerrit Renker  * packets may be in flight, to set the local Sequence Window value accordingly
189113ced1fSGerrit Renker  * (RFC 4340, 7.5.2). The CWV mechanism is exploited to keep track of the
190113ced1fSGerrit Renker  * maximum-used window. We use an EWMA low-pass filter to filter out noise.
191113ced1fSGerrit Renker  */
ccid2_update_used_window(struct ccid2_hc_tx_sock * hc,u32 new_wnd)192113ced1fSGerrit Renker static void ccid2_update_used_window(struct ccid2_hc_tx_sock *hc, u32 new_wnd)
193113ced1fSGerrit Renker {
194113ced1fSGerrit Renker 	hc->tx_expected_wnd = (3 * hc->tx_expected_wnd + new_wnd) / 4;
195113ced1fSGerrit Renker }
196113ced1fSGerrit Renker 
197113ced1fSGerrit Renker /* This borrows the code of tcp_cwnd_application_limited() */
ccid2_cwnd_application_limited(struct sock * sk,const u32 now)198113ced1fSGerrit Renker static void ccid2_cwnd_application_limited(struct sock *sk, const u32 now)
199113ced1fSGerrit Renker {
200113ced1fSGerrit Renker 	struct ccid2_hc_tx_sock *hc = ccid2_hc_tx_sk(sk);
201113ced1fSGerrit Renker 	/* don't reduce cwnd below the initial window (IW) */
202113ced1fSGerrit Renker 	u32 init_win = rfc3390_bytes_to_packets(dccp_sk(sk)->dccps_mss_cache),
203113ced1fSGerrit Renker 	    win_used = max(hc->tx_cwnd_used, init_win);
204113ced1fSGerrit Renker 
205113ced1fSGerrit Renker 	if (win_used < hc->tx_cwnd) {
206113ced1fSGerrit Renker 		hc->tx_ssthresh = max(hc->tx_ssthresh,
207113ced1fSGerrit Renker 				     (hc->tx_cwnd >> 1) + (hc->tx_cwnd >> 2));
208113ced1fSGerrit Renker 		hc->tx_cwnd = (hc->tx_cwnd + win_used) >> 1;
209113ced1fSGerrit Renker 	}
210113ced1fSGerrit Renker 	hc->tx_cwnd_used  = 0;
211113ced1fSGerrit Renker 	hc->tx_cwnd_stamp = now;
212d96a9e8dSSamuel Jero 
213d96a9e8dSSamuel Jero 	ccid2_check_l_ack_ratio(sk);
214113ced1fSGerrit Renker }
215113ced1fSGerrit Renker 
216113ced1fSGerrit Renker /* This borrows the code of tcp_cwnd_restart() */
ccid2_cwnd_restart(struct sock * sk,const u32 now)217113ced1fSGerrit Renker static void ccid2_cwnd_restart(struct sock *sk, const u32 now)
218113ced1fSGerrit Renker {
219113ced1fSGerrit Renker 	struct ccid2_hc_tx_sock *hc = ccid2_hc_tx_sk(sk);
220113ced1fSGerrit Renker 	u32 cwnd = hc->tx_cwnd, restart_cwnd,
221113ced1fSGerrit Renker 	    iwnd = rfc3390_bytes_to_packets(dccp_sk(sk)->dccps_mss_cache);
22261ef4b07SAlexey Kodanev 	s32 delta = now - hc->tx_lsndtime;
223113ced1fSGerrit Renker 
224113ced1fSGerrit Renker 	hc->tx_ssthresh = max(hc->tx_ssthresh, (cwnd >> 1) + (cwnd >> 2));
225113ced1fSGerrit Renker 
226113ced1fSGerrit Renker 	/* don't reduce cwnd below the initial window (IW) */
227113ced1fSGerrit Renker 	restart_cwnd = min(cwnd, iwnd);
228113ced1fSGerrit Renker 
22961ef4b07SAlexey Kodanev 	while ((delta -= hc->tx_rto) >= 0 && cwnd > restart_cwnd)
23061ef4b07SAlexey Kodanev 		cwnd >>= 1;
23161ef4b07SAlexey Kodanev 	hc->tx_cwnd = max(cwnd, restart_cwnd);
232113ced1fSGerrit Renker 	hc->tx_cwnd_stamp = now;
233113ced1fSGerrit Renker 	hc->tx_cwnd_used  = 0;
234d96a9e8dSSamuel Jero 
235d96a9e8dSSamuel Jero 	ccid2_check_l_ack_ratio(sk);
236113ced1fSGerrit Renker }
237113ced1fSGerrit Renker 
ccid2_hc_tx_packet_sent(struct sock * sk,unsigned int len)238baf9e782SGerrit Renker static void ccid2_hc_tx_packet_sent(struct sock *sk, unsigned int len)
2392a91aa39SAndrea Bittau {
2402a91aa39SAndrea Bittau 	struct dccp_sock *dp = dccp_sk(sk);
24177d2dd93SGerrit Renker 	struct ccid2_hc_tx_sock *hc = ccid2_hc_tx_sk(sk);
242d011b9a4SEric Dumazet 	const u32 now = ccid2_jiffies32;
24307978aabSAndrea Bittau 	struct ccid2_seq *next;
2442a91aa39SAndrea Bittau 
245113ced1fSGerrit Renker 	/* slow-start after idle periods (RFC 2581, RFC 2861) */
246113ced1fSGerrit Renker 	if (ccid2_do_cwv && !hc->tx_pipe &&
247113ced1fSGerrit Renker 	    (s32)(now - hc->tx_lsndtime) >= hc->tx_rto)
248113ced1fSGerrit Renker 		ccid2_cwnd_restart(sk, now);
249113ced1fSGerrit Renker 
250113ced1fSGerrit Renker 	hc->tx_lsndtime = now;
251113ced1fSGerrit Renker 	hc->tx_pipe    += 1;
252113ced1fSGerrit Renker 
253113ced1fSGerrit Renker 	/* see whether cwnd was fully used (RFC 2861), update expected window */
254113ced1fSGerrit Renker 	if (ccid2_cwnd_network_limited(hc)) {
255113ced1fSGerrit Renker 		ccid2_update_used_window(hc, hc->tx_cwnd);
256113ced1fSGerrit Renker 		hc->tx_cwnd_used  = 0;
257113ced1fSGerrit Renker 		hc->tx_cwnd_stamp = now;
258113ced1fSGerrit Renker 	} else {
259113ced1fSGerrit Renker 		if (hc->tx_pipe > hc->tx_cwnd_used)
260113ced1fSGerrit Renker 			hc->tx_cwnd_used = hc->tx_pipe;
261113ced1fSGerrit Renker 
262113ced1fSGerrit Renker 		ccid2_update_used_window(hc, hc->tx_cwnd_used);
263113ced1fSGerrit Renker 
264113ced1fSGerrit Renker 		if (ccid2_do_cwv && (s32)(now - hc->tx_cwnd_stamp) >= hc->tx_rto)
265113ced1fSGerrit Renker 			ccid2_cwnd_application_limited(sk, now);
266113ced1fSGerrit Renker 	}
2672a91aa39SAndrea Bittau 
26877d2dd93SGerrit Renker 	hc->tx_seqh->ccid2s_seq   = dp->dccps_gss;
26977d2dd93SGerrit Renker 	hc->tx_seqh->ccid2s_acked = 0;
270113ced1fSGerrit Renker 	hc->tx_seqh->ccid2s_sent  = now;
27107978aabSAndrea Bittau 
27277d2dd93SGerrit Renker 	next = hc->tx_seqh->ccid2s_next;
27307978aabSAndrea Bittau 	/* check if we need to alloc more space */
27477d2dd93SGerrit Renker 	if (next == hc->tx_seqt) {
27577d2dd93SGerrit Renker 		if (ccid2_hc_tx_alloc_seq(hc)) {
2767d9e8931SGerrit Renker 			DCCP_CRIT("packet history - out of memory!");
2777d9e8931SGerrit Renker 			/* FIXME: find a more graceful way to bail out */
2787d9e8931SGerrit Renker 			return;
2797d9e8931SGerrit Renker 		}
28077d2dd93SGerrit Renker 		next = hc->tx_seqh->ccid2s_next;
28177d2dd93SGerrit Renker 		BUG_ON(next == hc->tx_seqt);
28207978aabSAndrea Bittau 	}
28377d2dd93SGerrit Renker 	hc->tx_seqh = next;
2842a91aa39SAndrea Bittau 
28577d2dd93SGerrit Renker 	ccid2_pr_debug("cwnd=%d pipe=%d\n", hc->tx_cwnd, hc->tx_pipe);
2862a91aa39SAndrea Bittau 
287900bfed4SGerrit Renker 	/*
288900bfed4SGerrit Renker 	 * FIXME: The code below is broken and the variables have been removed
289900bfed4SGerrit Renker 	 * from the socket struct. The `ackloss' variable was always set to 0,
290900bfed4SGerrit Renker 	 * and with arsent there are several problems:
291900bfed4SGerrit Renker 	 *  (i) it doesn't just count the number of Acks, but all sent packets;
292900bfed4SGerrit Renker 	 *  (ii) it is expressed in # of packets, not # of windows, so the
293900bfed4SGerrit Renker 	 *  comparison below uses the wrong formula: Appendix A of RFC 4341
294900bfed4SGerrit Renker 	 *  comes up with the number K = cwnd / (R^2 - R) of consecutive windows
295900bfed4SGerrit Renker 	 *  of data with no lost or marked Ack packets. If arsent were the # of
296900bfed4SGerrit Renker 	 *  consecutive Acks received without loss, then Ack Ratio needs to be
297900bfed4SGerrit Renker 	 *  decreased by 1 when
298900bfed4SGerrit Renker 	 *	      arsent >=  K * cwnd / R  =  cwnd^2 / (R^3 - R^2)
299900bfed4SGerrit Renker 	 *  where cwnd / R is the number of Acks received per window of data
300900bfed4SGerrit Renker 	 *  (cf. RFC 4341, App. A). The problems are that
301900bfed4SGerrit Renker 	 *  - arsent counts other packets as well;
302900bfed4SGerrit Renker 	 *  - the comparison uses a formula different from RFC 4341;
303900bfed4SGerrit Renker 	 *  - computing a cubic/quadratic equation each time is too complicated.
304900bfed4SGerrit Renker 	 *  Hence a different algorithm is needed.
305900bfed4SGerrit Renker 	 */
306900bfed4SGerrit Renker #if 0
3072a91aa39SAndrea Bittau 	/* Ack Ratio.  Need to maintain a concept of how many windows we sent */
30877d2dd93SGerrit Renker 	hc->tx_arsent++;
3092a91aa39SAndrea Bittau 	/* We had an ack loss in this window... */
31077d2dd93SGerrit Renker 	if (hc->tx_ackloss) {
31177d2dd93SGerrit Renker 		if (hc->tx_arsent >= hc->tx_cwnd) {
31277d2dd93SGerrit Renker 			hc->tx_arsent  = 0;
31377d2dd93SGerrit Renker 			hc->tx_ackloss = 0;
3142a91aa39SAndrea Bittau 		}
315c0c736dbSArnaldo Carvalho de Melo 	} else {
3162a91aa39SAndrea Bittau 		/* No acks lost up to now... */
3172a91aa39SAndrea Bittau 		/* decrease ack ratio if enough packets were sent */
3182a91aa39SAndrea Bittau 		if (dp->dccps_l_ack_ratio > 1) {
3192a91aa39SAndrea Bittau 			/* XXX don't calculate denominator each time */
320c0c736dbSArnaldo Carvalho de Melo 			int denom = dp->dccps_l_ack_ratio * dp->dccps_l_ack_ratio -
3212a91aa39SAndrea Bittau 				    dp->dccps_l_ack_ratio;
322c0c736dbSArnaldo Carvalho de Melo 
32377d2dd93SGerrit Renker 			denom = hc->tx_cwnd * hc->tx_cwnd / denom;
3242a91aa39SAndrea Bittau 
32577d2dd93SGerrit Renker 			if (hc->tx_arsent >= denom) {
3262a91aa39SAndrea Bittau 				ccid2_change_l_ack_ratio(sk, dp->dccps_l_ack_ratio - 1);
32777d2dd93SGerrit Renker 				hc->tx_arsent = 0;
3282a91aa39SAndrea Bittau 			}
329c0c736dbSArnaldo Carvalho de Melo 		} else {
3302a91aa39SAndrea Bittau 			/* we can't increase ack ratio further [1] */
33177d2dd93SGerrit Renker 			hc->tx_arsent = 0; /* or maybe set it to cwnd*/
3322a91aa39SAndrea Bittau 		}
3332a91aa39SAndrea Bittau 	}
334900bfed4SGerrit Renker #endif
3352a91aa39SAndrea Bittau 
336d26eeb07SGerrit Renker 	sk_reset_timer(sk, &hc->tx_rtotimer, jiffies + hc->tx_rto);
337c0c736dbSArnaldo Carvalho de Melo 
3388d424f6cSAndrea Bittau #ifdef CONFIG_IP_DCCP_CCID2_DEBUG
3392a91aa39SAndrea Bittau 	do {
34077d2dd93SGerrit Renker 		struct ccid2_seq *seqp = hc->tx_seqt;
3412a91aa39SAndrea Bittau 
34277d2dd93SGerrit Renker 		while (seqp != hc->tx_seqh) {
343d82b6f85SGerrit Renker 			ccid2_pr_debug("out seq=%llu acked=%d time=%u\n",
344234af484SRandy Dunlap 				       (unsigned long long)seqp->ccid2s_seq,
345234af484SRandy Dunlap 				       seqp->ccid2s_acked, seqp->ccid2s_sent);
3462a91aa39SAndrea Bittau 			seqp = seqp->ccid2s_next;
3472a91aa39SAndrea Bittau 		}
3482a91aa39SAndrea Bittau 	} while (0);
3492a91aa39SAndrea Bittau 	ccid2_pr_debug("=========\n");
3502a91aa39SAndrea Bittau #endif
3512a91aa39SAndrea Bittau }
3522a91aa39SAndrea Bittau 
353231cc2aaSGerrit Renker /**
354231cc2aaSGerrit Renker  * ccid2_rtt_estimator - Sample RTT and compute RTO using RFC2988 algorithm
355*0b609b55SAndrew Lunn  * @sk: socket to perform estimator on
356*0b609b55SAndrew Lunn  *
357231cc2aaSGerrit Renker  * This code is almost identical with TCP's tcp_rtt_estimator(), since
358231cc2aaSGerrit Renker  * - it has a higher sampling frequency (recommended by RFC 1323),
359231cc2aaSGerrit Renker  * - the RTO does not collapse into RTT due to RTTVAR going towards zero,
360231cc2aaSGerrit Renker  * - it is simple (cf. more complex proposals such as Eifel timer or research
361231cc2aaSGerrit Renker  *   which suggests that the gain should be set according to window size),
362231cc2aaSGerrit Renker  * - in tests it was found to work well with CCID2 [gerrit].
363231cc2aaSGerrit Renker  */
ccid2_rtt_estimator(struct sock * sk,const long mrtt)364231cc2aaSGerrit Renker static void ccid2_rtt_estimator(struct sock *sk, const long mrtt)
365231cc2aaSGerrit Renker {
366231cc2aaSGerrit Renker 	struct ccid2_hc_tx_sock *hc = ccid2_hc_tx_sk(sk);
367231cc2aaSGerrit Renker 	long m = mrtt ? : 1;
368231cc2aaSGerrit Renker 
369231cc2aaSGerrit Renker 	if (hc->tx_srtt == 0) {
370231cc2aaSGerrit Renker 		/* First measurement m */
371231cc2aaSGerrit Renker 		hc->tx_srtt = m << 3;
372231cc2aaSGerrit Renker 		hc->tx_mdev = m << 1;
373231cc2aaSGerrit Renker 
3744886fcadSGerrit Renker 		hc->tx_mdev_max = max(hc->tx_mdev, tcp_rto_min(sk));
375231cc2aaSGerrit Renker 		hc->tx_rttvar   = hc->tx_mdev_max;
3764886fcadSGerrit Renker 
377231cc2aaSGerrit Renker 		hc->tx_rtt_seq  = dccp_sk(sk)->dccps_gss;
378231cc2aaSGerrit Renker 	} else {
379231cc2aaSGerrit Renker 		/* Update scaled SRTT as SRTT += 1/8 * (m - SRTT) */
380231cc2aaSGerrit Renker 		m -= (hc->tx_srtt >> 3);
381231cc2aaSGerrit Renker 		hc->tx_srtt += m;
382231cc2aaSGerrit Renker 
383231cc2aaSGerrit Renker 		/* Similarly, update scaled mdev with regard to |m| */
384231cc2aaSGerrit Renker 		if (m < 0) {
385231cc2aaSGerrit Renker 			m = -m;
386231cc2aaSGerrit Renker 			m -= (hc->tx_mdev >> 2);
387231cc2aaSGerrit Renker 			/*
388231cc2aaSGerrit Renker 			 * This neutralises RTO increase when RTT < SRTT - mdev
389231cc2aaSGerrit Renker 			 * (see P. Sarolahti, A. Kuznetsov,"Congestion Control
390231cc2aaSGerrit Renker 			 * in Linux TCP", USENIX 2002, pp. 49-62).
391231cc2aaSGerrit Renker 			 */
392231cc2aaSGerrit Renker 			if (m > 0)
393231cc2aaSGerrit Renker 				m >>= 3;
394231cc2aaSGerrit Renker 		} else {
395231cc2aaSGerrit Renker 			m -= (hc->tx_mdev >> 2);
396231cc2aaSGerrit Renker 		}
397231cc2aaSGerrit Renker 		hc->tx_mdev += m;
398231cc2aaSGerrit Renker 
399231cc2aaSGerrit Renker 		if (hc->tx_mdev > hc->tx_mdev_max) {
400231cc2aaSGerrit Renker 			hc->tx_mdev_max = hc->tx_mdev;
401231cc2aaSGerrit Renker 			if (hc->tx_mdev_max > hc->tx_rttvar)
402231cc2aaSGerrit Renker 				hc->tx_rttvar = hc->tx_mdev_max;
403231cc2aaSGerrit Renker 		}
404231cc2aaSGerrit Renker 
405231cc2aaSGerrit Renker 		/*
406231cc2aaSGerrit Renker 		 * Decay RTTVAR at most once per flight, exploiting that
407231cc2aaSGerrit Renker 		 *  1) pipe <= cwnd <= Sequence_Window = W  (RFC 4340, 7.5.2)
408231cc2aaSGerrit Renker 		 *  2) AWL = GSS-W+1 <= GAR <= GSS          (RFC 4340, 7.5.1)
409231cc2aaSGerrit Renker 		 * GAR is a useful bound for FlightSize = pipe.
410231cc2aaSGerrit Renker 		 * AWL is probably too low here, as it over-estimates pipe.
411231cc2aaSGerrit Renker 		 */
412231cc2aaSGerrit Renker 		if (after48(dccp_sk(sk)->dccps_gar, hc->tx_rtt_seq)) {
413231cc2aaSGerrit Renker 			if (hc->tx_mdev_max < hc->tx_rttvar)
414231cc2aaSGerrit Renker 				hc->tx_rttvar -= (hc->tx_rttvar -
415231cc2aaSGerrit Renker 						  hc->tx_mdev_max) >> 2;
416231cc2aaSGerrit Renker 			hc->tx_rtt_seq  = dccp_sk(sk)->dccps_gss;
4174886fcadSGerrit Renker 			hc->tx_mdev_max = tcp_rto_min(sk);
418231cc2aaSGerrit Renker 		}
419231cc2aaSGerrit Renker 	}
420231cc2aaSGerrit Renker 
421231cc2aaSGerrit Renker 	/*
422231cc2aaSGerrit Renker 	 * Set RTO from SRTT and RTTVAR
423231cc2aaSGerrit Renker 	 * As in TCP, 4 * RTTVAR >= TCP_RTO_MIN, giving a minimum RTO of 200 ms.
424231cc2aaSGerrit Renker 	 * This agrees with RFC 4341, 5:
425231cc2aaSGerrit Renker 	 *	"Because DCCP does not retransmit data, DCCP does not require
426231cc2aaSGerrit Renker 	 *	 TCP's recommended minimum timeout of one second".
427231cc2aaSGerrit Renker 	 */
428231cc2aaSGerrit Renker 	hc->tx_rto = (hc->tx_srtt >> 3) + hc->tx_rttvar;
429231cc2aaSGerrit Renker 
430231cc2aaSGerrit Renker 	if (hc->tx_rto > DCCP_RTO_MAX)
431231cc2aaSGerrit Renker 		hc->tx_rto = DCCP_RTO_MAX;
432231cc2aaSGerrit Renker }
433231cc2aaSGerrit Renker 
ccid2_new_ack(struct sock * sk,struct ccid2_seq * seqp,unsigned int * maxincr)434231cc2aaSGerrit Renker static void ccid2_new_ack(struct sock *sk, struct ccid2_seq *seqp,
4352a91aa39SAndrea Bittau 			  unsigned int *maxincr)
4362a91aa39SAndrea Bittau {
43777d2dd93SGerrit Renker 	struct ccid2_hc_tx_sock *hc = ccid2_hc_tx_sk(sk);
438d346d886SSamuel Jero 	struct dccp_sock *dp = dccp_sk(sk);
439d346d886SSamuel Jero 	int r_seq_used = hc->tx_cwnd / dp->dccps_l_ack_ratio;
4402a91aa39SAndrea Bittau 
441d346d886SSamuel Jero 	if (hc->tx_cwnd < dp->dccps_l_seq_win &&
442d346d886SSamuel Jero 	    r_seq_used < dp->dccps_r_seq_win) {
44377d2dd93SGerrit Renker 		if (hc->tx_cwnd < hc->tx_ssthresh) {
4440ce95dc7SSamuel Jero 			if (*maxincr > 0 && ++hc->tx_packets_acked >= 2) {
44577d2dd93SGerrit Renker 				hc->tx_cwnd += 1;
446a3020025SGerrit Renker 				*maxincr    -= 1;
44777d2dd93SGerrit Renker 				hc->tx_packets_acked = 0;
4482a91aa39SAndrea Bittau 			}
44977d2dd93SGerrit Renker 		} else if (++hc->tx_packets_acked >= hc->tx_cwnd) {
45077d2dd93SGerrit Renker 			hc->tx_cwnd += 1;
45177d2dd93SGerrit Renker 			hc->tx_packets_acked = 0;
4522a91aa39SAndrea Bittau 		}
453d346d886SSamuel Jero 	}
454d346d886SSamuel Jero 
455d346d886SSamuel Jero 	/*
456d346d886SSamuel Jero 	 * Adjust the local sequence window and the ack ratio to allow about
457d346d886SSamuel Jero 	 * 5 times the number of packets in the network (RFC 4340 7.5.2)
458d346d886SSamuel Jero 	 */
459d346d886SSamuel Jero 	if (r_seq_used * CCID2_WIN_CHANGE_FACTOR >= dp->dccps_r_seq_win)
460d346d886SSamuel Jero 		ccid2_change_l_ack_ratio(sk, dp->dccps_l_ack_ratio * 2);
461d346d886SSamuel Jero 	else if (r_seq_used * CCID2_WIN_CHANGE_FACTOR < dp->dccps_r_seq_win/2)
462d346d886SSamuel Jero 		ccid2_change_l_ack_ratio(sk, dp->dccps_l_ack_ratio / 2 ? : 1U);
463d346d886SSamuel Jero 
464d346d886SSamuel Jero 	if (hc->tx_cwnd * CCID2_WIN_CHANGE_FACTOR >= dp->dccps_l_seq_win)
465d346d886SSamuel Jero 		ccid2_change_l_seq_window(sk, dp->dccps_l_seq_win * 2);
466d346d886SSamuel Jero 	else if (hc->tx_cwnd * CCID2_WIN_CHANGE_FACTOR < dp->dccps_l_seq_win/2)
467d346d886SSamuel Jero 		ccid2_change_l_seq_window(sk, dp->dccps_l_seq_win / 2);
468d346d886SSamuel Jero 
469231cc2aaSGerrit Renker 	/*
470231cc2aaSGerrit Renker 	 * FIXME: RTT is sampled several times per acknowledgment (for each
471231cc2aaSGerrit Renker 	 * entry in the Ack Vector), instead of once per Ack (as in TCP SACK).
472231cc2aaSGerrit Renker 	 * This causes the RTT to be over-estimated, since the older entries
473231cc2aaSGerrit Renker 	 * in the Ack Vector have earlier sending times.
474231cc2aaSGerrit Renker 	 * The cleanest solution is to not use the ccid2s_sent field at all
475231cc2aaSGerrit Renker 	 * and instead use DCCP timestamps: requires changes in other places.
476231cc2aaSGerrit Renker 	 */
477d011b9a4SEric Dumazet 	ccid2_rtt_estimator(sk, ccid2_jiffies32 - seqp->ccid2s_sent);
4782a91aa39SAndrea Bittau }
4792a91aa39SAndrea Bittau 
ccid2_congestion_event(struct sock * sk,struct ccid2_seq * seqp)480d50ad163SGerrit Renker static void ccid2_congestion_event(struct sock *sk, struct ccid2_seq *seqp)
481374bcf32SAndrea Bittau {
48277d2dd93SGerrit Renker 	struct ccid2_hc_tx_sock *hc = ccid2_hc_tx_sk(sk);
483d50ad163SGerrit Renker 
484d82b6f85SGerrit Renker 	if ((s32)(seqp->ccid2s_sent - hc->tx_last_cong) < 0) {
485374bcf32SAndrea Bittau 		ccid2_pr_debug("Multiple losses in an RTT---treating as one\n");
486374bcf32SAndrea Bittau 		return;
487374bcf32SAndrea Bittau 	}
488374bcf32SAndrea Bittau 
489d011b9a4SEric Dumazet 	hc->tx_last_cong = ccid2_jiffies32;
490374bcf32SAndrea Bittau 
49177d2dd93SGerrit Renker 	hc->tx_cwnd      = hc->tx_cwnd / 2 ? : 1U;
49277d2dd93SGerrit Renker 	hc->tx_ssthresh  = max(hc->tx_cwnd, 2U);
493d50ad163SGerrit Renker 
494d96a9e8dSSamuel Jero 	ccid2_check_l_ack_ratio(sk);
495c8bf462bSGerrit Renker }
496c8bf462bSGerrit Renker 
ccid2_hc_tx_parse_options(struct sock * sk,u8 packet_type,u8 option,u8 * optval,u8 optlen)4977e87fe84SGerrit Renker static int ccid2_hc_tx_parse_options(struct sock *sk, u8 packet_type,
4987e87fe84SGerrit Renker 				     u8 option, u8 *optval, u8 optlen)
4997e87fe84SGerrit Renker {
5007e87fe84SGerrit Renker 	struct ccid2_hc_tx_sock *hc = ccid2_hc_tx_sk(sk);
5017e87fe84SGerrit Renker 
5027e87fe84SGerrit Renker 	switch (option) {
5037e87fe84SGerrit Renker 	case DCCPO_ACK_VECTOR_0:
5047e87fe84SGerrit Renker 	case DCCPO_ACK_VECTOR_1:
5057e87fe84SGerrit Renker 		return dccp_ackvec_parsed_add(&hc->tx_av_chunks, optval, optlen,
5067e87fe84SGerrit Renker 					      option - DCCPO_ACK_VECTOR_0);
5077e87fe84SGerrit Renker 	}
5087e87fe84SGerrit Renker 	return 0;
5097e87fe84SGerrit Renker }
5107e87fe84SGerrit Renker 
ccid2_hc_tx_packet_recv(struct sock * sk,struct sk_buff * skb)5112a91aa39SAndrea Bittau static void ccid2_hc_tx_packet_recv(struct sock *sk, struct sk_buff *skb)
5122a91aa39SAndrea Bittau {
5132a91aa39SAndrea Bittau 	struct dccp_sock *dp = dccp_sk(sk);
51477d2dd93SGerrit Renker 	struct ccid2_hc_tx_sock *hc = ccid2_hc_tx_sk(sk);
5151c0e0a05SGerrit Renker 	const bool sender_was_blocked = ccid2_cwnd_network_limited(hc);
5167e87fe84SGerrit Renker 	struct dccp_ackvec_parsed *avp;
5172a91aa39SAndrea Bittau 	u64 ackno, seqno;
5182a91aa39SAndrea Bittau 	struct ccid2_seq *seqp;
5192a91aa39SAndrea Bittau 	int done = 0;
5202a91aa39SAndrea Bittau 	unsigned int maxincr = 0;
5212a91aa39SAndrea Bittau 
5222a91aa39SAndrea Bittau 	/* check reverse path congestion */
5232a91aa39SAndrea Bittau 	seqno = DCCP_SKB_CB(skb)->dccpd_seq;
5242a91aa39SAndrea Bittau 
5252a91aa39SAndrea Bittau 	/* XXX this whole "algorithm" is broken.  Need to fix it to keep track
5262a91aa39SAndrea Bittau 	 * of the seqnos of the dupacks so that rpseq and rpdupack are correct
5272a91aa39SAndrea Bittau 	 * -sorbo.
5282a91aa39SAndrea Bittau 	 */
5292a91aa39SAndrea Bittau 	/* need to bootstrap */
53077d2dd93SGerrit Renker 	if (hc->tx_rpdupack == -1) {
53177d2dd93SGerrit Renker 		hc->tx_rpdupack = 0;
53277d2dd93SGerrit Renker 		hc->tx_rpseq    = seqno;
533c0c736dbSArnaldo Carvalho de Melo 	} else {
5342a91aa39SAndrea Bittau 		/* check if packet is consecutive */
53577d2dd93SGerrit Renker 		if (dccp_delta_seqno(hc->tx_rpseq, seqno) == 1)
53677d2dd93SGerrit Renker 			hc->tx_rpseq = seqno;
5372a91aa39SAndrea Bittau 		/* it's a later packet */
53877d2dd93SGerrit Renker 		else if (after48(seqno, hc->tx_rpseq)) {
53977d2dd93SGerrit Renker 			hc->tx_rpdupack++;
5402a91aa39SAndrea Bittau 
5412a91aa39SAndrea Bittau 			/* check if we got enough dupacks */
54277d2dd93SGerrit Renker 			if (hc->tx_rpdupack >= NUMDUPACK) {
54377d2dd93SGerrit Renker 				hc->tx_rpdupack = -1; /* XXX lame */
54477d2dd93SGerrit Renker 				hc->tx_rpseq    = 0;
54531daf039SGerrit Renker #ifdef __CCID2_COPES_GRACEFULLY_WITH_ACK_CONGESTION_CONTROL__
54631daf039SGerrit Renker 				/*
54731daf039SGerrit Renker 				 * FIXME: Ack Congestion Control is broken; in
54831daf039SGerrit Renker 				 * the current state instabilities occurred with
54931daf039SGerrit Renker 				 * Ack Ratios greater than 1; causing hang-ups
55031daf039SGerrit Renker 				 * and long RTO timeouts. This needs to be fixed
55131daf039SGerrit Renker 				 * before opening up dynamic changes. -- gerrit
55231daf039SGerrit Renker 				 */
553df054e1dSGerrit Renker 				ccid2_change_l_ack_ratio(sk, 2 * dp->dccps_l_ack_ratio);
55431daf039SGerrit Renker #endif
5552a91aa39SAndrea Bittau 			}
5562a91aa39SAndrea Bittau 		}
5572a91aa39SAndrea Bittau 	}
5582a91aa39SAndrea Bittau 
5592a91aa39SAndrea Bittau 	/* check forward path congestion */
5607e87fe84SGerrit Renker 	if (dccp_packet_without_ack(skb))
5612a91aa39SAndrea Bittau 		return;
5622a91aa39SAndrea Bittau 
5637e87fe84SGerrit Renker 	/* still didn't send out new data packets */
5647e87fe84SGerrit Renker 	if (hc->tx_seqh == hc->tx_seqt)
5657e87fe84SGerrit Renker 		goto done;
5662a91aa39SAndrea Bittau 
5672a91aa39SAndrea Bittau 	ackno = DCCP_SKB_CB(skb)->dccpd_ack_seq;
56877d2dd93SGerrit Renker 	if (after48(ackno, hc->tx_high_ack))
56977d2dd93SGerrit Renker 		hc->tx_high_ack = ackno;
57032aac18dSAndrea Bittau 
57177d2dd93SGerrit Renker 	seqp = hc->tx_seqt;
57232aac18dSAndrea Bittau 	while (before48(seqp->ccid2s_seq, ackno)) {
57332aac18dSAndrea Bittau 		seqp = seqp->ccid2s_next;
57477d2dd93SGerrit Renker 		if (seqp == hc->tx_seqh) {
57577d2dd93SGerrit Renker 			seqp = hc->tx_seqh->ccid2s_prev;
57632aac18dSAndrea Bittau 			break;
57732aac18dSAndrea Bittau 		}
57832aac18dSAndrea Bittau 	}
5792a91aa39SAndrea Bittau 
580a3020025SGerrit Renker 	/*
581a3020025SGerrit Renker 	 * In slow-start, cwnd can increase up to a maximum of Ack Ratio/2
582a3020025SGerrit Renker 	 * packets per acknowledgement. Rounding up avoids that cwnd is not
583a3020025SGerrit Renker 	 * advanced when Ack Ratio is 1 and gives a slight edge otherwise.
5842a91aa39SAndrea Bittau 	 */
58577d2dd93SGerrit Renker 	if (hc->tx_cwnd < hc->tx_ssthresh)
586a3020025SGerrit Renker 		maxincr = DIV_ROUND_UP(dp->dccps_l_ack_ratio, 2);
5872a91aa39SAndrea Bittau 
5882a91aa39SAndrea Bittau 	/* go through all ack vectors */
5897e87fe84SGerrit Renker 	list_for_each_entry(avp, &hc->tx_av_chunks, node) {
5902a91aa39SAndrea Bittau 		/* go through this ack vector */
5917e87fe84SGerrit Renker 		for (; avp->len--; avp->vec++) {
5927e87fe84SGerrit Renker 			u64 ackno_end_rl = SUB48(ackno,
5937e87fe84SGerrit Renker 						 dccp_ackvec_runlen(avp->vec));
5942a91aa39SAndrea Bittau 
5957e87fe84SGerrit Renker 			ccid2_pr_debug("ackvec %llu |%u,%u|\n",
596234af484SRandy Dunlap 				       (unsigned long long)ackno,
5977e87fe84SGerrit Renker 				       dccp_ackvec_state(avp->vec) >> 6,
5987e87fe84SGerrit Renker 				       dccp_ackvec_runlen(avp->vec));
5992a91aa39SAndrea Bittau 			/* if the seqno we are analyzing is larger than the
6002a91aa39SAndrea Bittau 			 * current ackno, then move towards the tail of our
6012a91aa39SAndrea Bittau 			 * seqnos.
6022a91aa39SAndrea Bittau 			 */
6032a91aa39SAndrea Bittau 			while (after48(seqp->ccid2s_seq, ackno)) {
60477d2dd93SGerrit Renker 				if (seqp == hc->tx_seqt) {
6052a91aa39SAndrea Bittau 					done = 1;
6062a91aa39SAndrea Bittau 					break;
6072a91aa39SAndrea Bittau 				}
6082a91aa39SAndrea Bittau 				seqp = seqp->ccid2s_prev;
6092a91aa39SAndrea Bittau 			}
6102a91aa39SAndrea Bittau 			if (done)
6112a91aa39SAndrea Bittau 				break;
6122a91aa39SAndrea Bittau 
6132a91aa39SAndrea Bittau 			/* check all seqnos in the range of the vector
6142a91aa39SAndrea Bittau 			 * run length
6152a91aa39SAndrea Bittau 			 */
6162a91aa39SAndrea Bittau 			while (between48(seqp->ccid2s_seq,ackno_end_rl,ackno)) {
6177e87fe84SGerrit Renker 				const u8 state = dccp_ackvec_state(avp->vec);
6182a91aa39SAndrea Bittau 
6192a91aa39SAndrea Bittau 				/* new packet received or marked */
620f17a37c9SGerrit Renker 				if (state != DCCPAV_NOT_RECEIVED &&
6212a91aa39SAndrea Bittau 				    !seqp->ccid2s_acked) {
622f17a37c9SGerrit Renker 					if (state == DCCPAV_ECN_MARKED)
623d50ad163SGerrit Renker 						ccid2_congestion_event(sk,
624374bcf32SAndrea Bittau 								       seqp);
625f17a37c9SGerrit Renker 					else
6262a91aa39SAndrea Bittau 						ccid2_new_ack(sk, seqp,
6272a91aa39SAndrea Bittau 							      &maxincr);
6282a91aa39SAndrea Bittau 
6292a91aa39SAndrea Bittau 					seqp->ccid2s_acked = 1;
6302a91aa39SAndrea Bittau 					ccid2_pr_debug("Got ack for %llu\n",
631234af484SRandy Dunlap 						       (unsigned long long)seqp->ccid2s_seq);
632c38c92a8SGerrit Renker 					hc->tx_pipe--;
6332a91aa39SAndrea Bittau 				}
63477d2dd93SGerrit Renker 				if (seqp == hc->tx_seqt) {
6352a91aa39SAndrea Bittau 					done = 1;
6362a91aa39SAndrea Bittau 					break;
6372a91aa39SAndrea Bittau 				}
6383de5489fSGerrit Renker 				seqp = seqp->ccid2s_prev;
6392a91aa39SAndrea Bittau 			}
6402a91aa39SAndrea Bittau 			if (done)
6412a91aa39SAndrea Bittau 				break;
6422a91aa39SAndrea Bittau 
643cfbbeabcSGerrit Renker 			ackno = SUB48(ackno_end_rl, 1);
6442a91aa39SAndrea Bittau 		}
6452a91aa39SAndrea Bittau 		if (done)
6462a91aa39SAndrea Bittau 			break;
6472a91aa39SAndrea Bittau 	}
6482a91aa39SAndrea Bittau 
6492a91aa39SAndrea Bittau 	/* The state about what is acked should be correct now
6502a91aa39SAndrea Bittau 	 * Check for NUMDUPACK
6512a91aa39SAndrea Bittau 	 */
65277d2dd93SGerrit Renker 	seqp = hc->tx_seqt;
65377d2dd93SGerrit Renker 	while (before48(seqp->ccid2s_seq, hc->tx_high_ack)) {
65432aac18dSAndrea Bittau 		seqp = seqp->ccid2s_next;
65577d2dd93SGerrit Renker 		if (seqp == hc->tx_seqh) {
65677d2dd93SGerrit Renker 			seqp = hc->tx_seqh->ccid2s_prev;
65732aac18dSAndrea Bittau 			break;
65832aac18dSAndrea Bittau 		}
65932aac18dSAndrea Bittau 	}
6602a91aa39SAndrea Bittau 	done = 0;
6612a91aa39SAndrea Bittau 	while (1) {
6622a91aa39SAndrea Bittau 		if (seqp->ccid2s_acked) {
6632a91aa39SAndrea Bittau 			done++;
66463df18adSGerrit Renker 			if (done == NUMDUPACK)
6652a91aa39SAndrea Bittau 				break;
6662a91aa39SAndrea Bittau 		}
66777d2dd93SGerrit Renker 		if (seqp == hc->tx_seqt)
6682a91aa39SAndrea Bittau 			break;
6692a91aa39SAndrea Bittau 		seqp = seqp->ccid2s_prev;
6702a91aa39SAndrea Bittau 	}
6712a91aa39SAndrea Bittau 
6722a91aa39SAndrea Bittau 	/* If there are at least 3 acknowledgements, anything unacknowledged
6732a91aa39SAndrea Bittau 	 * below the last sequence number is considered lost
6742a91aa39SAndrea Bittau 	 */
67563df18adSGerrit Renker 	if (done == NUMDUPACK) {
6762a91aa39SAndrea Bittau 		struct ccid2_seq *last_acked = seqp;
6772a91aa39SAndrea Bittau 
6782a91aa39SAndrea Bittau 		/* check for lost packets */
6792a91aa39SAndrea Bittau 		while (1) {
6802a91aa39SAndrea Bittau 			if (!seqp->ccid2s_acked) {
681374bcf32SAndrea Bittau 				ccid2_pr_debug("Packet lost: %llu\n",
682234af484SRandy Dunlap 					       (unsigned long long)seqp->ccid2s_seq);
683374bcf32SAndrea Bittau 				/* XXX need to traverse from tail -> head in
684374bcf32SAndrea Bittau 				 * order to detect multiple congestion events in
685374bcf32SAndrea Bittau 				 * one ack vector.
686374bcf32SAndrea Bittau 				 */
687d50ad163SGerrit Renker 				ccid2_congestion_event(sk, seqp);
688c38c92a8SGerrit Renker 				hc->tx_pipe--;
6892a91aa39SAndrea Bittau 			}
69077d2dd93SGerrit Renker 			if (seqp == hc->tx_seqt)
6912a91aa39SAndrea Bittau 				break;
6922a91aa39SAndrea Bittau 			seqp = seqp->ccid2s_prev;
6932a91aa39SAndrea Bittau 		}
6942a91aa39SAndrea Bittau 
69577d2dd93SGerrit Renker 		hc->tx_seqt = last_acked;
6962a91aa39SAndrea Bittau 	}
6972a91aa39SAndrea Bittau 
6982a91aa39SAndrea Bittau 	/* trim acked packets in tail */
69977d2dd93SGerrit Renker 	while (hc->tx_seqt != hc->tx_seqh) {
70077d2dd93SGerrit Renker 		if (!hc->tx_seqt->ccid2s_acked)
7012a91aa39SAndrea Bittau 			break;
7022a91aa39SAndrea Bittau 
70377d2dd93SGerrit Renker 		hc->tx_seqt = hc->tx_seqt->ccid2s_next;
7042a91aa39SAndrea Bittau 	}
705c38c92a8SGerrit Renker 
706c38c92a8SGerrit Renker 	/* restart RTO timer if not all outstanding data has been acked */
707c38c92a8SGerrit Renker 	if (hc->tx_pipe == 0)
708c38c92a8SGerrit Renker 		sk_stop_timer(sk, &hc->tx_rtotimer);
709c38c92a8SGerrit Renker 	else
710c38c92a8SGerrit Renker 		sk_reset_timer(sk, &hc->tx_rtotimer, jiffies + hc->tx_rto);
7117e87fe84SGerrit Renker done:
7121c0e0a05SGerrit Renker 	/* check if incoming Acks allow pending packets to be sent */
7131c0e0a05SGerrit Renker 	if (sender_was_blocked && !ccid2_cwnd_network_limited(hc))
714a8d7aa17SEric Dumazet 		dccp_tasklet_schedule(sk);
7157e87fe84SGerrit Renker 	dccp_ackvec_parsed_cleanup(&hc->tx_av_chunks);
7162a91aa39SAndrea Bittau }
7172a91aa39SAndrea Bittau 
ccid2_hc_tx_init(struct ccid * ccid,struct sock * sk)71891f0ebf7SArnaldo Carvalho de Melo static int ccid2_hc_tx_init(struct ccid *ccid, struct sock *sk)
7192a91aa39SAndrea Bittau {
72077d2dd93SGerrit Renker 	struct ccid2_hc_tx_sock *hc = ccid_priv(ccid);
721b00d2bbcSGerrit Renker 	struct dccp_sock *dp = dccp_sk(sk);
722b00d2bbcSGerrit Renker 	u32 max_ratio;
7232a91aa39SAndrea Bittau 
724b00d2bbcSGerrit Renker 	/* RFC 4341, 5: initialise ssthresh to arbitrarily high (max) value */
72577d2dd93SGerrit Renker 	hc->tx_ssthresh = ~0U;
7262a91aa39SAndrea Bittau 
72722b71c8fSGerrit Renker 	/* Use larger initial windows (RFC 4341, section 5). */
72822b71c8fSGerrit Renker 	hc->tx_cwnd = rfc3390_bytes_to_packets(dp->dccps_mss_cache);
729113ced1fSGerrit Renker 	hc->tx_expected_wnd = hc->tx_cwnd;
730b00d2bbcSGerrit Renker 
731b00d2bbcSGerrit Renker 	/* Make sure that Ack Ratio is enabled and within bounds. */
73277d2dd93SGerrit Renker 	max_ratio = DIV_ROUND_UP(hc->tx_cwnd, 2);
733b00d2bbcSGerrit Renker 	if (dp->dccps_l_ack_ratio == 0 || dp->dccps_l_ack_ratio > max_ratio)
734b00d2bbcSGerrit Renker 		dp->dccps_l_ack_ratio = max_ratio;
735b00d2bbcSGerrit Renker 
7362a91aa39SAndrea Bittau 	/* XXX init ~ to window size... */
73777d2dd93SGerrit Renker 	if (ccid2_hc_tx_alloc_seq(hc))
7382a91aa39SAndrea Bittau 		return -ENOMEM;
73991f0ebf7SArnaldo Carvalho de Melo 
740231cc2aaSGerrit Renker 	hc->tx_rto	 = DCCP_TIMEOUT_INIT;
74177d2dd93SGerrit Renker 	hc->tx_rpdupack  = -1;
742d011b9a4SEric Dumazet 	hc->tx_last_cong = hc->tx_lsndtime = hc->tx_cwnd_stamp = ccid2_jiffies32;
743113ced1fSGerrit Renker 	hc->tx_cwnd_used = 0;
744839a6094SKees Cook 	hc->sk		 = sk;
745839a6094SKees Cook 	timer_setup(&hc->tx_rtotimer, ccid2_hc_tx_rto_expire, 0);
7467e87fe84SGerrit Renker 	INIT_LIST_HEAD(&hc->tx_av_chunks);
7472a91aa39SAndrea Bittau 	return 0;
7482a91aa39SAndrea Bittau }
7492a91aa39SAndrea Bittau 
ccid2_hc_tx_exit(struct sock * sk)7502a91aa39SAndrea Bittau static void ccid2_hc_tx_exit(struct sock *sk)
7512a91aa39SAndrea Bittau {
75277d2dd93SGerrit Renker 	struct ccid2_hc_tx_sock *hc = ccid2_hc_tx_sk(sk);
75307978aabSAndrea Bittau 	int i;
7542a91aa39SAndrea Bittau 
755d26eeb07SGerrit Renker 	sk_stop_timer(sk, &hc->tx_rtotimer);
75607978aabSAndrea Bittau 
75777d2dd93SGerrit Renker 	for (i = 0; i < hc->tx_seqbufc; i++)
75877d2dd93SGerrit Renker 		kfree(hc->tx_seqbuf[i]);
75977d2dd93SGerrit Renker 	hc->tx_seqbufc = 0;
76072ef9c41SHannes Frederic Sowa 	dccp_ackvec_parsed_cleanup(&hc->tx_av_chunks);
7612a91aa39SAndrea Bittau }
7622a91aa39SAndrea Bittau 
ccid2_hc_rx_packet_recv(struct sock * sk,struct sk_buff * skb)7632a91aa39SAndrea Bittau static void ccid2_hc_rx_packet_recv(struct sock *sk, struct sk_buff *skb)
7642a91aa39SAndrea Bittau {
76577d2dd93SGerrit Renker 	struct ccid2_hc_rx_sock *hc = ccid2_hc_rx_sk(sk);
7662a91aa39SAndrea Bittau 
76758fdea0fSGerrit Renker 	if (!dccp_data_packet(skb))
76858fdea0fSGerrit Renker 		return;
76958fdea0fSGerrit Renker 
77058fdea0fSGerrit Renker 	if (++hc->rx_num_data_pkts >= dccp_sk(sk)->dccps_r_ack_ratio) {
7712a91aa39SAndrea Bittau 		dccp_send_ack(sk);
77258fdea0fSGerrit Renker 		hc->rx_num_data_pkts = 0;
7732a91aa39SAndrea Bittau 	}
7742a91aa39SAndrea Bittau }
7752a91aa39SAndrea Bittau 
776ddebc973SGerrit Renker struct ccid_operations ccid2_ops = {
7773dd9a7c3SIan McDonald 	.ccid_id		  = DCCPC_CCID2,
77884a97b0aSGerrit Renker 	.ccid_name		  = "TCP-like",
77991f0ebf7SArnaldo Carvalho de Melo 	.ccid_hc_tx_obj_size	  = sizeof(struct ccid2_hc_tx_sock),
7802a91aa39SAndrea Bittau 	.ccid_hc_tx_init	  = ccid2_hc_tx_init,
7812a91aa39SAndrea Bittau 	.ccid_hc_tx_exit	  = ccid2_hc_tx_exit,
7822a91aa39SAndrea Bittau 	.ccid_hc_tx_send_packet	  = ccid2_hc_tx_send_packet,
7832a91aa39SAndrea Bittau 	.ccid_hc_tx_packet_sent	  = ccid2_hc_tx_packet_sent,
7847e87fe84SGerrit Renker 	.ccid_hc_tx_parse_options = ccid2_hc_tx_parse_options,
7852a91aa39SAndrea Bittau 	.ccid_hc_tx_packet_recv	  = ccid2_hc_tx_packet_recv,
78691f0ebf7SArnaldo Carvalho de Melo 	.ccid_hc_rx_obj_size	  = sizeof(struct ccid2_hc_rx_sock),
7872a91aa39SAndrea Bittau 	.ccid_hc_rx_packet_recv	  = ccid2_hc_rx_packet_recv,
7882a91aa39SAndrea Bittau };
7892a91aa39SAndrea Bittau 
79084116716SGerrit Renker #ifdef CONFIG_IP_DCCP_CCID2_DEBUG
79143264991SGerrit Renker module_param(ccid2_debug, bool, 0644);
792ddebc973SGerrit Renker MODULE_PARM_DESC(ccid2_debug, "Enable CCID-2 debug messages");
79384116716SGerrit Renker #endif
794