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