xref: /linux/net/ipv4/tcp_bpf.c (revision 0608c69c9a805c6264689d7eab4203eab88cf1da)
1604326b4SDaniel Borkmann // SPDX-License-Identifier: GPL-2.0
2604326b4SDaniel Borkmann /* Copyright (c) 2017 - 2018 Covalent IO, Inc. http://covalent.io */
3604326b4SDaniel Borkmann 
4604326b4SDaniel Borkmann #include <linux/skmsg.h>
5604326b4SDaniel Borkmann #include <linux/filter.h>
6604326b4SDaniel Borkmann #include <linux/bpf.h>
7604326b4SDaniel Borkmann #include <linux/init.h>
8604326b4SDaniel Borkmann #include <linux/wait.h>
9604326b4SDaniel Borkmann 
10604326b4SDaniel Borkmann #include <net/inet_common.h>
11*0608c69cSJohn Fastabend #include <net/tls.h>
12604326b4SDaniel Borkmann 
13604326b4SDaniel Borkmann static bool tcp_bpf_stream_read(const struct sock *sk)
14604326b4SDaniel Borkmann {
15604326b4SDaniel Borkmann 	struct sk_psock *psock;
16604326b4SDaniel Borkmann 	bool empty = true;
17604326b4SDaniel Borkmann 
18604326b4SDaniel Borkmann 	rcu_read_lock();
19604326b4SDaniel Borkmann 	psock = sk_psock(sk);
20604326b4SDaniel Borkmann 	if (likely(psock))
21604326b4SDaniel Borkmann 		empty = list_empty(&psock->ingress_msg);
22604326b4SDaniel Borkmann 	rcu_read_unlock();
23604326b4SDaniel Borkmann 	return !empty;
24604326b4SDaniel Borkmann }
25604326b4SDaniel Borkmann 
26604326b4SDaniel Borkmann static int tcp_bpf_wait_data(struct sock *sk, struct sk_psock *psock,
27604326b4SDaniel Borkmann 			     int flags, long timeo, int *err)
28604326b4SDaniel Borkmann {
29604326b4SDaniel Borkmann 	DEFINE_WAIT_FUNC(wait, woken_wake_function);
30604326b4SDaniel Borkmann 	int ret;
31604326b4SDaniel Borkmann 
32604326b4SDaniel Borkmann 	add_wait_queue(sk_sleep(sk), &wait);
33604326b4SDaniel Borkmann 	sk_set_bit(SOCKWQ_ASYNC_WAITDATA, sk);
34604326b4SDaniel Borkmann 	ret = sk_wait_event(sk, &timeo,
35604326b4SDaniel Borkmann 			    !list_empty(&psock->ingress_msg) ||
36604326b4SDaniel Borkmann 			    !skb_queue_empty(&sk->sk_receive_queue), &wait);
37604326b4SDaniel Borkmann 	sk_clear_bit(SOCKWQ_ASYNC_WAITDATA, sk);
38604326b4SDaniel Borkmann 	remove_wait_queue(sk_sleep(sk), &wait);
39604326b4SDaniel Borkmann 	return ret;
40604326b4SDaniel Borkmann }
41604326b4SDaniel Borkmann 
42604326b4SDaniel Borkmann int __tcp_bpf_recvmsg(struct sock *sk, struct sk_psock *psock,
4302c558b2SJohn Fastabend 		      struct msghdr *msg, int len, int flags)
44604326b4SDaniel Borkmann {
45604326b4SDaniel Borkmann 	struct iov_iter *iter = &msg->msg_iter;
4602c558b2SJohn Fastabend 	int peek = flags & MSG_PEEK;
47604326b4SDaniel Borkmann 	int i, ret, copied = 0;
48604326b4SDaniel Borkmann 	struct sk_msg *msg_rx;
49604326b4SDaniel Borkmann 
50604326b4SDaniel Borkmann 	msg_rx = list_first_entry_or_null(&psock->ingress_msg,
51604326b4SDaniel Borkmann 					  struct sk_msg, list);
5202c558b2SJohn Fastabend 
5302c558b2SJohn Fastabend 	while (copied != len) {
5402c558b2SJohn Fastabend 		struct scatterlist *sge;
5502c558b2SJohn Fastabend 
56604326b4SDaniel Borkmann 		if (unlikely(!msg_rx))
57604326b4SDaniel Borkmann 			break;
58604326b4SDaniel Borkmann 
59604326b4SDaniel Borkmann 		i = msg_rx->sg.start;
60604326b4SDaniel Borkmann 		do {
61604326b4SDaniel Borkmann 			struct page *page;
62604326b4SDaniel Borkmann 			int copy;
63604326b4SDaniel Borkmann 
64604326b4SDaniel Borkmann 			sge = sk_msg_elem(msg_rx, i);
65604326b4SDaniel Borkmann 			copy = sge->length;
66604326b4SDaniel Borkmann 			page = sg_page(sge);
67604326b4SDaniel Borkmann 			if (copied + copy > len)
68604326b4SDaniel Borkmann 				copy = len - copied;
69604326b4SDaniel Borkmann 			ret = copy_page_to_iter(page, sge->offset, copy, iter);
70604326b4SDaniel Borkmann 			if (ret != copy) {
71604326b4SDaniel Borkmann 				msg_rx->sg.start = i;
72604326b4SDaniel Borkmann 				return -EFAULT;
73604326b4SDaniel Borkmann 			}
74604326b4SDaniel Borkmann 
75604326b4SDaniel Borkmann 			copied += copy;
7602c558b2SJohn Fastabend 			if (likely(!peek)) {
77604326b4SDaniel Borkmann 				sge->offset += copy;
78604326b4SDaniel Borkmann 				sge->length -= copy;
79604326b4SDaniel Borkmann 				sk_mem_uncharge(sk, copy);
803f4c3127SJohn Fastabend 				msg_rx->sg.size -= copy;
8102c558b2SJohn Fastabend 
82604326b4SDaniel Borkmann 				if (!sge->length) {
8302c558b2SJohn Fastabend 					sk_msg_iter_var_next(i);
84604326b4SDaniel Borkmann 					if (!msg_rx->skb)
85604326b4SDaniel Borkmann 						put_page(page);
86604326b4SDaniel Borkmann 				}
8702c558b2SJohn Fastabend 			} else {
8802c558b2SJohn Fastabend 				sk_msg_iter_var_next(i);
8902c558b2SJohn Fastabend 			}
90604326b4SDaniel Borkmann 
91604326b4SDaniel Borkmann 			if (copied == len)
92604326b4SDaniel Borkmann 				break;
93604326b4SDaniel Borkmann 		} while (i != msg_rx->sg.end);
94604326b4SDaniel Borkmann 
9502c558b2SJohn Fastabend 		if (unlikely(peek)) {
9602c558b2SJohn Fastabend 			msg_rx = list_next_entry(msg_rx, list);
9702c558b2SJohn Fastabend 			continue;
9802c558b2SJohn Fastabend 		}
9902c558b2SJohn Fastabend 
100604326b4SDaniel Borkmann 		msg_rx->sg.start = i;
101604326b4SDaniel Borkmann 		if (!sge->length && msg_rx->sg.start == msg_rx->sg.end) {
102604326b4SDaniel Borkmann 			list_del(&msg_rx->list);
103604326b4SDaniel Borkmann 			if (msg_rx->skb)
104604326b4SDaniel Borkmann 				consume_skb(msg_rx->skb);
105604326b4SDaniel Borkmann 			kfree(msg_rx);
106604326b4SDaniel Borkmann 		}
10702c558b2SJohn Fastabend 		msg_rx = list_first_entry_or_null(&psock->ingress_msg,
10802c558b2SJohn Fastabend 						  struct sk_msg, list);
109604326b4SDaniel Borkmann 	}
110604326b4SDaniel Borkmann 
111604326b4SDaniel Borkmann 	return copied;
112604326b4SDaniel Borkmann }
113604326b4SDaniel Borkmann EXPORT_SYMBOL_GPL(__tcp_bpf_recvmsg);
114604326b4SDaniel Borkmann 
115604326b4SDaniel Borkmann int tcp_bpf_recvmsg(struct sock *sk, struct msghdr *msg, size_t len,
116604326b4SDaniel Borkmann 		    int nonblock, int flags, int *addr_len)
117604326b4SDaniel Borkmann {
118604326b4SDaniel Borkmann 	struct sk_psock *psock;
119604326b4SDaniel Borkmann 	int copied, ret;
120604326b4SDaniel Borkmann 
121604326b4SDaniel Borkmann 	if (unlikely(flags & MSG_ERRQUEUE))
122604326b4SDaniel Borkmann 		return inet_recv_error(sk, msg, len, addr_len);
123604326b4SDaniel Borkmann 	if (!skb_queue_empty(&sk->sk_receive_queue))
124604326b4SDaniel Borkmann 		return tcp_recvmsg(sk, msg, len, nonblock, flags, addr_len);
125604326b4SDaniel Borkmann 
126604326b4SDaniel Borkmann 	psock = sk_psock_get(sk);
127604326b4SDaniel Borkmann 	if (unlikely(!psock))
128604326b4SDaniel Borkmann 		return tcp_recvmsg(sk, msg, len, nonblock, flags, addr_len);
129604326b4SDaniel Borkmann 	lock_sock(sk);
130604326b4SDaniel Borkmann msg_bytes_ready:
13102c558b2SJohn Fastabend 	copied = __tcp_bpf_recvmsg(sk, psock, msg, len, flags);
132604326b4SDaniel Borkmann 	if (!copied) {
133604326b4SDaniel Borkmann 		int data, err = 0;
134604326b4SDaniel Borkmann 		long timeo;
135604326b4SDaniel Borkmann 
136604326b4SDaniel Borkmann 		timeo = sock_rcvtimeo(sk, nonblock);
137604326b4SDaniel Borkmann 		data = tcp_bpf_wait_data(sk, psock, flags, timeo, &err);
138604326b4SDaniel Borkmann 		if (data) {
139604326b4SDaniel Borkmann 			if (skb_queue_empty(&sk->sk_receive_queue))
140604326b4SDaniel Borkmann 				goto msg_bytes_ready;
141604326b4SDaniel Borkmann 			release_sock(sk);
142604326b4SDaniel Borkmann 			sk_psock_put(sk, psock);
143604326b4SDaniel Borkmann 			return tcp_recvmsg(sk, msg, len, nonblock, flags, addr_len);
144604326b4SDaniel Borkmann 		}
145604326b4SDaniel Borkmann 		if (err) {
146604326b4SDaniel Borkmann 			ret = err;
147604326b4SDaniel Borkmann 			goto out;
148604326b4SDaniel Borkmann 		}
14927b31e68SJohn Fastabend 		copied = -EAGAIN;
150604326b4SDaniel Borkmann 	}
151604326b4SDaniel Borkmann 	ret = copied;
152604326b4SDaniel Borkmann out:
153604326b4SDaniel Borkmann 	release_sock(sk);
154604326b4SDaniel Borkmann 	sk_psock_put(sk, psock);
155604326b4SDaniel Borkmann 	return ret;
156604326b4SDaniel Borkmann }
157604326b4SDaniel Borkmann 
158604326b4SDaniel Borkmann static int bpf_tcp_ingress(struct sock *sk, struct sk_psock *psock,
159604326b4SDaniel Borkmann 			   struct sk_msg *msg, u32 apply_bytes, int flags)
160604326b4SDaniel Borkmann {
161604326b4SDaniel Borkmann 	bool apply = apply_bytes;
162604326b4SDaniel Borkmann 	struct scatterlist *sge;
163604326b4SDaniel Borkmann 	u32 size, copied = 0;
164604326b4SDaniel Borkmann 	struct sk_msg *tmp;
165604326b4SDaniel Borkmann 	int i, ret = 0;
166604326b4SDaniel Borkmann 
167604326b4SDaniel Borkmann 	tmp = kzalloc(sizeof(*tmp), __GFP_NOWARN | GFP_KERNEL);
168604326b4SDaniel Borkmann 	if (unlikely(!tmp))
169604326b4SDaniel Borkmann 		return -ENOMEM;
170604326b4SDaniel Borkmann 
171604326b4SDaniel Borkmann 	lock_sock(sk);
172604326b4SDaniel Borkmann 	tmp->sg.start = msg->sg.start;
173604326b4SDaniel Borkmann 	i = msg->sg.start;
174604326b4SDaniel Borkmann 	do {
175604326b4SDaniel Borkmann 		sge = sk_msg_elem(msg, i);
176604326b4SDaniel Borkmann 		size = (apply && apply_bytes < sge->length) ?
177604326b4SDaniel Borkmann 			apply_bytes : sge->length;
178604326b4SDaniel Borkmann 		if (!sk_wmem_schedule(sk, size)) {
179604326b4SDaniel Borkmann 			if (!copied)
180604326b4SDaniel Borkmann 				ret = -ENOMEM;
181604326b4SDaniel Borkmann 			break;
182604326b4SDaniel Borkmann 		}
183604326b4SDaniel Borkmann 
184604326b4SDaniel Borkmann 		sk_mem_charge(sk, size);
185604326b4SDaniel Borkmann 		sk_msg_xfer(tmp, msg, i, size);
186604326b4SDaniel Borkmann 		copied += size;
187604326b4SDaniel Borkmann 		if (sge->length)
188604326b4SDaniel Borkmann 			get_page(sk_msg_page(tmp, i));
189604326b4SDaniel Borkmann 		sk_msg_iter_var_next(i);
190604326b4SDaniel Borkmann 		tmp->sg.end = i;
191604326b4SDaniel Borkmann 		if (apply) {
192604326b4SDaniel Borkmann 			apply_bytes -= size;
193604326b4SDaniel Borkmann 			if (!apply_bytes)
194604326b4SDaniel Borkmann 				break;
195604326b4SDaniel Borkmann 		}
196604326b4SDaniel Borkmann 	} while (i != msg->sg.end);
197604326b4SDaniel Borkmann 
198604326b4SDaniel Borkmann 	if (!ret) {
199604326b4SDaniel Borkmann 		msg->sg.start = i;
200604326b4SDaniel Borkmann 		msg->sg.size -= apply_bytes;
201604326b4SDaniel Borkmann 		sk_psock_queue_msg(psock, tmp);
202552de910SJohn Fastabend 		sk_psock_data_ready(sk, psock);
203604326b4SDaniel Borkmann 	} else {
204604326b4SDaniel Borkmann 		sk_msg_free(sk, tmp);
205604326b4SDaniel Borkmann 		kfree(tmp);
206604326b4SDaniel Borkmann 	}
207604326b4SDaniel Borkmann 
208604326b4SDaniel Borkmann 	release_sock(sk);
209604326b4SDaniel Borkmann 	return ret;
210604326b4SDaniel Borkmann }
211604326b4SDaniel Borkmann 
212604326b4SDaniel Borkmann static int tcp_bpf_push(struct sock *sk, struct sk_msg *msg, u32 apply_bytes,
213604326b4SDaniel Borkmann 			int flags, bool uncharge)
214604326b4SDaniel Borkmann {
215604326b4SDaniel Borkmann 	bool apply = apply_bytes;
216604326b4SDaniel Borkmann 	struct scatterlist *sge;
217604326b4SDaniel Borkmann 	struct page *page;
218604326b4SDaniel Borkmann 	int size, ret = 0;
219604326b4SDaniel Borkmann 	u32 off;
220604326b4SDaniel Borkmann 
221604326b4SDaniel Borkmann 	while (1) {
222*0608c69cSJohn Fastabend 		bool has_tx_ulp;
223*0608c69cSJohn Fastabend 
224604326b4SDaniel Borkmann 		sge = sk_msg_elem(msg, msg->sg.start);
225604326b4SDaniel Borkmann 		size = (apply && apply_bytes < sge->length) ?
226604326b4SDaniel Borkmann 			apply_bytes : sge->length;
227604326b4SDaniel Borkmann 		off  = sge->offset;
228604326b4SDaniel Borkmann 		page = sg_page(sge);
229604326b4SDaniel Borkmann 
230604326b4SDaniel Borkmann 		tcp_rate_check_app_limited(sk);
231604326b4SDaniel Borkmann retry:
232*0608c69cSJohn Fastabend 		has_tx_ulp = tls_sw_has_ctx_tx(sk);
233*0608c69cSJohn Fastabend 		if (has_tx_ulp) {
234*0608c69cSJohn Fastabend 			flags |= MSG_SENDPAGE_NOPOLICY;
235*0608c69cSJohn Fastabend 			ret = kernel_sendpage_locked(sk,
236*0608c69cSJohn Fastabend 						     page, off, size, flags);
237*0608c69cSJohn Fastabend 		} else {
238604326b4SDaniel Borkmann 			ret = do_tcp_sendpages(sk, page, off, size, flags);
239*0608c69cSJohn Fastabend 		}
240*0608c69cSJohn Fastabend 
241604326b4SDaniel Borkmann 		if (ret <= 0)
242604326b4SDaniel Borkmann 			return ret;
243604326b4SDaniel Borkmann 		if (apply)
244604326b4SDaniel Borkmann 			apply_bytes -= ret;
245604326b4SDaniel Borkmann 		msg->sg.size -= ret;
246604326b4SDaniel Borkmann 		sge->offset += ret;
247604326b4SDaniel Borkmann 		sge->length -= ret;
248604326b4SDaniel Borkmann 		if (uncharge)
249604326b4SDaniel Borkmann 			sk_mem_uncharge(sk, ret);
250604326b4SDaniel Borkmann 		if (ret != size) {
251604326b4SDaniel Borkmann 			size -= ret;
252604326b4SDaniel Borkmann 			off  += ret;
253604326b4SDaniel Borkmann 			goto retry;
254604326b4SDaniel Borkmann 		}
255604326b4SDaniel Borkmann 		if (!sge->length) {
256604326b4SDaniel Borkmann 			put_page(page);
257604326b4SDaniel Borkmann 			sk_msg_iter_next(msg, start);
258604326b4SDaniel Borkmann 			sg_init_table(sge, 1);
259604326b4SDaniel Borkmann 			if (msg->sg.start == msg->sg.end)
260604326b4SDaniel Borkmann 				break;
261604326b4SDaniel Borkmann 		}
262604326b4SDaniel Borkmann 		if (apply && !apply_bytes)
263604326b4SDaniel Borkmann 			break;
264604326b4SDaniel Borkmann 	}
265604326b4SDaniel Borkmann 
266604326b4SDaniel Borkmann 	return 0;
267604326b4SDaniel Borkmann }
268604326b4SDaniel Borkmann 
269604326b4SDaniel Borkmann static int tcp_bpf_push_locked(struct sock *sk, struct sk_msg *msg,
270604326b4SDaniel Borkmann 			       u32 apply_bytes, int flags, bool uncharge)
271604326b4SDaniel Borkmann {
272604326b4SDaniel Borkmann 	int ret;
273604326b4SDaniel Borkmann 
274604326b4SDaniel Borkmann 	lock_sock(sk);
275604326b4SDaniel Borkmann 	ret = tcp_bpf_push(sk, msg, apply_bytes, flags, uncharge);
276604326b4SDaniel Borkmann 	release_sock(sk);
277604326b4SDaniel Borkmann 	return ret;
278604326b4SDaniel Borkmann }
279604326b4SDaniel Borkmann 
280604326b4SDaniel Borkmann int tcp_bpf_sendmsg_redir(struct sock *sk, struct sk_msg *msg,
281604326b4SDaniel Borkmann 			  u32 bytes, int flags)
282604326b4SDaniel Borkmann {
283604326b4SDaniel Borkmann 	bool ingress = sk_msg_to_ingress(msg);
284604326b4SDaniel Borkmann 	struct sk_psock *psock = sk_psock_get(sk);
285604326b4SDaniel Borkmann 	int ret;
286604326b4SDaniel Borkmann 
287604326b4SDaniel Borkmann 	if (unlikely(!psock)) {
288604326b4SDaniel Borkmann 		sk_msg_free(sk, msg);
289604326b4SDaniel Borkmann 		return 0;
290604326b4SDaniel Borkmann 	}
291604326b4SDaniel Borkmann 	ret = ingress ? bpf_tcp_ingress(sk, psock, msg, bytes, flags) :
292604326b4SDaniel Borkmann 			tcp_bpf_push_locked(sk, msg, bytes, flags, false);
293604326b4SDaniel Borkmann 	sk_psock_put(sk, psock);
294604326b4SDaniel Borkmann 	return ret;
295604326b4SDaniel Borkmann }
296604326b4SDaniel Borkmann EXPORT_SYMBOL_GPL(tcp_bpf_sendmsg_redir);
297604326b4SDaniel Borkmann 
298604326b4SDaniel Borkmann static int tcp_bpf_send_verdict(struct sock *sk, struct sk_psock *psock,
299604326b4SDaniel Borkmann 				struct sk_msg *msg, int *copied, int flags)
300604326b4SDaniel Borkmann {
301604326b4SDaniel Borkmann 	bool cork = false, enospc = msg->sg.start == msg->sg.end;
302604326b4SDaniel Borkmann 	struct sock *sk_redir;
3037246d8edSJohn Fastabend 	u32 tosend, delta = 0;
304604326b4SDaniel Borkmann 	int ret;
305604326b4SDaniel Borkmann 
306604326b4SDaniel Borkmann more_data:
3077246d8edSJohn Fastabend 	if (psock->eval == __SK_NONE) {
3087246d8edSJohn Fastabend 		/* Track delta in msg size to add/subtract it on SK_DROP from
3097246d8edSJohn Fastabend 		 * returned to user copied size. This ensures user doesn't
3107246d8edSJohn Fastabend 		 * get a positive return code with msg_cut_data and SK_DROP
3117246d8edSJohn Fastabend 		 * verdict.
3127246d8edSJohn Fastabend 		 */
3137246d8edSJohn Fastabend 		delta = msg->sg.size;
314604326b4SDaniel Borkmann 		psock->eval = sk_psock_msg_verdict(sk, psock, msg);
3157246d8edSJohn Fastabend 		if (msg->sg.size < delta)
3167246d8edSJohn Fastabend 			delta -= msg->sg.size;
3177246d8edSJohn Fastabend 		else
3187246d8edSJohn Fastabend 			delta = 0;
3197246d8edSJohn Fastabend 	}
320604326b4SDaniel Borkmann 
321604326b4SDaniel Borkmann 	if (msg->cork_bytes &&
322604326b4SDaniel Borkmann 	    msg->cork_bytes > msg->sg.size && !enospc) {
323604326b4SDaniel Borkmann 		psock->cork_bytes = msg->cork_bytes - msg->sg.size;
324604326b4SDaniel Borkmann 		if (!psock->cork) {
325604326b4SDaniel Borkmann 			psock->cork = kzalloc(sizeof(*psock->cork),
326604326b4SDaniel Borkmann 					      GFP_ATOMIC | __GFP_NOWARN);
327604326b4SDaniel Borkmann 			if (!psock->cork)
328604326b4SDaniel Borkmann 				return -ENOMEM;
329604326b4SDaniel Borkmann 		}
330604326b4SDaniel Borkmann 		memcpy(psock->cork, msg, sizeof(*msg));
331604326b4SDaniel Borkmann 		return 0;
332604326b4SDaniel Borkmann 	}
333604326b4SDaniel Borkmann 
334604326b4SDaniel Borkmann 	tosend = msg->sg.size;
335604326b4SDaniel Borkmann 	if (psock->apply_bytes && psock->apply_bytes < tosend)
336604326b4SDaniel Borkmann 		tosend = psock->apply_bytes;
337604326b4SDaniel Borkmann 
338604326b4SDaniel Borkmann 	switch (psock->eval) {
339604326b4SDaniel Borkmann 	case __SK_PASS:
340604326b4SDaniel Borkmann 		ret = tcp_bpf_push(sk, msg, tosend, flags, true);
341604326b4SDaniel Borkmann 		if (unlikely(ret)) {
342604326b4SDaniel Borkmann 			*copied -= sk_msg_free(sk, msg);
343604326b4SDaniel Borkmann 			break;
344604326b4SDaniel Borkmann 		}
345604326b4SDaniel Borkmann 		sk_msg_apply_bytes(psock, tosend);
346604326b4SDaniel Borkmann 		break;
347604326b4SDaniel Borkmann 	case __SK_REDIRECT:
348604326b4SDaniel Borkmann 		sk_redir = psock->sk_redir;
349604326b4SDaniel Borkmann 		sk_msg_apply_bytes(psock, tosend);
350604326b4SDaniel Borkmann 		if (psock->cork) {
351604326b4SDaniel Borkmann 			cork = true;
352604326b4SDaniel Borkmann 			psock->cork = NULL;
353604326b4SDaniel Borkmann 		}
354604326b4SDaniel Borkmann 		sk_msg_return(sk, msg, tosend);
355604326b4SDaniel Borkmann 		release_sock(sk);
356604326b4SDaniel Borkmann 		ret = tcp_bpf_sendmsg_redir(sk_redir, msg, tosend, flags);
357604326b4SDaniel Borkmann 		lock_sock(sk);
358604326b4SDaniel Borkmann 		if (unlikely(ret < 0)) {
359604326b4SDaniel Borkmann 			int free = sk_msg_free_nocharge(sk, msg);
360604326b4SDaniel Borkmann 
361604326b4SDaniel Borkmann 			if (!cork)
362604326b4SDaniel Borkmann 				*copied -= free;
363604326b4SDaniel Borkmann 		}
364604326b4SDaniel Borkmann 		if (cork) {
365604326b4SDaniel Borkmann 			sk_msg_free(sk, msg);
366604326b4SDaniel Borkmann 			kfree(msg);
367604326b4SDaniel Borkmann 			msg = NULL;
368604326b4SDaniel Borkmann 			ret = 0;
369604326b4SDaniel Borkmann 		}
370604326b4SDaniel Borkmann 		break;
371604326b4SDaniel Borkmann 	case __SK_DROP:
372604326b4SDaniel Borkmann 	default:
373604326b4SDaniel Borkmann 		sk_msg_free_partial(sk, msg, tosend);
374604326b4SDaniel Borkmann 		sk_msg_apply_bytes(psock, tosend);
3757246d8edSJohn Fastabend 		*copied -= (tosend + delta);
376604326b4SDaniel Borkmann 		return -EACCES;
377604326b4SDaniel Borkmann 	}
378604326b4SDaniel Borkmann 
379604326b4SDaniel Borkmann 	if (likely(!ret)) {
380604326b4SDaniel Borkmann 		if (!psock->apply_bytes) {
381604326b4SDaniel Borkmann 			psock->eval =  __SK_NONE;
382604326b4SDaniel Borkmann 			if (psock->sk_redir) {
383604326b4SDaniel Borkmann 				sock_put(psock->sk_redir);
384604326b4SDaniel Borkmann 				psock->sk_redir = NULL;
385604326b4SDaniel Borkmann 			}
386604326b4SDaniel Borkmann 		}
387604326b4SDaniel Borkmann 		if (msg &&
388604326b4SDaniel Borkmann 		    msg->sg.data[msg->sg.start].page_link &&
389604326b4SDaniel Borkmann 		    msg->sg.data[msg->sg.start].length)
390604326b4SDaniel Borkmann 			goto more_data;
391604326b4SDaniel Borkmann 	}
392604326b4SDaniel Borkmann 	return ret;
393604326b4SDaniel Borkmann }
394604326b4SDaniel Borkmann 
395604326b4SDaniel Borkmann static int tcp_bpf_sendmsg(struct sock *sk, struct msghdr *msg, size_t size)
396604326b4SDaniel Borkmann {
397604326b4SDaniel Borkmann 	struct sk_msg tmp, *msg_tx = NULL;
398604326b4SDaniel Borkmann 	int flags = msg->msg_flags | MSG_NO_SHARED_FRAGS;
399604326b4SDaniel Borkmann 	int copied = 0, err = 0;
400604326b4SDaniel Borkmann 	struct sk_psock *psock;
401604326b4SDaniel Borkmann 	long timeo;
402604326b4SDaniel Borkmann 
403604326b4SDaniel Borkmann 	psock = sk_psock_get(sk);
404604326b4SDaniel Borkmann 	if (unlikely(!psock))
405604326b4SDaniel Borkmann 		return tcp_sendmsg(sk, msg, size);
406604326b4SDaniel Borkmann 
407604326b4SDaniel Borkmann 	lock_sock(sk);
408604326b4SDaniel Borkmann 	timeo = sock_sndtimeo(sk, msg->msg_flags & MSG_DONTWAIT);
409604326b4SDaniel Borkmann 	while (msg_data_left(msg)) {
410604326b4SDaniel Borkmann 		bool enospc = false;
411604326b4SDaniel Borkmann 		u32 copy, osize;
412604326b4SDaniel Borkmann 
413604326b4SDaniel Borkmann 		if (sk->sk_err) {
414604326b4SDaniel Borkmann 			err = -sk->sk_err;
415604326b4SDaniel Borkmann 			goto out_err;
416604326b4SDaniel Borkmann 		}
417604326b4SDaniel Borkmann 
418604326b4SDaniel Borkmann 		copy = msg_data_left(msg);
419604326b4SDaniel Borkmann 		if (!sk_stream_memory_free(sk))
420604326b4SDaniel Borkmann 			goto wait_for_sndbuf;
421604326b4SDaniel Borkmann 		if (psock->cork) {
422604326b4SDaniel Borkmann 			msg_tx = psock->cork;
423604326b4SDaniel Borkmann 		} else {
424604326b4SDaniel Borkmann 			msg_tx = &tmp;
425604326b4SDaniel Borkmann 			sk_msg_init(msg_tx);
426604326b4SDaniel Borkmann 		}
427604326b4SDaniel Borkmann 
428604326b4SDaniel Borkmann 		osize = msg_tx->sg.size;
429604326b4SDaniel Borkmann 		err = sk_msg_alloc(sk, msg_tx, msg_tx->sg.size + copy, msg_tx->sg.end - 1);
430604326b4SDaniel Borkmann 		if (err) {
431604326b4SDaniel Borkmann 			if (err != -ENOSPC)
432604326b4SDaniel Borkmann 				goto wait_for_memory;
433604326b4SDaniel Borkmann 			enospc = true;
434604326b4SDaniel Borkmann 			copy = msg_tx->sg.size - osize;
435604326b4SDaniel Borkmann 		}
436604326b4SDaniel Borkmann 
437604326b4SDaniel Borkmann 		err = sk_msg_memcopy_from_iter(sk, &msg->msg_iter, msg_tx,
438604326b4SDaniel Borkmann 					       copy);
439604326b4SDaniel Borkmann 		if (err < 0) {
440604326b4SDaniel Borkmann 			sk_msg_trim(sk, msg_tx, osize);
441604326b4SDaniel Borkmann 			goto out_err;
442604326b4SDaniel Borkmann 		}
443604326b4SDaniel Borkmann 
444604326b4SDaniel Borkmann 		copied += copy;
445604326b4SDaniel Borkmann 		if (psock->cork_bytes) {
446604326b4SDaniel Borkmann 			if (size > psock->cork_bytes)
447604326b4SDaniel Borkmann 				psock->cork_bytes = 0;
448604326b4SDaniel Borkmann 			else
449604326b4SDaniel Borkmann 				psock->cork_bytes -= size;
450604326b4SDaniel Borkmann 			if (psock->cork_bytes && !enospc)
451604326b4SDaniel Borkmann 				goto out_err;
452604326b4SDaniel Borkmann 			/* All cork bytes are accounted, rerun the prog. */
453604326b4SDaniel Borkmann 			psock->eval = __SK_NONE;
454604326b4SDaniel Borkmann 			psock->cork_bytes = 0;
455604326b4SDaniel Borkmann 		}
456604326b4SDaniel Borkmann 
457604326b4SDaniel Borkmann 		err = tcp_bpf_send_verdict(sk, psock, msg_tx, &copied, flags);
458604326b4SDaniel Borkmann 		if (unlikely(err < 0))
459604326b4SDaniel Borkmann 			goto out_err;
460604326b4SDaniel Borkmann 		continue;
461604326b4SDaniel Borkmann wait_for_sndbuf:
462604326b4SDaniel Borkmann 		set_bit(SOCK_NOSPACE, &sk->sk_socket->flags);
463604326b4SDaniel Borkmann wait_for_memory:
464604326b4SDaniel Borkmann 		err = sk_stream_wait_memory(sk, &timeo);
465604326b4SDaniel Borkmann 		if (err) {
466604326b4SDaniel Borkmann 			if (msg_tx && msg_tx != psock->cork)
467604326b4SDaniel Borkmann 				sk_msg_free(sk, msg_tx);
468604326b4SDaniel Borkmann 			goto out_err;
469604326b4SDaniel Borkmann 		}
470604326b4SDaniel Borkmann 	}
471604326b4SDaniel Borkmann out_err:
472604326b4SDaniel Borkmann 	if (err < 0)
473604326b4SDaniel Borkmann 		err = sk_stream_error(sk, msg->msg_flags, err);
474604326b4SDaniel Borkmann 	release_sock(sk);
475604326b4SDaniel Borkmann 	sk_psock_put(sk, psock);
476604326b4SDaniel Borkmann 	return copied ? copied : err;
477604326b4SDaniel Borkmann }
478604326b4SDaniel Borkmann 
479604326b4SDaniel Borkmann static int tcp_bpf_sendpage(struct sock *sk, struct page *page, int offset,
480604326b4SDaniel Borkmann 			    size_t size, int flags)
481604326b4SDaniel Borkmann {
482604326b4SDaniel Borkmann 	struct sk_msg tmp, *msg = NULL;
483604326b4SDaniel Borkmann 	int err = 0, copied = 0;
484604326b4SDaniel Borkmann 	struct sk_psock *psock;
485604326b4SDaniel Borkmann 	bool enospc = false;
486604326b4SDaniel Borkmann 
487604326b4SDaniel Borkmann 	psock = sk_psock_get(sk);
488604326b4SDaniel Borkmann 	if (unlikely(!psock))
489604326b4SDaniel Borkmann 		return tcp_sendpage(sk, page, offset, size, flags);
490604326b4SDaniel Borkmann 
491604326b4SDaniel Borkmann 	lock_sock(sk);
492604326b4SDaniel Borkmann 	if (psock->cork) {
493604326b4SDaniel Borkmann 		msg = psock->cork;
494604326b4SDaniel Borkmann 	} else {
495604326b4SDaniel Borkmann 		msg = &tmp;
496604326b4SDaniel Borkmann 		sk_msg_init(msg);
497604326b4SDaniel Borkmann 	}
498604326b4SDaniel Borkmann 
499604326b4SDaniel Borkmann 	/* Catch case where ring is full and sendpage is stalled. */
500604326b4SDaniel Borkmann 	if (unlikely(sk_msg_full(msg)))
501604326b4SDaniel Borkmann 		goto out_err;
502604326b4SDaniel Borkmann 
503604326b4SDaniel Borkmann 	sk_msg_page_add(msg, page, size, offset);
504604326b4SDaniel Borkmann 	sk_mem_charge(sk, size);
505604326b4SDaniel Borkmann 	copied = size;
506604326b4SDaniel Borkmann 	if (sk_msg_full(msg))
507604326b4SDaniel Borkmann 		enospc = true;
508604326b4SDaniel Borkmann 	if (psock->cork_bytes) {
509604326b4SDaniel Borkmann 		if (size > psock->cork_bytes)
510604326b4SDaniel Borkmann 			psock->cork_bytes = 0;
511604326b4SDaniel Borkmann 		else
512604326b4SDaniel Borkmann 			psock->cork_bytes -= size;
513604326b4SDaniel Borkmann 		if (psock->cork_bytes && !enospc)
514604326b4SDaniel Borkmann 			goto out_err;
515604326b4SDaniel Borkmann 		/* All cork bytes are accounted, rerun the prog. */
516604326b4SDaniel Borkmann 		psock->eval = __SK_NONE;
517604326b4SDaniel Borkmann 		psock->cork_bytes = 0;
518604326b4SDaniel Borkmann 	}
519604326b4SDaniel Borkmann 
520604326b4SDaniel Borkmann 	err = tcp_bpf_send_verdict(sk, psock, msg, &copied, flags);
521604326b4SDaniel Borkmann out_err:
522604326b4SDaniel Borkmann 	release_sock(sk);
523604326b4SDaniel Borkmann 	sk_psock_put(sk, psock);
524604326b4SDaniel Borkmann 	return copied ? copied : err;
525604326b4SDaniel Borkmann }
526604326b4SDaniel Borkmann 
527604326b4SDaniel Borkmann static void tcp_bpf_remove(struct sock *sk, struct sk_psock *psock)
528604326b4SDaniel Borkmann {
529604326b4SDaniel Borkmann 	struct sk_psock_link *link;
530604326b4SDaniel Borkmann 
531604326b4SDaniel Borkmann 	sk_psock_cork_free(psock);
532604326b4SDaniel Borkmann 	__sk_psock_purge_ingress_msg(psock);
533604326b4SDaniel Borkmann 	while ((link = sk_psock_link_pop(psock))) {
534604326b4SDaniel Borkmann 		sk_psock_unlink(sk, link);
535604326b4SDaniel Borkmann 		sk_psock_free_link(link);
536604326b4SDaniel Borkmann 	}
537604326b4SDaniel Borkmann }
538604326b4SDaniel Borkmann 
539604326b4SDaniel Borkmann static void tcp_bpf_unhash(struct sock *sk)
540604326b4SDaniel Borkmann {
541604326b4SDaniel Borkmann 	void (*saved_unhash)(struct sock *sk);
542604326b4SDaniel Borkmann 	struct sk_psock *psock;
543604326b4SDaniel Borkmann 
544604326b4SDaniel Borkmann 	rcu_read_lock();
545604326b4SDaniel Borkmann 	psock = sk_psock(sk);
546604326b4SDaniel Borkmann 	if (unlikely(!psock)) {
547604326b4SDaniel Borkmann 		rcu_read_unlock();
548604326b4SDaniel Borkmann 		if (sk->sk_prot->unhash)
549604326b4SDaniel Borkmann 			sk->sk_prot->unhash(sk);
550604326b4SDaniel Borkmann 		return;
551604326b4SDaniel Borkmann 	}
552604326b4SDaniel Borkmann 
553604326b4SDaniel Borkmann 	saved_unhash = psock->saved_unhash;
554604326b4SDaniel Borkmann 	tcp_bpf_remove(sk, psock);
555604326b4SDaniel Borkmann 	rcu_read_unlock();
556604326b4SDaniel Borkmann 	saved_unhash(sk);
557604326b4SDaniel Borkmann }
558604326b4SDaniel Borkmann 
559604326b4SDaniel Borkmann static void tcp_bpf_close(struct sock *sk, long timeout)
560604326b4SDaniel Borkmann {
561604326b4SDaniel Borkmann 	void (*saved_close)(struct sock *sk, long timeout);
562604326b4SDaniel Borkmann 	struct sk_psock *psock;
563604326b4SDaniel Borkmann 
564604326b4SDaniel Borkmann 	lock_sock(sk);
565604326b4SDaniel Borkmann 	rcu_read_lock();
566604326b4SDaniel Borkmann 	psock = sk_psock(sk);
567604326b4SDaniel Borkmann 	if (unlikely(!psock)) {
568604326b4SDaniel Borkmann 		rcu_read_unlock();
569604326b4SDaniel Borkmann 		release_sock(sk);
570604326b4SDaniel Borkmann 		return sk->sk_prot->close(sk, timeout);
571604326b4SDaniel Borkmann 	}
572604326b4SDaniel Borkmann 
573604326b4SDaniel Borkmann 	saved_close = psock->saved_close;
574604326b4SDaniel Borkmann 	tcp_bpf_remove(sk, psock);
575604326b4SDaniel Borkmann 	rcu_read_unlock();
576604326b4SDaniel Borkmann 	release_sock(sk);
577604326b4SDaniel Borkmann 	saved_close(sk, timeout);
578604326b4SDaniel Borkmann }
579604326b4SDaniel Borkmann 
580604326b4SDaniel Borkmann enum {
581604326b4SDaniel Borkmann 	TCP_BPF_IPV4,
582604326b4SDaniel Borkmann 	TCP_BPF_IPV6,
583604326b4SDaniel Borkmann 	TCP_BPF_NUM_PROTS,
584604326b4SDaniel Borkmann };
585604326b4SDaniel Borkmann 
586604326b4SDaniel Borkmann enum {
587604326b4SDaniel Borkmann 	TCP_BPF_BASE,
588604326b4SDaniel Borkmann 	TCP_BPF_TX,
589604326b4SDaniel Borkmann 	TCP_BPF_NUM_CFGS,
590604326b4SDaniel Borkmann };
591604326b4SDaniel Borkmann 
592604326b4SDaniel Borkmann static struct proto *tcpv6_prot_saved __read_mostly;
593604326b4SDaniel Borkmann static DEFINE_SPINLOCK(tcpv6_prot_lock);
594604326b4SDaniel Borkmann static struct proto tcp_bpf_prots[TCP_BPF_NUM_PROTS][TCP_BPF_NUM_CFGS];
595604326b4SDaniel Borkmann 
596604326b4SDaniel Borkmann static void tcp_bpf_rebuild_protos(struct proto prot[TCP_BPF_NUM_CFGS],
597604326b4SDaniel Borkmann 				   struct proto *base)
598604326b4SDaniel Borkmann {
599604326b4SDaniel Borkmann 	prot[TCP_BPF_BASE]			= *base;
600604326b4SDaniel Borkmann 	prot[TCP_BPF_BASE].unhash		= tcp_bpf_unhash;
601604326b4SDaniel Borkmann 	prot[TCP_BPF_BASE].close		= tcp_bpf_close;
602604326b4SDaniel Borkmann 	prot[TCP_BPF_BASE].recvmsg		= tcp_bpf_recvmsg;
603604326b4SDaniel Borkmann 	prot[TCP_BPF_BASE].stream_memory_read	= tcp_bpf_stream_read;
604604326b4SDaniel Borkmann 
605604326b4SDaniel Borkmann 	prot[TCP_BPF_TX]			= prot[TCP_BPF_BASE];
606604326b4SDaniel Borkmann 	prot[TCP_BPF_TX].sendmsg		= tcp_bpf_sendmsg;
607604326b4SDaniel Borkmann 	prot[TCP_BPF_TX].sendpage		= tcp_bpf_sendpage;
608604326b4SDaniel Borkmann }
609604326b4SDaniel Borkmann 
610604326b4SDaniel Borkmann static void tcp_bpf_check_v6_needs_rebuild(struct sock *sk, struct proto *ops)
611604326b4SDaniel Borkmann {
612604326b4SDaniel Borkmann 	if (sk->sk_family == AF_INET6 &&
613604326b4SDaniel Borkmann 	    unlikely(ops != smp_load_acquire(&tcpv6_prot_saved))) {
614604326b4SDaniel Borkmann 		spin_lock_bh(&tcpv6_prot_lock);
615604326b4SDaniel Borkmann 		if (likely(ops != tcpv6_prot_saved)) {
616604326b4SDaniel Borkmann 			tcp_bpf_rebuild_protos(tcp_bpf_prots[TCP_BPF_IPV6], ops);
617604326b4SDaniel Borkmann 			smp_store_release(&tcpv6_prot_saved, ops);
618604326b4SDaniel Borkmann 		}
619604326b4SDaniel Borkmann 		spin_unlock_bh(&tcpv6_prot_lock);
620604326b4SDaniel Borkmann 	}
621604326b4SDaniel Borkmann }
622604326b4SDaniel Borkmann 
623604326b4SDaniel Borkmann static int __init tcp_bpf_v4_build_proto(void)
624604326b4SDaniel Borkmann {
625604326b4SDaniel Borkmann 	tcp_bpf_rebuild_protos(tcp_bpf_prots[TCP_BPF_IPV4], &tcp_prot);
626604326b4SDaniel Borkmann 	return 0;
627604326b4SDaniel Borkmann }
628604326b4SDaniel Borkmann core_initcall(tcp_bpf_v4_build_proto);
629604326b4SDaniel Borkmann 
630604326b4SDaniel Borkmann static void tcp_bpf_update_sk_prot(struct sock *sk, struct sk_psock *psock)
631604326b4SDaniel Borkmann {
632604326b4SDaniel Borkmann 	int family = sk->sk_family == AF_INET6 ? TCP_BPF_IPV6 : TCP_BPF_IPV4;
633604326b4SDaniel Borkmann 	int config = psock->progs.msg_parser   ? TCP_BPF_TX   : TCP_BPF_BASE;
634604326b4SDaniel Borkmann 
635604326b4SDaniel Borkmann 	sk_psock_update_proto(sk, psock, &tcp_bpf_prots[family][config]);
636604326b4SDaniel Borkmann }
637604326b4SDaniel Borkmann 
638604326b4SDaniel Borkmann static void tcp_bpf_reinit_sk_prot(struct sock *sk, struct sk_psock *psock)
639604326b4SDaniel Borkmann {
640604326b4SDaniel Borkmann 	int family = sk->sk_family == AF_INET6 ? TCP_BPF_IPV6 : TCP_BPF_IPV4;
641604326b4SDaniel Borkmann 	int config = psock->progs.msg_parser   ? TCP_BPF_TX   : TCP_BPF_BASE;
642604326b4SDaniel Borkmann 
643604326b4SDaniel Borkmann 	/* Reinit occurs when program types change e.g. TCP_BPF_TX is removed
644604326b4SDaniel Borkmann 	 * or added requiring sk_prot hook updates. We keep original saved
645604326b4SDaniel Borkmann 	 * hooks in this case.
646604326b4SDaniel Borkmann 	 */
647604326b4SDaniel Borkmann 	sk->sk_prot = &tcp_bpf_prots[family][config];
648604326b4SDaniel Borkmann }
649604326b4SDaniel Borkmann 
650604326b4SDaniel Borkmann static int tcp_bpf_assert_proto_ops(struct proto *ops)
651604326b4SDaniel Borkmann {
652604326b4SDaniel Borkmann 	/* In order to avoid retpoline, we make assumptions when we call
653604326b4SDaniel Borkmann 	 * into ops if e.g. a psock is not present. Make sure they are
654604326b4SDaniel Borkmann 	 * indeed valid assumptions.
655604326b4SDaniel Borkmann 	 */
656604326b4SDaniel Borkmann 	return ops->recvmsg  == tcp_recvmsg &&
657604326b4SDaniel Borkmann 	       ops->sendmsg  == tcp_sendmsg &&
658604326b4SDaniel Borkmann 	       ops->sendpage == tcp_sendpage ? 0 : -ENOTSUPP;
659604326b4SDaniel Borkmann }
660604326b4SDaniel Borkmann 
661604326b4SDaniel Borkmann void tcp_bpf_reinit(struct sock *sk)
662604326b4SDaniel Borkmann {
663604326b4SDaniel Borkmann 	struct sk_psock *psock;
664604326b4SDaniel Borkmann 
665604326b4SDaniel Borkmann 	sock_owned_by_me(sk);
666604326b4SDaniel Borkmann 
667604326b4SDaniel Borkmann 	rcu_read_lock();
668604326b4SDaniel Borkmann 	psock = sk_psock(sk);
669604326b4SDaniel Borkmann 	tcp_bpf_reinit_sk_prot(sk, psock);
670604326b4SDaniel Borkmann 	rcu_read_unlock();
671604326b4SDaniel Borkmann }
672604326b4SDaniel Borkmann 
673604326b4SDaniel Borkmann int tcp_bpf_init(struct sock *sk)
674604326b4SDaniel Borkmann {
675604326b4SDaniel Borkmann 	struct proto *ops = READ_ONCE(sk->sk_prot);
676604326b4SDaniel Borkmann 	struct sk_psock *psock;
677604326b4SDaniel Borkmann 
678604326b4SDaniel Borkmann 	sock_owned_by_me(sk);
679604326b4SDaniel Borkmann 
680604326b4SDaniel Borkmann 	rcu_read_lock();
681604326b4SDaniel Borkmann 	psock = sk_psock(sk);
682604326b4SDaniel Borkmann 	if (unlikely(!psock || psock->sk_proto ||
683604326b4SDaniel Borkmann 		     tcp_bpf_assert_proto_ops(ops))) {
684604326b4SDaniel Borkmann 		rcu_read_unlock();
685604326b4SDaniel Borkmann 		return -EINVAL;
686604326b4SDaniel Borkmann 	}
687604326b4SDaniel Borkmann 	tcp_bpf_check_v6_needs_rebuild(sk, ops);
688604326b4SDaniel Borkmann 	tcp_bpf_update_sk_prot(sk, psock);
689604326b4SDaniel Borkmann 	rcu_read_unlock();
690604326b4SDaniel Borkmann 	return 0;
691604326b4SDaniel Borkmann }
692