1*4882a593Smuzhiyun // SPDX-License-Identifier: GPL-2.0-only
2*4882a593Smuzhiyun /*
3*4882a593Smuzhiyun * TCP Veno congestion control
4*4882a593Smuzhiyun *
5*4882a593Smuzhiyun * This is based on the congestion detection/avoidance scheme described in
6*4882a593Smuzhiyun * C. P. Fu, S. C. Liew.
7*4882a593Smuzhiyun * "TCP Veno: TCP Enhancement for Transmission over Wireless Access Networks."
8*4882a593Smuzhiyun * IEEE Journal on Selected Areas in Communication,
9*4882a593Smuzhiyun * Feb. 2003.
10*4882a593Smuzhiyun * See https://www.ie.cuhk.edu.hk/fileadmin/staff_upload/soung/Journal/J3.pdf
11*4882a593Smuzhiyun */
12*4882a593Smuzhiyun
13*4882a593Smuzhiyun #include <linux/mm.h>
14*4882a593Smuzhiyun #include <linux/module.h>
15*4882a593Smuzhiyun #include <linux/skbuff.h>
16*4882a593Smuzhiyun #include <linux/inet_diag.h>
17*4882a593Smuzhiyun
18*4882a593Smuzhiyun #include <net/tcp.h>
19*4882a593Smuzhiyun
20*4882a593Smuzhiyun /* Default values of the Veno variables, in fixed-point representation
21*4882a593Smuzhiyun * with V_PARAM_SHIFT bits to the right of the binary point.
22*4882a593Smuzhiyun */
23*4882a593Smuzhiyun #define V_PARAM_SHIFT 1
24*4882a593Smuzhiyun static const int beta = 3 << V_PARAM_SHIFT;
25*4882a593Smuzhiyun
26*4882a593Smuzhiyun /* Veno variables */
27*4882a593Smuzhiyun struct veno {
28*4882a593Smuzhiyun u8 doing_veno_now; /* if true, do veno for this rtt */
29*4882a593Smuzhiyun u16 cntrtt; /* # of rtts measured within last rtt */
30*4882a593Smuzhiyun u32 minrtt; /* min of rtts measured within last rtt (in usec) */
31*4882a593Smuzhiyun u32 basertt; /* the min of all Veno rtt measurements seen (in usec) */
32*4882a593Smuzhiyun u32 inc; /* decide whether to increase cwnd */
33*4882a593Smuzhiyun u32 diff; /* calculate the diff rate */
34*4882a593Smuzhiyun };
35*4882a593Smuzhiyun
36*4882a593Smuzhiyun /* There are several situations when we must "re-start" Veno:
37*4882a593Smuzhiyun *
38*4882a593Smuzhiyun * o when a connection is established
39*4882a593Smuzhiyun * o after an RTO
40*4882a593Smuzhiyun * o after fast recovery
41*4882a593Smuzhiyun * o when we send a packet and there is no outstanding
42*4882a593Smuzhiyun * unacknowledged data (restarting an idle connection)
43*4882a593Smuzhiyun *
44*4882a593Smuzhiyun */
veno_enable(struct sock * sk)45*4882a593Smuzhiyun static inline void veno_enable(struct sock *sk)
46*4882a593Smuzhiyun {
47*4882a593Smuzhiyun struct veno *veno = inet_csk_ca(sk);
48*4882a593Smuzhiyun
49*4882a593Smuzhiyun /* turn on Veno */
50*4882a593Smuzhiyun veno->doing_veno_now = 1;
51*4882a593Smuzhiyun
52*4882a593Smuzhiyun veno->minrtt = 0x7fffffff;
53*4882a593Smuzhiyun }
54*4882a593Smuzhiyun
veno_disable(struct sock * sk)55*4882a593Smuzhiyun static inline void veno_disable(struct sock *sk)
56*4882a593Smuzhiyun {
57*4882a593Smuzhiyun struct veno *veno = inet_csk_ca(sk);
58*4882a593Smuzhiyun
59*4882a593Smuzhiyun /* turn off Veno */
60*4882a593Smuzhiyun veno->doing_veno_now = 0;
61*4882a593Smuzhiyun }
62*4882a593Smuzhiyun
tcp_veno_init(struct sock * sk)63*4882a593Smuzhiyun static void tcp_veno_init(struct sock *sk)
64*4882a593Smuzhiyun {
65*4882a593Smuzhiyun struct veno *veno = inet_csk_ca(sk);
66*4882a593Smuzhiyun
67*4882a593Smuzhiyun veno->basertt = 0x7fffffff;
68*4882a593Smuzhiyun veno->inc = 1;
69*4882a593Smuzhiyun veno_enable(sk);
70*4882a593Smuzhiyun }
71*4882a593Smuzhiyun
72*4882a593Smuzhiyun /* Do rtt sampling needed for Veno. */
tcp_veno_pkts_acked(struct sock * sk,const struct ack_sample * sample)73*4882a593Smuzhiyun static void tcp_veno_pkts_acked(struct sock *sk,
74*4882a593Smuzhiyun const struct ack_sample *sample)
75*4882a593Smuzhiyun {
76*4882a593Smuzhiyun struct veno *veno = inet_csk_ca(sk);
77*4882a593Smuzhiyun u32 vrtt;
78*4882a593Smuzhiyun
79*4882a593Smuzhiyun if (sample->rtt_us < 0)
80*4882a593Smuzhiyun return;
81*4882a593Smuzhiyun
82*4882a593Smuzhiyun /* Never allow zero rtt or baseRTT */
83*4882a593Smuzhiyun vrtt = sample->rtt_us + 1;
84*4882a593Smuzhiyun
85*4882a593Smuzhiyun /* Filter to find propagation delay: */
86*4882a593Smuzhiyun if (vrtt < veno->basertt)
87*4882a593Smuzhiyun veno->basertt = vrtt;
88*4882a593Smuzhiyun
89*4882a593Smuzhiyun /* Find the min rtt during the last rtt to find
90*4882a593Smuzhiyun * the current prop. delay + queuing delay:
91*4882a593Smuzhiyun */
92*4882a593Smuzhiyun veno->minrtt = min(veno->minrtt, vrtt);
93*4882a593Smuzhiyun veno->cntrtt++;
94*4882a593Smuzhiyun }
95*4882a593Smuzhiyun
tcp_veno_state(struct sock * sk,u8 ca_state)96*4882a593Smuzhiyun static void tcp_veno_state(struct sock *sk, u8 ca_state)
97*4882a593Smuzhiyun {
98*4882a593Smuzhiyun if (ca_state == TCP_CA_Open)
99*4882a593Smuzhiyun veno_enable(sk);
100*4882a593Smuzhiyun else
101*4882a593Smuzhiyun veno_disable(sk);
102*4882a593Smuzhiyun }
103*4882a593Smuzhiyun
104*4882a593Smuzhiyun /*
105*4882a593Smuzhiyun * If the connection is idle and we are restarting,
106*4882a593Smuzhiyun * then we don't want to do any Veno calculations
107*4882a593Smuzhiyun * until we get fresh rtt samples. So when we
108*4882a593Smuzhiyun * restart, we reset our Veno state to a clean
109*4882a593Smuzhiyun * state. After we get acks for this flight of
110*4882a593Smuzhiyun * packets, _then_ we can make Veno calculations
111*4882a593Smuzhiyun * again.
112*4882a593Smuzhiyun */
tcp_veno_cwnd_event(struct sock * sk,enum tcp_ca_event event)113*4882a593Smuzhiyun static void tcp_veno_cwnd_event(struct sock *sk, enum tcp_ca_event event)
114*4882a593Smuzhiyun {
115*4882a593Smuzhiyun if (event == CA_EVENT_CWND_RESTART || event == CA_EVENT_TX_START)
116*4882a593Smuzhiyun tcp_veno_init(sk);
117*4882a593Smuzhiyun }
118*4882a593Smuzhiyun
tcp_veno_cong_avoid(struct sock * sk,u32 ack,u32 acked)119*4882a593Smuzhiyun static void tcp_veno_cong_avoid(struct sock *sk, u32 ack, u32 acked)
120*4882a593Smuzhiyun {
121*4882a593Smuzhiyun struct tcp_sock *tp = tcp_sk(sk);
122*4882a593Smuzhiyun struct veno *veno = inet_csk_ca(sk);
123*4882a593Smuzhiyun
124*4882a593Smuzhiyun if (!veno->doing_veno_now) {
125*4882a593Smuzhiyun tcp_reno_cong_avoid(sk, ack, acked);
126*4882a593Smuzhiyun return;
127*4882a593Smuzhiyun }
128*4882a593Smuzhiyun
129*4882a593Smuzhiyun /* limited by applications */
130*4882a593Smuzhiyun if (!tcp_is_cwnd_limited(sk))
131*4882a593Smuzhiyun return;
132*4882a593Smuzhiyun
133*4882a593Smuzhiyun /* We do the Veno calculations only if we got enough rtt samples */
134*4882a593Smuzhiyun if (veno->cntrtt <= 2) {
135*4882a593Smuzhiyun /* We don't have enough rtt samples to do the Veno
136*4882a593Smuzhiyun * calculation, so we'll behave like Reno.
137*4882a593Smuzhiyun */
138*4882a593Smuzhiyun tcp_reno_cong_avoid(sk, ack, acked);
139*4882a593Smuzhiyun } else {
140*4882a593Smuzhiyun u64 target_cwnd;
141*4882a593Smuzhiyun u32 rtt;
142*4882a593Smuzhiyun
143*4882a593Smuzhiyun /* We have enough rtt samples, so, using the Veno
144*4882a593Smuzhiyun * algorithm, we determine the state of the network.
145*4882a593Smuzhiyun */
146*4882a593Smuzhiyun
147*4882a593Smuzhiyun rtt = veno->minrtt;
148*4882a593Smuzhiyun
149*4882a593Smuzhiyun target_cwnd = (u64)tp->snd_cwnd * veno->basertt;
150*4882a593Smuzhiyun target_cwnd <<= V_PARAM_SHIFT;
151*4882a593Smuzhiyun do_div(target_cwnd, rtt);
152*4882a593Smuzhiyun
153*4882a593Smuzhiyun veno->diff = (tp->snd_cwnd << V_PARAM_SHIFT) - target_cwnd;
154*4882a593Smuzhiyun
155*4882a593Smuzhiyun if (tcp_in_slow_start(tp)) {
156*4882a593Smuzhiyun /* Slow start. */
157*4882a593Smuzhiyun acked = tcp_slow_start(tp, acked);
158*4882a593Smuzhiyun if (!acked)
159*4882a593Smuzhiyun goto done;
160*4882a593Smuzhiyun }
161*4882a593Smuzhiyun
162*4882a593Smuzhiyun /* Congestion avoidance. */
163*4882a593Smuzhiyun if (veno->diff < beta) {
164*4882a593Smuzhiyun /* In the "non-congestive state", increase cwnd
165*4882a593Smuzhiyun * every rtt.
166*4882a593Smuzhiyun */
167*4882a593Smuzhiyun tcp_cong_avoid_ai(tp, tp->snd_cwnd, acked);
168*4882a593Smuzhiyun } else {
169*4882a593Smuzhiyun /* In the "congestive state", increase cwnd
170*4882a593Smuzhiyun * every other rtt.
171*4882a593Smuzhiyun */
172*4882a593Smuzhiyun if (tp->snd_cwnd_cnt >= tp->snd_cwnd) {
173*4882a593Smuzhiyun if (veno->inc &&
174*4882a593Smuzhiyun tp->snd_cwnd < tp->snd_cwnd_clamp) {
175*4882a593Smuzhiyun tp->snd_cwnd++;
176*4882a593Smuzhiyun veno->inc = 0;
177*4882a593Smuzhiyun } else
178*4882a593Smuzhiyun veno->inc = 1;
179*4882a593Smuzhiyun tp->snd_cwnd_cnt = 0;
180*4882a593Smuzhiyun } else
181*4882a593Smuzhiyun tp->snd_cwnd_cnt += acked;
182*4882a593Smuzhiyun }
183*4882a593Smuzhiyun done:
184*4882a593Smuzhiyun if (tp->snd_cwnd < 2)
185*4882a593Smuzhiyun tp->snd_cwnd = 2;
186*4882a593Smuzhiyun else if (tp->snd_cwnd > tp->snd_cwnd_clamp)
187*4882a593Smuzhiyun tp->snd_cwnd = tp->snd_cwnd_clamp;
188*4882a593Smuzhiyun }
189*4882a593Smuzhiyun /* Wipe the slate clean for the next rtt. */
190*4882a593Smuzhiyun /* veno->cntrtt = 0; */
191*4882a593Smuzhiyun veno->minrtt = 0x7fffffff;
192*4882a593Smuzhiyun }
193*4882a593Smuzhiyun
194*4882a593Smuzhiyun /* Veno MD phase */
tcp_veno_ssthresh(struct sock * sk)195*4882a593Smuzhiyun static u32 tcp_veno_ssthresh(struct sock *sk)
196*4882a593Smuzhiyun {
197*4882a593Smuzhiyun const struct tcp_sock *tp = tcp_sk(sk);
198*4882a593Smuzhiyun struct veno *veno = inet_csk_ca(sk);
199*4882a593Smuzhiyun
200*4882a593Smuzhiyun if (veno->diff < beta)
201*4882a593Smuzhiyun /* in "non-congestive state", cut cwnd by 1/5 */
202*4882a593Smuzhiyun return max(tp->snd_cwnd * 4 / 5, 2U);
203*4882a593Smuzhiyun else
204*4882a593Smuzhiyun /* in "congestive state", cut cwnd by 1/2 */
205*4882a593Smuzhiyun return max(tp->snd_cwnd >> 1U, 2U);
206*4882a593Smuzhiyun }
207*4882a593Smuzhiyun
208*4882a593Smuzhiyun static struct tcp_congestion_ops tcp_veno __read_mostly = {
209*4882a593Smuzhiyun .init = tcp_veno_init,
210*4882a593Smuzhiyun .ssthresh = tcp_veno_ssthresh,
211*4882a593Smuzhiyun .undo_cwnd = tcp_reno_undo_cwnd,
212*4882a593Smuzhiyun .cong_avoid = tcp_veno_cong_avoid,
213*4882a593Smuzhiyun .pkts_acked = tcp_veno_pkts_acked,
214*4882a593Smuzhiyun .set_state = tcp_veno_state,
215*4882a593Smuzhiyun .cwnd_event = tcp_veno_cwnd_event,
216*4882a593Smuzhiyun
217*4882a593Smuzhiyun .owner = THIS_MODULE,
218*4882a593Smuzhiyun .name = "veno",
219*4882a593Smuzhiyun };
220*4882a593Smuzhiyun
tcp_veno_register(void)221*4882a593Smuzhiyun static int __init tcp_veno_register(void)
222*4882a593Smuzhiyun {
223*4882a593Smuzhiyun BUILD_BUG_ON(sizeof(struct veno) > ICSK_CA_PRIV_SIZE);
224*4882a593Smuzhiyun tcp_register_congestion_control(&tcp_veno);
225*4882a593Smuzhiyun return 0;
226*4882a593Smuzhiyun }
227*4882a593Smuzhiyun
tcp_veno_unregister(void)228*4882a593Smuzhiyun static void __exit tcp_veno_unregister(void)
229*4882a593Smuzhiyun {
230*4882a593Smuzhiyun tcp_unregister_congestion_control(&tcp_veno);
231*4882a593Smuzhiyun }
232*4882a593Smuzhiyun
233*4882a593Smuzhiyun module_init(tcp_veno_register);
234*4882a593Smuzhiyun module_exit(tcp_veno_unregister);
235*4882a593Smuzhiyun
236*4882a593Smuzhiyun MODULE_AUTHOR("Bin Zhou, Cheng Peng Fu");
237*4882a593Smuzhiyun MODULE_LICENSE("GPL");
238*4882a593Smuzhiyun MODULE_DESCRIPTION("TCP Veno");
239