xref: /OK3568_Linux_fs/kernel/tools/testing/selftests/bpf/progs/bpf_dctcp.c (revision 4882a59341e53eb6f0b4789bf948001014eff981)
1*4882a593Smuzhiyun // SPDX-License-Identifier: GPL-2.0
2*4882a593Smuzhiyun /* Copyright (c) 2019 Facebook */
3*4882a593Smuzhiyun 
4*4882a593Smuzhiyun /* WARNING: This implemenation is not necessarily the same
5*4882a593Smuzhiyun  * as the tcp_dctcp.c.  The purpose is mainly for testing
6*4882a593Smuzhiyun  * the kernel BPF logic.
7*4882a593Smuzhiyun  */
8*4882a593Smuzhiyun 
9*4882a593Smuzhiyun #include <stddef.h>
10*4882a593Smuzhiyun #include <linux/bpf.h>
11*4882a593Smuzhiyun #include <linux/types.h>
12*4882a593Smuzhiyun #include <linux/stddef.h>
13*4882a593Smuzhiyun #include <linux/tcp.h>
14*4882a593Smuzhiyun #include <bpf/bpf_helpers.h>
15*4882a593Smuzhiyun #include <bpf/bpf_tracing.h>
16*4882a593Smuzhiyun #include "bpf_tcp_helpers.h"
17*4882a593Smuzhiyun 
18*4882a593Smuzhiyun char _license[] SEC("license") = "GPL";
19*4882a593Smuzhiyun 
20*4882a593Smuzhiyun int stg_result = 0;
21*4882a593Smuzhiyun 
22*4882a593Smuzhiyun struct {
23*4882a593Smuzhiyun 	__uint(type, BPF_MAP_TYPE_SK_STORAGE);
24*4882a593Smuzhiyun 	__uint(map_flags, BPF_F_NO_PREALLOC);
25*4882a593Smuzhiyun 	__type(key, int);
26*4882a593Smuzhiyun 	__type(value, int);
27*4882a593Smuzhiyun } sk_stg_map SEC(".maps");
28*4882a593Smuzhiyun 
29*4882a593Smuzhiyun #define DCTCP_MAX_ALPHA	1024U
30*4882a593Smuzhiyun 
31*4882a593Smuzhiyun struct dctcp {
32*4882a593Smuzhiyun 	__u32 old_delivered;
33*4882a593Smuzhiyun 	__u32 old_delivered_ce;
34*4882a593Smuzhiyun 	__u32 prior_rcv_nxt;
35*4882a593Smuzhiyun 	__u32 dctcp_alpha;
36*4882a593Smuzhiyun 	__u32 next_seq;
37*4882a593Smuzhiyun 	__u32 ce_state;
38*4882a593Smuzhiyun 	__u32 loss_cwnd;
39*4882a593Smuzhiyun };
40*4882a593Smuzhiyun 
41*4882a593Smuzhiyun static unsigned int dctcp_shift_g = 4; /* g = 1/2^4 */
42*4882a593Smuzhiyun static unsigned int dctcp_alpha_on_init = DCTCP_MAX_ALPHA;
43*4882a593Smuzhiyun 
dctcp_reset(const struct tcp_sock * tp,struct dctcp * ca)44*4882a593Smuzhiyun static __always_inline void dctcp_reset(const struct tcp_sock *tp,
45*4882a593Smuzhiyun 					struct dctcp *ca)
46*4882a593Smuzhiyun {
47*4882a593Smuzhiyun 	ca->next_seq = tp->snd_nxt;
48*4882a593Smuzhiyun 
49*4882a593Smuzhiyun 	ca->old_delivered = tp->delivered;
50*4882a593Smuzhiyun 	ca->old_delivered_ce = tp->delivered_ce;
51*4882a593Smuzhiyun }
52*4882a593Smuzhiyun 
53*4882a593Smuzhiyun SEC("struct_ops/dctcp_init")
BPF_PROG(dctcp_init,struct sock * sk)54*4882a593Smuzhiyun void BPF_PROG(dctcp_init, struct sock *sk)
55*4882a593Smuzhiyun {
56*4882a593Smuzhiyun 	const struct tcp_sock *tp = tcp_sk(sk);
57*4882a593Smuzhiyun 	struct dctcp *ca = inet_csk_ca(sk);
58*4882a593Smuzhiyun 	int *stg;
59*4882a593Smuzhiyun 
60*4882a593Smuzhiyun 	ca->prior_rcv_nxt = tp->rcv_nxt;
61*4882a593Smuzhiyun 	ca->dctcp_alpha = min(dctcp_alpha_on_init, DCTCP_MAX_ALPHA);
62*4882a593Smuzhiyun 	ca->loss_cwnd = 0;
63*4882a593Smuzhiyun 	ca->ce_state = 0;
64*4882a593Smuzhiyun 
65*4882a593Smuzhiyun 	stg = bpf_sk_storage_get(&sk_stg_map, (void *)tp, NULL, 0);
66*4882a593Smuzhiyun 	if (stg) {
67*4882a593Smuzhiyun 		stg_result = *stg;
68*4882a593Smuzhiyun 		bpf_sk_storage_delete(&sk_stg_map, (void *)tp);
69*4882a593Smuzhiyun 	}
70*4882a593Smuzhiyun 	dctcp_reset(tp, ca);
71*4882a593Smuzhiyun }
72*4882a593Smuzhiyun 
73*4882a593Smuzhiyun SEC("struct_ops/dctcp_ssthresh")
BPF_PROG(dctcp_ssthresh,struct sock * sk)74*4882a593Smuzhiyun __u32 BPF_PROG(dctcp_ssthresh, struct sock *sk)
75*4882a593Smuzhiyun {
76*4882a593Smuzhiyun 	struct dctcp *ca = inet_csk_ca(sk);
77*4882a593Smuzhiyun 	struct tcp_sock *tp = tcp_sk(sk);
78*4882a593Smuzhiyun 
79*4882a593Smuzhiyun 	ca->loss_cwnd = tp->snd_cwnd;
80*4882a593Smuzhiyun 	return max(tp->snd_cwnd - ((tp->snd_cwnd * ca->dctcp_alpha) >> 11U), 2U);
81*4882a593Smuzhiyun }
82*4882a593Smuzhiyun 
83*4882a593Smuzhiyun SEC("struct_ops/dctcp_update_alpha")
BPF_PROG(dctcp_update_alpha,struct sock * sk,__u32 flags)84*4882a593Smuzhiyun void BPF_PROG(dctcp_update_alpha, struct sock *sk, __u32 flags)
85*4882a593Smuzhiyun {
86*4882a593Smuzhiyun 	const struct tcp_sock *tp = tcp_sk(sk);
87*4882a593Smuzhiyun 	struct dctcp *ca = inet_csk_ca(sk);
88*4882a593Smuzhiyun 
89*4882a593Smuzhiyun 	/* Expired RTT */
90*4882a593Smuzhiyun 	if (!before(tp->snd_una, ca->next_seq)) {
91*4882a593Smuzhiyun 		__u32 delivered_ce = tp->delivered_ce - ca->old_delivered_ce;
92*4882a593Smuzhiyun 		__u32 alpha = ca->dctcp_alpha;
93*4882a593Smuzhiyun 
94*4882a593Smuzhiyun 		/* alpha = (1 - g) * alpha + g * F */
95*4882a593Smuzhiyun 
96*4882a593Smuzhiyun 		alpha -= min_not_zero(alpha, alpha >> dctcp_shift_g);
97*4882a593Smuzhiyun 		if (delivered_ce) {
98*4882a593Smuzhiyun 			__u32 delivered = tp->delivered - ca->old_delivered;
99*4882a593Smuzhiyun 
100*4882a593Smuzhiyun 			/* If dctcp_shift_g == 1, a 32bit value would overflow
101*4882a593Smuzhiyun 			 * after 8 M packets.
102*4882a593Smuzhiyun 			 */
103*4882a593Smuzhiyun 			delivered_ce <<= (10 - dctcp_shift_g);
104*4882a593Smuzhiyun 			delivered_ce /= max(1U, delivered);
105*4882a593Smuzhiyun 
106*4882a593Smuzhiyun 			alpha = min(alpha + delivered_ce, DCTCP_MAX_ALPHA);
107*4882a593Smuzhiyun 		}
108*4882a593Smuzhiyun 		ca->dctcp_alpha = alpha;
109*4882a593Smuzhiyun 		dctcp_reset(tp, ca);
110*4882a593Smuzhiyun 	}
111*4882a593Smuzhiyun }
112*4882a593Smuzhiyun 
dctcp_react_to_loss(struct sock * sk)113*4882a593Smuzhiyun static __always_inline void dctcp_react_to_loss(struct sock *sk)
114*4882a593Smuzhiyun {
115*4882a593Smuzhiyun 	struct dctcp *ca = inet_csk_ca(sk);
116*4882a593Smuzhiyun 	struct tcp_sock *tp = tcp_sk(sk);
117*4882a593Smuzhiyun 
118*4882a593Smuzhiyun 	ca->loss_cwnd = tp->snd_cwnd;
119*4882a593Smuzhiyun 	tp->snd_ssthresh = max(tp->snd_cwnd >> 1U, 2U);
120*4882a593Smuzhiyun }
121*4882a593Smuzhiyun 
122*4882a593Smuzhiyun SEC("struct_ops/dctcp_state")
BPF_PROG(dctcp_state,struct sock * sk,__u8 new_state)123*4882a593Smuzhiyun void BPF_PROG(dctcp_state, struct sock *sk, __u8 new_state)
124*4882a593Smuzhiyun {
125*4882a593Smuzhiyun 	if (new_state == TCP_CA_Recovery &&
126*4882a593Smuzhiyun 	    new_state != BPF_CORE_READ_BITFIELD(inet_csk(sk), icsk_ca_state))
127*4882a593Smuzhiyun 		dctcp_react_to_loss(sk);
128*4882a593Smuzhiyun 	/* We handle RTO in dctcp_cwnd_event to ensure that we perform only
129*4882a593Smuzhiyun 	 * one loss-adjustment per RTT.
130*4882a593Smuzhiyun 	 */
131*4882a593Smuzhiyun }
132*4882a593Smuzhiyun 
dctcp_ece_ack_cwr(struct sock * sk,__u32 ce_state)133*4882a593Smuzhiyun static __always_inline void dctcp_ece_ack_cwr(struct sock *sk, __u32 ce_state)
134*4882a593Smuzhiyun {
135*4882a593Smuzhiyun 	struct tcp_sock *tp = tcp_sk(sk);
136*4882a593Smuzhiyun 
137*4882a593Smuzhiyun 	if (ce_state == 1)
138*4882a593Smuzhiyun 		tp->ecn_flags |= TCP_ECN_DEMAND_CWR;
139*4882a593Smuzhiyun 	else
140*4882a593Smuzhiyun 		tp->ecn_flags &= ~TCP_ECN_DEMAND_CWR;
141*4882a593Smuzhiyun }
142*4882a593Smuzhiyun 
143*4882a593Smuzhiyun /* Minimal DCTP CE state machine:
144*4882a593Smuzhiyun  *
145*4882a593Smuzhiyun  * S:	0 <- last pkt was non-CE
146*4882a593Smuzhiyun  *	1 <- last pkt was CE
147*4882a593Smuzhiyun  */
148*4882a593Smuzhiyun static __always_inline
dctcp_ece_ack_update(struct sock * sk,enum tcp_ca_event evt,__u32 * prior_rcv_nxt,__u32 * ce_state)149*4882a593Smuzhiyun void dctcp_ece_ack_update(struct sock *sk, enum tcp_ca_event evt,
150*4882a593Smuzhiyun 			  __u32 *prior_rcv_nxt, __u32 *ce_state)
151*4882a593Smuzhiyun {
152*4882a593Smuzhiyun 	__u32 new_ce_state = (evt == CA_EVENT_ECN_IS_CE) ? 1 : 0;
153*4882a593Smuzhiyun 
154*4882a593Smuzhiyun 	if (*ce_state != new_ce_state) {
155*4882a593Smuzhiyun 		/* CE state has changed, force an immediate ACK to
156*4882a593Smuzhiyun 		 * reflect the new CE state. If an ACK was delayed,
157*4882a593Smuzhiyun 		 * send that first to reflect the prior CE state.
158*4882a593Smuzhiyun 		 */
159*4882a593Smuzhiyun 		if (inet_csk(sk)->icsk_ack.pending & ICSK_ACK_TIMER) {
160*4882a593Smuzhiyun 			dctcp_ece_ack_cwr(sk, *ce_state);
161*4882a593Smuzhiyun 			bpf_tcp_send_ack(sk, *prior_rcv_nxt);
162*4882a593Smuzhiyun 		}
163*4882a593Smuzhiyun 		inet_csk(sk)->icsk_ack.pending |= ICSK_ACK_NOW;
164*4882a593Smuzhiyun 	}
165*4882a593Smuzhiyun 	*prior_rcv_nxt = tcp_sk(sk)->rcv_nxt;
166*4882a593Smuzhiyun 	*ce_state = new_ce_state;
167*4882a593Smuzhiyun 	dctcp_ece_ack_cwr(sk, new_ce_state);
168*4882a593Smuzhiyun }
169*4882a593Smuzhiyun 
170*4882a593Smuzhiyun SEC("struct_ops/dctcp_cwnd_event")
BPF_PROG(dctcp_cwnd_event,struct sock * sk,enum tcp_ca_event ev)171*4882a593Smuzhiyun void BPF_PROG(dctcp_cwnd_event, struct sock *sk, enum tcp_ca_event ev)
172*4882a593Smuzhiyun {
173*4882a593Smuzhiyun 	struct dctcp *ca = inet_csk_ca(sk);
174*4882a593Smuzhiyun 
175*4882a593Smuzhiyun 	switch (ev) {
176*4882a593Smuzhiyun 	case CA_EVENT_ECN_IS_CE:
177*4882a593Smuzhiyun 	case CA_EVENT_ECN_NO_CE:
178*4882a593Smuzhiyun 		dctcp_ece_ack_update(sk, ev, &ca->prior_rcv_nxt, &ca->ce_state);
179*4882a593Smuzhiyun 		break;
180*4882a593Smuzhiyun 	case CA_EVENT_LOSS:
181*4882a593Smuzhiyun 		dctcp_react_to_loss(sk);
182*4882a593Smuzhiyun 		break;
183*4882a593Smuzhiyun 	default:
184*4882a593Smuzhiyun 		/* Don't care for the rest. */
185*4882a593Smuzhiyun 		break;
186*4882a593Smuzhiyun 	}
187*4882a593Smuzhiyun }
188*4882a593Smuzhiyun 
189*4882a593Smuzhiyun SEC("struct_ops/dctcp_cwnd_undo")
BPF_PROG(dctcp_cwnd_undo,struct sock * sk)190*4882a593Smuzhiyun __u32 BPF_PROG(dctcp_cwnd_undo, struct sock *sk)
191*4882a593Smuzhiyun {
192*4882a593Smuzhiyun 	const struct dctcp *ca = inet_csk_ca(sk);
193*4882a593Smuzhiyun 
194*4882a593Smuzhiyun 	return max(tcp_sk(sk)->snd_cwnd, ca->loss_cwnd);
195*4882a593Smuzhiyun }
196*4882a593Smuzhiyun 
197*4882a593Smuzhiyun SEC("struct_ops/tcp_reno_cong_avoid")
BPF_PROG(tcp_reno_cong_avoid,struct sock * sk,__u32 ack,__u32 acked)198*4882a593Smuzhiyun void BPF_PROG(tcp_reno_cong_avoid, struct sock *sk, __u32 ack, __u32 acked)
199*4882a593Smuzhiyun {
200*4882a593Smuzhiyun 	struct tcp_sock *tp = tcp_sk(sk);
201*4882a593Smuzhiyun 
202*4882a593Smuzhiyun 	if (!tcp_is_cwnd_limited(sk))
203*4882a593Smuzhiyun 		return;
204*4882a593Smuzhiyun 
205*4882a593Smuzhiyun 	/* In "safe" area, increase. */
206*4882a593Smuzhiyun 	if (tcp_in_slow_start(tp)) {
207*4882a593Smuzhiyun 		acked = tcp_slow_start(tp, acked);
208*4882a593Smuzhiyun 		if (!acked)
209*4882a593Smuzhiyun 			return;
210*4882a593Smuzhiyun 	}
211*4882a593Smuzhiyun 	/* In dangerous area, increase slowly. */
212*4882a593Smuzhiyun 	tcp_cong_avoid_ai(tp, tp->snd_cwnd, acked);
213*4882a593Smuzhiyun }
214*4882a593Smuzhiyun 
215*4882a593Smuzhiyun SEC(".struct_ops")
216*4882a593Smuzhiyun struct tcp_congestion_ops dctcp_nouse = {
217*4882a593Smuzhiyun 	.init		= (void *)dctcp_init,
218*4882a593Smuzhiyun 	.set_state	= (void *)dctcp_state,
219*4882a593Smuzhiyun 	.flags		= TCP_CONG_NEEDS_ECN,
220*4882a593Smuzhiyun 	.name		= "bpf_dctcp_nouse",
221*4882a593Smuzhiyun };
222*4882a593Smuzhiyun 
223*4882a593Smuzhiyun SEC(".struct_ops")
224*4882a593Smuzhiyun struct tcp_congestion_ops dctcp = {
225*4882a593Smuzhiyun 	.init		= (void *)dctcp_init,
226*4882a593Smuzhiyun 	.in_ack_event   = (void *)dctcp_update_alpha,
227*4882a593Smuzhiyun 	.cwnd_event	= (void *)dctcp_cwnd_event,
228*4882a593Smuzhiyun 	.ssthresh	= (void *)dctcp_ssthresh,
229*4882a593Smuzhiyun 	.cong_avoid	= (void *)tcp_reno_cong_avoid,
230*4882a593Smuzhiyun 	.undo_cwnd	= (void *)dctcp_cwnd_undo,
231*4882a593Smuzhiyun 	.set_state	= (void *)dctcp_state,
232*4882a593Smuzhiyun 	.flags		= TCP_CONG_NEEDS_ECN,
233*4882a593Smuzhiyun 	.name		= "bpf_dctcp",
234*4882a593Smuzhiyun };
235