xref: /OK3568_Linux_fs/kernel/net/dccp/ccids/lib/loss_interval.c (revision 4882a59341e53eb6f0b4789bf948001014eff981)
1*4882a593Smuzhiyun // SPDX-License-Identifier: GPL-2.0-or-later
2*4882a593Smuzhiyun /*
3*4882a593Smuzhiyun  *  Copyright (c) 2007   The University of Aberdeen, Scotland, UK
4*4882a593Smuzhiyun  *  Copyright (c) 2005-7 The University of Waikato, Hamilton, New Zealand.
5*4882a593Smuzhiyun  *  Copyright (c) 2005-7 Ian McDonald <ian.mcdonald@jandi.co.nz>
6*4882a593Smuzhiyun  *  Copyright (c) 2005 Arnaldo Carvalho de Melo <acme@conectiva.com.br>
7*4882a593Smuzhiyun  */
8*4882a593Smuzhiyun #include <net/sock.h>
9*4882a593Smuzhiyun #include "tfrc.h"
10*4882a593Smuzhiyun 
11*4882a593Smuzhiyun static struct kmem_cache  *tfrc_lh_slab  __read_mostly;
12*4882a593Smuzhiyun /* Loss Interval weights from [RFC 3448, 5.4], scaled by 10 */
13*4882a593Smuzhiyun static const int tfrc_lh_weights[NINTERVAL] = { 10, 10, 10, 10, 8, 6, 4, 2 };
14*4882a593Smuzhiyun 
15*4882a593Smuzhiyun /* implements LIFO semantics on the array */
LIH_INDEX(const u8 ctr)16*4882a593Smuzhiyun static inline u8 LIH_INDEX(const u8 ctr)
17*4882a593Smuzhiyun {
18*4882a593Smuzhiyun 	return LIH_SIZE - 1 - (ctr % LIH_SIZE);
19*4882a593Smuzhiyun }
20*4882a593Smuzhiyun 
21*4882a593Smuzhiyun /* the `counter' index always points at the next entry to be populated */
tfrc_lh_peek(struct tfrc_loss_hist * lh)22*4882a593Smuzhiyun static inline struct tfrc_loss_interval *tfrc_lh_peek(struct tfrc_loss_hist *lh)
23*4882a593Smuzhiyun {
24*4882a593Smuzhiyun 	return lh->counter ? lh->ring[LIH_INDEX(lh->counter - 1)] : NULL;
25*4882a593Smuzhiyun }
26*4882a593Smuzhiyun 
27*4882a593Smuzhiyun /* given i with 0 <= i <= k, return I_i as per the rfc3448bis notation */
tfrc_lh_get_interval(struct tfrc_loss_hist * lh,const u8 i)28*4882a593Smuzhiyun static inline u32 tfrc_lh_get_interval(struct tfrc_loss_hist *lh, const u8 i)
29*4882a593Smuzhiyun {
30*4882a593Smuzhiyun 	BUG_ON(i >= lh->counter);
31*4882a593Smuzhiyun 	return lh->ring[LIH_INDEX(lh->counter - i - 1)]->li_length;
32*4882a593Smuzhiyun }
33*4882a593Smuzhiyun 
34*4882a593Smuzhiyun /*
35*4882a593Smuzhiyun  *	On-demand allocation and de-allocation of entries
36*4882a593Smuzhiyun  */
tfrc_lh_demand_next(struct tfrc_loss_hist * lh)37*4882a593Smuzhiyun static struct tfrc_loss_interval *tfrc_lh_demand_next(struct tfrc_loss_hist *lh)
38*4882a593Smuzhiyun {
39*4882a593Smuzhiyun 	if (lh->ring[LIH_INDEX(lh->counter)] == NULL)
40*4882a593Smuzhiyun 		lh->ring[LIH_INDEX(lh->counter)] = kmem_cache_alloc(tfrc_lh_slab,
41*4882a593Smuzhiyun 								    GFP_ATOMIC);
42*4882a593Smuzhiyun 	return lh->ring[LIH_INDEX(lh->counter)];
43*4882a593Smuzhiyun }
44*4882a593Smuzhiyun 
tfrc_lh_cleanup(struct tfrc_loss_hist * lh)45*4882a593Smuzhiyun void tfrc_lh_cleanup(struct tfrc_loss_hist *lh)
46*4882a593Smuzhiyun {
47*4882a593Smuzhiyun 	if (!tfrc_lh_is_initialised(lh))
48*4882a593Smuzhiyun 		return;
49*4882a593Smuzhiyun 
50*4882a593Smuzhiyun 	for (lh->counter = 0; lh->counter < LIH_SIZE; lh->counter++)
51*4882a593Smuzhiyun 		if (lh->ring[LIH_INDEX(lh->counter)] != NULL) {
52*4882a593Smuzhiyun 			kmem_cache_free(tfrc_lh_slab,
53*4882a593Smuzhiyun 					lh->ring[LIH_INDEX(lh->counter)]);
54*4882a593Smuzhiyun 			lh->ring[LIH_INDEX(lh->counter)] = NULL;
55*4882a593Smuzhiyun 		}
56*4882a593Smuzhiyun }
57*4882a593Smuzhiyun 
tfrc_lh_calc_i_mean(struct tfrc_loss_hist * lh)58*4882a593Smuzhiyun static void tfrc_lh_calc_i_mean(struct tfrc_loss_hist *lh)
59*4882a593Smuzhiyun {
60*4882a593Smuzhiyun 	u32 i_i, i_tot0 = 0, i_tot1 = 0, w_tot = 0;
61*4882a593Smuzhiyun 	int i, k = tfrc_lh_length(lh) - 1; /* k is as in rfc3448bis, 5.4 */
62*4882a593Smuzhiyun 
63*4882a593Smuzhiyun 	if (k <= 0)
64*4882a593Smuzhiyun 		return;
65*4882a593Smuzhiyun 
66*4882a593Smuzhiyun 	for (i = 0; i <= k; i++) {
67*4882a593Smuzhiyun 		i_i = tfrc_lh_get_interval(lh, i);
68*4882a593Smuzhiyun 
69*4882a593Smuzhiyun 		if (i < k) {
70*4882a593Smuzhiyun 			i_tot0 += i_i * tfrc_lh_weights[i];
71*4882a593Smuzhiyun 			w_tot  += tfrc_lh_weights[i];
72*4882a593Smuzhiyun 		}
73*4882a593Smuzhiyun 		if (i > 0)
74*4882a593Smuzhiyun 			i_tot1 += i_i * tfrc_lh_weights[i-1];
75*4882a593Smuzhiyun 	}
76*4882a593Smuzhiyun 
77*4882a593Smuzhiyun 	lh->i_mean = max(i_tot0, i_tot1) / w_tot;
78*4882a593Smuzhiyun }
79*4882a593Smuzhiyun 
80*4882a593Smuzhiyun /**
81*4882a593Smuzhiyun  * tfrc_lh_update_i_mean  -  Update the `open' loss interval I_0
82*4882a593Smuzhiyun  * For recomputing p: returns `true' if p > p_prev  <=>  1/p < 1/p_prev
83*4882a593Smuzhiyun  */
tfrc_lh_update_i_mean(struct tfrc_loss_hist * lh,struct sk_buff * skb)84*4882a593Smuzhiyun u8 tfrc_lh_update_i_mean(struct tfrc_loss_hist *lh, struct sk_buff *skb)
85*4882a593Smuzhiyun {
86*4882a593Smuzhiyun 	struct tfrc_loss_interval *cur = tfrc_lh_peek(lh);
87*4882a593Smuzhiyun 	u32 old_i_mean = lh->i_mean;
88*4882a593Smuzhiyun 	s64 len;
89*4882a593Smuzhiyun 
90*4882a593Smuzhiyun 	if (cur == NULL)			/* not initialised */
91*4882a593Smuzhiyun 		return 0;
92*4882a593Smuzhiyun 
93*4882a593Smuzhiyun 	len = dccp_delta_seqno(cur->li_seqno, DCCP_SKB_CB(skb)->dccpd_seq) + 1;
94*4882a593Smuzhiyun 
95*4882a593Smuzhiyun 	if (len - (s64)cur->li_length <= 0)	/* duplicate or reordered */
96*4882a593Smuzhiyun 		return 0;
97*4882a593Smuzhiyun 
98*4882a593Smuzhiyun 	if (SUB16(dccp_hdr(skb)->dccph_ccval, cur->li_ccval) > 4)
99*4882a593Smuzhiyun 		/*
100*4882a593Smuzhiyun 		 * Implements RFC 4342, 10.2:
101*4882a593Smuzhiyun 		 * If a packet S (skb) exists whose seqno comes `after' the one
102*4882a593Smuzhiyun 		 * starting the current loss interval (cur) and if the modulo-16
103*4882a593Smuzhiyun 		 * distance from C(cur) to C(S) is greater than 4, consider all
104*4882a593Smuzhiyun 		 * subsequent packets as belonging to a new loss interval. This
105*4882a593Smuzhiyun 		 * test is necessary since CCVal may wrap between intervals.
106*4882a593Smuzhiyun 		 */
107*4882a593Smuzhiyun 		cur->li_is_closed = 1;
108*4882a593Smuzhiyun 
109*4882a593Smuzhiyun 	if (tfrc_lh_length(lh) == 1)		/* due to RFC 3448, 6.3.1 */
110*4882a593Smuzhiyun 		return 0;
111*4882a593Smuzhiyun 
112*4882a593Smuzhiyun 	cur->li_length = len;
113*4882a593Smuzhiyun 	tfrc_lh_calc_i_mean(lh);
114*4882a593Smuzhiyun 
115*4882a593Smuzhiyun 	return lh->i_mean < old_i_mean;
116*4882a593Smuzhiyun }
117*4882a593Smuzhiyun 
118*4882a593Smuzhiyun /* Determine if `new_loss' does begin a new loss interval [RFC 4342, 10.2] */
tfrc_lh_is_new_loss(struct tfrc_loss_interval * cur,struct tfrc_rx_hist_entry * new_loss)119*4882a593Smuzhiyun static inline u8 tfrc_lh_is_new_loss(struct tfrc_loss_interval *cur,
120*4882a593Smuzhiyun 				     struct tfrc_rx_hist_entry *new_loss)
121*4882a593Smuzhiyun {
122*4882a593Smuzhiyun 	return	dccp_delta_seqno(cur->li_seqno, new_loss->tfrchrx_seqno) > 0 &&
123*4882a593Smuzhiyun 		(cur->li_is_closed || SUB16(new_loss->tfrchrx_ccval, cur->li_ccval) > 4);
124*4882a593Smuzhiyun }
125*4882a593Smuzhiyun 
126*4882a593Smuzhiyun /**
127*4882a593Smuzhiyun  * tfrc_lh_interval_add  -  Insert new record into the Loss Interval database
128*4882a593Smuzhiyun  * @lh:		   Loss Interval database
129*4882a593Smuzhiyun  * @rh:		   Receive history containing a fresh loss event
130*4882a593Smuzhiyun  * @calc_first_li: Caller-dependent routine to compute length of first interval
131*4882a593Smuzhiyun  * @sk:		   Used by @calc_first_li in caller-specific way (subtyping)
132*4882a593Smuzhiyun  *
133*4882a593Smuzhiyun  * Updates I_mean and returns 1 if a new interval has in fact been added to @lh.
134*4882a593Smuzhiyun  */
tfrc_lh_interval_add(struct tfrc_loss_hist * lh,struct tfrc_rx_hist * rh,u32 (* calc_first_li)(struct sock *),struct sock * sk)135*4882a593Smuzhiyun int tfrc_lh_interval_add(struct tfrc_loss_hist *lh, struct tfrc_rx_hist *rh,
136*4882a593Smuzhiyun 			 u32 (*calc_first_li)(struct sock *), struct sock *sk)
137*4882a593Smuzhiyun {
138*4882a593Smuzhiyun 	struct tfrc_loss_interval *cur = tfrc_lh_peek(lh), *new;
139*4882a593Smuzhiyun 
140*4882a593Smuzhiyun 	if (cur != NULL && !tfrc_lh_is_new_loss(cur, tfrc_rx_hist_loss_prev(rh)))
141*4882a593Smuzhiyun 		return 0;
142*4882a593Smuzhiyun 
143*4882a593Smuzhiyun 	new = tfrc_lh_demand_next(lh);
144*4882a593Smuzhiyun 	if (unlikely(new == NULL)) {
145*4882a593Smuzhiyun 		DCCP_CRIT("Cannot allocate/add loss record.");
146*4882a593Smuzhiyun 		return 0;
147*4882a593Smuzhiyun 	}
148*4882a593Smuzhiyun 
149*4882a593Smuzhiyun 	new->li_seqno	  = tfrc_rx_hist_loss_prev(rh)->tfrchrx_seqno;
150*4882a593Smuzhiyun 	new->li_ccval	  = tfrc_rx_hist_loss_prev(rh)->tfrchrx_ccval;
151*4882a593Smuzhiyun 	new->li_is_closed = 0;
152*4882a593Smuzhiyun 
153*4882a593Smuzhiyun 	if (++lh->counter == 1)
154*4882a593Smuzhiyun 		lh->i_mean = new->li_length = (*calc_first_li)(sk);
155*4882a593Smuzhiyun 	else {
156*4882a593Smuzhiyun 		cur->li_length = dccp_delta_seqno(cur->li_seqno, new->li_seqno);
157*4882a593Smuzhiyun 		new->li_length = dccp_delta_seqno(new->li_seqno,
158*4882a593Smuzhiyun 				  tfrc_rx_hist_last_rcv(rh)->tfrchrx_seqno) + 1;
159*4882a593Smuzhiyun 		if (lh->counter > (2*LIH_SIZE))
160*4882a593Smuzhiyun 			lh->counter -= LIH_SIZE;
161*4882a593Smuzhiyun 
162*4882a593Smuzhiyun 		tfrc_lh_calc_i_mean(lh);
163*4882a593Smuzhiyun 	}
164*4882a593Smuzhiyun 	return 1;
165*4882a593Smuzhiyun }
166*4882a593Smuzhiyun 
tfrc_li_init(void)167*4882a593Smuzhiyun int __init tfrc_li_init(void)
168*4882a593Smuzhiyun {
169*4882a593Smuzhiyun 	tfrc_lh_slab = kmem_cache_create("tfrc_li_hist",
170*4882a593Smuzhiyun 					 sizeof(struct tfrc_loss_interval), 0,
171*4882a593Smuzhiyun 					 SLAB_HWCACHE_ALIGN, NULL);
172*4882a593Smuzhiyun 	return tfrc_lh_slab == NULL ? -ENOBUFS : 0;
173*4882a593Smuzhiyun }
174*4882a593Smuzhiyun 
tfrc_li_exit(void)175*4882a593Smuzhiyun void tfrc_li_exit(void)
176*4882a593Smuzhiyun {
177*4882a593Smuzhiyun 	if (tfrc_lh_slab != NULL) {
178*4882a593Smuzhiyun 		kmem_cache_destroy(tfrc_lh_slab);
179*4882a593Smuzhiyun 		tfrc_lh_slab = NULL;
180*4882a593Smuzhiyun 	}
181*4882a593Smuzhiyun }
182