Loading...
1// SPDX-License-Identifier: GPL-2.0
2/* Copyright (c) 2017 - 2018 Covalent IO, Inc. http://covalent.io */
3
4#include <linux/skmsg.h>
5#include <linux/filter.h>
6#include <linux/bpf.h>
7#include <linux/init.h>
8#include <linux/wait.h>
9#include <linux/util_macros.h>
10
11#include <net/inet_common.h>
12#include <net/tls.h>
13
14void tcp_eat_skb(struct sock *sk, struct sk_buff *skb)
15{
16 struct tcp_sock *tcp;
17 int copied;
18
19 if (!skb || !skb->len || !sk_is_tcp(sk))
20 return;
21
22 if (skb_bpf_strparser(skb))
23 return;
24
25 tcp = tcp_sk(sk);
26 copied = tcp->copied_seq + skb->len;
27 WRITE_ONCE(tcp->copied_seq, copied);
28 tcp_rcv_space_adjust(sk);
29 __tcp_cleanup_rbuf(sk, skb->len);
30}
31
32static int bpf_tcp_ingress(struct sock *sk, struct sk_psock *psock,
33 struct sk_msg *msg, u32 apply_bytes)
34{
35 bool apply = apply_bytes;
36 struct scatterlist *sge;
37 u32 size, copied = 0;
38 struct sk_msg *tmp;
39 int i, ret = 0;
40
41 tmp = kzalloc(sizeof(*tmp), __GFP_NOWARN | GFP_KERNEL);
42 if (unlikely(!tmp))
43 return -ENOMEM;
44
45 lock_sock(sk);
46 tmp->sg.start = msg->sg.start;
47 i = msg->sg.start;
48 do {
49 sge = sk_msg_elem(msg, i);
50 size = (apply && apply_bytes < sge->length) ?
51 apply_bytes : sge->length;
52 if (!__sk_rmem_schedule(sk, size, false)) {
53 if (!copied)
54 ret = -ENOMEM;
55 break;
56 }
57
58 sk_mem_charge(sk, size);
59 atomic_add(size, &sk->sk_rmem_alloc);
60 sk_msg_xfer(tmp, msg, i, size);
61 copied += size;
62 if (sge->length)
63 get_page(sk_msg_page(tmp, i));
64 sk_msg_iter_var_next(i);
65 tmp->sg.end = i;
66 if (apply) {
67 apply_bytes -= size;
68 if (!apply_bytes) {
69 if (sge->length)
70 sk_msg_iter_var_prev(i);
71 break;
72 }
73 }
74 } while (i != msg->sg.end);
75
76 if (!ret) {
77 msg->sg.start = i;
78 if (!sk_psock_queue_msg(psock, tmp))
79 atomic_sub(copied, &sk->sk_rmem_alloc);
80 sk_psock_data_ready(sk, psock);
81 } else {
82 sk_msg_free(sk, tmp);
83 kfree(tmp);
84 }
85
86 release_sock(sk);
87 return ret;
88}
89
90static int tcp_bpf_push(struct sock *sk, struct sk_msg *msg, u32 apply_bytes,
91 int flags, bool uncharge)
92{
93 struct msghdr msghdr = {};
94 bool apply = apply_bytes;
95 struct scatterlist *sge;
96 struct page *page;
97 int size, ret = 0;
98 u32 off;
99
100 while (1) {
101 struct bio_vec bvec;
102 bool has_tx_ulp;
103
104 sge = sk_msg_elem(msg, msg->sg.start);
105 size = (apply && apply_bytes < sge->length) ?
106 apply_bytes : sge->length;
107 off = sge->offset;
108 page = sg_page(sge);
109
110 tcp_rate_check_app_limited(sk);
111retry:
112 msghdr.msg_flags = flags | MSG_SPLICE_PAGES;
113 has_tx_ulp = tls_sw_has_ctx_tx(sk);
114 if (has_tx_ulp)
115 msghdr.msg_flags |= MSG_SENDPAGE_NOPOLICY;
116
117 if (size < sge->length && msg->sg.start != msg->sg.end)
118 msghdr.msg_flags |= MSG_MORE;
119
120 bvec_set_page(&bvec, page, size, off);
121 iov_iter_bvec(&msghdr.msg_iter, ITER_SOURCE, &bvec, 1, size);
122 ret = tcp_sendmsg_locked(sk, &msghdr, size);
123 if (ret <= 0)
124 return ret;
125
126 if (apply)
127 apply_bytes -= ret;
128 msg->sg.size -= ret;
129 sge->offset += ret;
130 sge->length -= ret;
131 if (uncharge)
132 sk_mem_uncharge(sk, ret);
133 if (ret != size) {
134 size -= ret;
135 off += ret;
136 goto retry;
137 }
138 if (!sge->length) {
139 put_page(page);
140 sk_msg_iter_next(msg, start);
141 sg_init_table(sge, 1);
142 if (msg->sg.start == msg->sg.end)
143 break;
144 }
145 if (apply && !apply_bytes)
146 break;
147 }
148
149 return 0;
150}
151
152static int tcp_bpf_push_locked(struct sock *sk, struct sk_msg *msg,
153 u32 apply_bytes, int flags, bool uncharge)
154{
155 int ret;
156
157 lock_sock(sk);
158 ret = tcp_bpf_push(sk, msg, apply_bytes, flags, uncharge);
159 release_sock(sk);
160 return ret;
161}
162
163int tcp_bpf_sendmsg_redir(struct sock *sk, bool ingress,
164 struct sk_msg *msg, u32 bytes, int flags)
165{
166 struct sk_psock *psock = sk_psock_get(sk);
167 int ret;
168
169 if (unlikely(!psock))
170 return -EPIPE;
171
172 ret = ingress ? bpf_tcp_ingress(sk, psock, msg, bytes) :
173 tcp_bpf_push_locked(sk, msg, bytes, flags, false);
174 sk_psock_put(sk, psock);
175 return ret;
176}
177EXPORT_SYMBOL_GPL(tcp_bpf_sendmsg_redir);
178
179#ifdef CONFIG_BPF_SYSCALL
180static int tcp_msg_wait_data(struct sock *sk, struct sk_psock *psock,
181 long timeo)
182{
183 DEFINE_WAIT_FUNC(wait, woken_wake_function);
184 int ret = 0;
185
186 if (sk->sk_shutdown & RCV_SHUTDOWN)
187 return 1;
188
189 if (!timeo)
190 return ret;
191
192 add_wait_queue(sk_sleep(sk), &wait);
193 sk_set_bit(SOCKWQ_ASYNC_WAITDATA, sk);
194 ret = sk_wait_event(sk, &timeo,
195 !list_empty(&psock->ingress_msg) ||
196 !skb_queue_empty_lockless(&sk->sk_receive_queue), &wait);
197 sk_clear_bit(SOCKWQ_ASYNC_WAITDATA, sk);
198 remove_wait_queue(sk_sleep(sk), &wait);
199 return ret;
200}
201
202static bool is_next_msg_fin(struct sk_psock *psock)
203{
204 struct scatterlist *sge;
205 struct sk_msg *msg_rx;
206 int i;
207
208 msg_rx = sk_psock_peek_msg(psock);
209 i = msg_rx->sg.start;
210 sge = sk_msg_elem(msg_rx, i);
211 if (!sge->length) {
212 struct sk_buff *skb = msg_rx->skb;
213
214 if (skb && TCP_SKB_CB(skb)->tcp_flags & TCPHDR_FIN)
215 return true;
216 }
217 return false;
218}
219
220static int tcp_bpf_recvmsg_parser(struct sock *sk,
221 struct msghdr *msg,
222 size_t len,
223 int flags,
224 int *addr_len)
225{
226 int peek = flags & MSG_PEEK;
227 struct sk_psock *psock;
228 struct tcp_sock *tcp;
229 int copied = 0;
230 u32 seq;
231
232 if (unlikely(flags & MSG_ERRQUEUE))
233 return inet_recv_error(sk, msg, len, addr_len);
234
235 if (!len)
236 return 0;
237
238 psock = sk_psock_get(sk);
239 if (unlikely(!psock))
240 return tcp_recvmsg(sk, msg, len, flags, addr_len);
241
242 lock_sock(sk);
243 tcp = tcp_sk(sk);
244 seq = tcp->copied_seq;
245 /* We may have received data on the sk_receive_queue pre-accept and
246 * then we can not use read_skb in this context because we haven't
247 * assigned a sk_socket yet so have no link to the ops. The work-around
248 * is to check the sk_receive_queue and in these cases read skbs off
249 * queue again. The read_skb hook is not running at this point because
250 * of lock_sock so we avoid having multiple runners in read_skb.
251 */
252 if (unlikely(!skb_queue_empty(&sk->sk_receive_queue))) {
253 tcp_data_ready(sk);
254 /* This handles the ENOMEM errors if we both receive data
255 * pre accept and are already under memory pressure. At least
256 * let user know to retry.
257 */
258 if (unlikely(!skb_queue_empty(&sk->sk_receive_queue))) {
259 copied = -EAGAIN;
260 goto out;
261 }
262 }
263
264msg_bytes_ready:
265 copied = sk_msg_recvmsg(sk, psock, msg, len, flags);
266 /* The typical case for EFAULT is the socket was gracefully
267 * shutdown with a FIN pkt. So check here the other case is
268 * some error on copy_page_to_iter which would be unexpected.
269 * On fin return correct return code to zero.
270 */
271 if (copied == -EFAULT) {
272 bool is_fin = is_next_msg_fin(psock);
273
274 if (is_fin) {
275 copied = 0;
276 seq++;
277 goto out;
278 }
279 }
280 seq += copied;
281 if (!copied) {
282 long timeo;
283 int data;
284
285 if (sock_flag(sk, SOCK_DONE))
286 goto out;
287
288 if (sk->sk_err) {
289 copied = sock_error(sk);
290 goto out;
291 }
292
293 if (sk->sk_shutdown & RCV_SHUTDOWN)
294 goto out;
295
296 if (sk->sk_state == TCP_CLOSE) {
297 copied = -ENOTCONN;
298 goto out;
299 }
300
301 timeo = sock_rcvtimeo(sk, flags & MSG_DONTWAIT);
302 if (!timeo) {
303 copied = -EAGAIN;
304 goto out;
305 }
306
307 if (signal_pending(current)) {
308 copied = sock_intr_errno(timeo);
309 goto out;
310 }
311
312 data = tcp_msg_wait_data(sk, psock, timeo);
313 if (data < 0) {
314 copied = data;
315 goto unlock;
316 }
317 if (data && !sk_psock_queue_empty(psock))
318 goto msg_bytes_ready;
319 copied = -EAGAIN;
320 }
321out:
322 if (!peek)
323 WRITE_ONCE(tcp->copied_seq, seq);
324 tcp_rcv_space_adjust(sk);
325 if (copied > 0)
326 __tcp_cleanup_rbuf(sk, copied);
327
328unlock:
329 release_sock(sk);
330 sk_psock_put(sk, psock);
331 return copied;
332}
333
334static int tcp_bpf_recvmsg(struct sock *sk, struct msghdr *msg, size_t len,
335 int flags, int *addr_len)
336{
337 struct sk_psock *psock;
338 int copied, ret;
339
340 if (unlikely(flags & MSG_ERRQUEUE))
341 return inet_recv_error(sk, msg, len, addr_len);
342
343 if (!len)
344 return 0;
345
346 psock = sk_psock_get(sk);
347 if (unlikely(!psock))
348 return tcp_recvmsg(sk, msg, len, flags, addr_len);
349 if (!skb_queue_empty(&sk->sk_receive_queue) &&
350 sk_psock_queue_empty(psock)) {
351 sk_psock_put(sk, psock);
352 return tcp_recvmsg(sk, msg, len, flags, addr_len);
353 }
354 lock_sock(sk);
355msg_bytes_ready:
356 copied = sk_msg_recvmsg(sk, psock, msg, len, flags);
357 if (!copied) {
358 long timeo;
359 int data;
360
361 timeo = sock_rcvtimeo(sk, flags & MSG_DONTWAIT);
362 data = tcp_msg_wait_data(sk, psock, timeo);
363 if (data < 0) {
364 ret = data;
365 goto unlock;
366 }
367 if (data) {
368 if (!sk_psock_queue_empty(psock))
369 goto msg_bytes_ready;
370 release_sock(sk);
371 sk_psock_put(sk, psock);
372 return tcp_recvmsg(sk, msg, len, flags, addr_len);
373 }
374 copied = -EAGAIN;
375 }
376 ret = copied;
377
378unlock:
379 release_sock(sk);
380 sk_psock_put(sk, psock);
381 return ret;
382}
383
384static int tcp_bpf_send_verdict(struct sock *sk, struct sk_psock *psock,
385 struct sk_msg *msg, int *copied, int flags)
386{
387 bool cork = false, enospc = sk_msg_full(msg), redir_ingress;
388 struct sock *sk_redir;
389 u32 tosend, origsize, sent, delta = 0;
390 u32 eval;
391 int ret;
392
393more_data:
394 if (psock->eval == __SK_NONE) {
395 /* Track delta in msg size to add/subtract it on SK_DROP from
396 * returned to user copied size. This ensures user doesn't
397 * get a positive return code with msg_cut_data and SK_DROP
398 * verdict.
399 */
400 delta = msg->sg.size;
401 psock->eval = sk_psock_msg_verdict(sk, psock, msg);
402 delta -= msg->sg.size;
403 }
404
405 if (msg->cork_bytes &&
406 msg->cork_bytes > msg->sg.size && !enospc) {
407 psock->cork_bytes = msg->cork_bytes - msg->sg.size;
408 if (!psock->cork) {
409 psock->cork = kzalloc(sizeof(*psock->cork),
410 GFP_ATOMIC | __GFP_NOWARN);
411 if (!psock->cork)
412 return -ENOMEM;
413 }
414 memcpy(psock->cork, msg, sizeof(*msg));
415 return 0;
416 }
417
418 tosend = msg->sg.size;
419 if (psock->apply_bytes && psock->apply_bytes < tosend)
420 tosend = psock->apply_bytes;
421 eval = __SK_NONE;
422
423 switch (psock->eval) {
424 case __SK_PASS:
425 ret = tcp_bpf_push(sk, msg, tosend, flags, true);
426 if (unlikely(ret)) {
427 *copied -= sk_msg_free(sk, msg);
428 break;
429 }
430 sk_msg_apply_bytes(psock, tosend);
431 break;
432 case __SK_REDIRECT:
433 redir_ingress = psock->redir_ingress;
434 sk_redir = psock->sk_redir;
435 sk_msg_apply_bytes(psock, tosend);
436 if (!psock->apply_bytes) {
437 /* Clean up before releasing the sock lock. */
438 eval = psock->eval;
439 psock->eval = __SK_NONE;
440 psock->sk_redir = NULL;
441 }
442 if (psock->cork) {
443 cork = true;
444 psock->cork = NULL;
445 }
446 release_sock(sk);
447
448 origsize = msg->sg.size;
449 ret = tcp_bpf_sendmsg_redir(sk_redir, redir_ingress,
450 msg, tosend, flags);
451 sent = origsize - msg->sg.size;
452
453 if (eval == __SK_REDIRECT)
454 sock_put(sk_redir);
455
456 lock_sock(sk);
457 sk_mem_uncharge(sk, sent);
458 if (unlikely(ret < 0)) {
459 int free = sk_msg_free(sk, msg);
460
461 if (!cork)
462 *copied -= free;
463 }
464 if (cork) {
465 sk_msg_free(sk, msg);
466 kfree(msg);
467 msg = NULL;
468 ret = 0;
469 }
470 break;
471 case __SK_DROP:
472 default:
473 sk_msg_free(sk, msg);
474 sk_msg_apply_bytes(psock, tosend);
475 *copied -= (tosend + delta);
476 return -EACCES;
477 }
478
479 if (likely(!ret)) {
480 if (!psock->apply_bytes) {
481 psock->eval = __SK_NONE;
482 if (psock->sk_redir) {
483 sock_put(psock->sk_redir);
484 psock->sk_redir = NULL;
485 }
486 }
487 if (msg &&
488 msg->sg.data[msg->sg.start].page_link &&
489 msg->sg.data[msg->sg.start].length)
490 goto more_data;
491 }
492 return ret;
493}
494
495static int tcp_bpf_sendmsg(struct sock *sk, struct msghdr *msg, size_t size)
496{
497 struct sk_msg tmp, *msg_tx = NULL;
498 int copied = 0, err = 0, ret = 0;
499 struct sk_psock *psock;
500 long timeo;
501 int flags;
502
503 /* Don't let internal flags through */
504 flags = (msg->msg_flags & ~MSG_SENDPAGE_DECRYPTED);
505 flags |= MSG_NO_SHARED_FRAGS;
506
507 psock = sk_psock_get(sk);
508 if (unlikely(!psock))
509 return tcp_sendmsg(sk, msg, size);
510
511 lock_sock(sk);
512 timeo = sock_sndtimeo(sk, msg->msg_flags & MSG_DONTWAIT);
513 while (msg_data_left(msg)) {
514 bool enospc = false;
515 u32 copy, osize;
516
517 if (sk->sk_err) {
518 err = -sk->sk_err;
519 goto out_err;
520 }
521
522 copy = msg_data_left(msg);
523 if (!sk_stream_memory_free(sk))
524 goto wait_for_sndbuf;
525 if (psock->cork) {
526 msg_tx = psock->cork;
527 } else {
528 msg_tx = &tmp;
529 sk_msg_init(msg_tx);
530 }
531
532 osize = msg_tx->sg.size;
533 err = sk_msg_alloc(sk, msg_tx, msg_tx->sg.size + copy, msg_tx->sg.end - 1);
534 if (err) {
535 if (err != -ENOSPC)
536 goto wait_for_memory;
537 enospc = true;
538 copy = msg_tx->sg.size - osize;
539 }
540
541 ret = sk_msg_memcopy_from_iter(sk, &msg->msg_iter, msg_tx,
542 copy);
543 if (ret < 0) {
544 sk_msg_trim(sk, msg_tx, osize);
545 goto out_err;
546 }
547
548 copied += ret;
549 if (psock->cork_bytes) {
550 if (size > psock->cork_bytes)
551 psock->cork_bytes = 0;
552 else
553 psock->cork_bytes -= size;
554 if (psock->cork_bytes && !enospc)
555 goto out_err;
556 /* All cork bytes are accounted, rerun the prog. */
557 psock->eval = __SK_NONE;
558 psock->cork_bytes = 0;
559 }
560
561 err = tcp_bpf_send_verdict(sk, psock, msg_tx, &copied, flags);
562 if (unlikely(err < 0))
563 goto out_err;
564 continue;
565wait_for_sndbuf:
566 set_bit(SOCK_NOSPACE, &sk->sk_socket->flags);
567wait_for_memory:
568 err = sk_stream_wait_memory(sk, &timeo);
569 if (err) {
570 if (msg_tx && msg_tx != psock->cork)
571 sk_msg_free(sk, msg_tx);
572 goto out_err;
573 }
574 }
575out_err:
576 if (err < 0)
577 err = sk_stream_error(sk, msg->msg_flags, err);
578 release_sock(sk);
579 sk_psock_put(sk, psock);
580 return copied > 0 ? copied : err;
581}
582
583enum {
584 TCP_BPF_IPV4,
585 TCP_BPF_IPV6,
586 TCP_BPF_NUM_PROTS,
587};
588
589enum {
590 TCP_BPF_BASE,
591 TCP_BPF_TX,
592 TCP_BPF_RX,
593 TCP_BPF_TXRX,
594 TCP_BPF_NUM_CFGS,
595};
596
597static struct proto *tcpv6_prot_saved __read_mostly;
598static DEFINE_SPINLOCK(tcpv6_prot_lock);
599static struct proto tcp_bpf_prots[TCP_BPF_NUM_PROTS][TCP_BPF_NUM_CFGS];
600
601static void tcp_bpf_rebuild_protos(struct proto prot[TCP_BPF_NUM_CFGS],
602 struct proto *base)
603{
604 prot[TCP_BPF_BASE] = *base;
605 prot[TCP_BPF_BASE].destroy = sock_map_destroy;
606 prot[TCP_BPF_BASE].close = sock_map_close;
607 prot[TCP_BPF_BASE].recvmsg = tcp_bpf_recvmsg;
608 prot[TCP_BPF_BASE].sock_is_readable = sk_msg_is_readable;
609
610 prot[TCP_BPF_TX] = prot[TCP_BPF_BASE];
611 prot[TCP_BPF_TX].sendmsg = tcp_bpf_sendmsg;
612
613 prot[TCP_BPF_RX] = prot[TCP_BPF_BASE];
614 prot[TCP_BPF_RX].recvmsg = tcp_bpf_recvmsg_parser;
615
616 prot[TCP_BPF_TXRX] = prot[TCP_BPF_TX];
617 prot[TCP_BPF_TXRX].recvmsg = tcp_bpf_recvmsg_parser;
618}
619
620static void tcp_bpf_check_v6_needs_rebuild(struct proto *ops)
621{
622 if (unlikely(ops != smp_load_acquire(&tcpv6_prot_saved))) {
623 spin_lock_bh(&tcpv6_prot_lock);
624 if (likely(ops != tcpv6_prot_saved)) {
625 tcp_bpf_rebuild_protos(tcp_bpf_prots[TCP_BPF_IPV6], ops);
626 smp_store_release(&tcpv6_prot_saved, ops);
627 }
628 spin_unlock_bh(&tcpv6_prot_lock);
629 }
630}
631
632static int __init tcp_bpf_v4_build_proto(void)
633{
634 tcp_bpf_rebuild_protos(tcp_bpf_prots[TCP_BPF_IPV4], &tcp_prot);
635 return 0;
636}
637late_initcall(tcp_bpf_v4_build_proto);
638
639static int tcp_bpf_assert_proto_ops(struct proto *ops)
640{
641 /* In order to avoid retpoline, we make assumptions when we call
642 * into ops if e.g. a psock is not present. Make sure they are
643 * indeed valid assumptions.
644 */
645 return ops->recvmsg == tcp_recvmsg &&
646 ops->sendmsg == tcp_sendmsg ? 0 : -ENOTSUPP;
647}
648
649int tcp_bpf_update_proto(struct sock *sk, struct sk_psock *psock, bool restore)
650{
651 int family = sk->sk_family == AF_INET6 ? TCP_BPF_IPV6 : TCP_BPF_IPV4;
652 int config = psock->progs.msg_parser ? TCP_BPF_TX : TCP_BPF_BASE;
653
654 if (psock->progs.stream_verdict || psock->progs.skb_verdict) {
655 config = (config == TCP_BPF_TX) ? TCP_BPF_TXRX : TCP_BPF_RX;
656 }
657
658 if (restore) {
659 if (inet_csk_has_ulp(sk)) {
660 /* TLS does not have an unhash proto in SW cases,
661 * but we need to ensure we stop using the sock_map
662 * unhash routine because the associated psock is being
663 * removed. So use the original unhash handler.
664 */
665 WRITE_ONCE(sk->sk_prot->unhash, psock->saved_unhash);
666 tcp_update_ulp(sk, psock->sk_proto, psock->saved_write_space);
667 } else {
668 sk->sk_write_space = psock->saved_write_space;
669 /* Pairs with lockless read in sk_clone_lock() */
670 sock_replace_proto(sk, psock->sk_proto);
671 }
672 return 0;
673 }
674
675 if (sk->sk_family == AF_INET6) {
676 if (tcp_bpf_assert_proto_ops(psock->sk_proto))
677 return -EINVAL;
678
679 tcp_bpf_check_v6_needs_rebuild(psock->sk_proto);
680 }
681
682 /* Pairs with lockless read in sk_clone_lock() */
683 sock_replace_proto(sk, &tcp_bpf_prots[family][config]);
684 return 0;
685}
686EXPORT_SYMBOL_GPL(tcp_bpf_update_proto);
687
688/* If a child got cloned from a listening socket that had tcp_bpf
689 * protocol callbacks installed, we need to restore the callbacks to
690 * the default ones because the child does not inherit the psock state
691 * that tcp_bpf callbacks expect.
692 */
693void tcp_bpf_clone(const struct sock *sk, struct sock *newsk)
694{
695 struct proto *prot = newsk->sk_prot;
696
697 if (is_insidevar(prot, tcp_bpf_prots))
698 newsk->sk_prot = sk->sk_prot_creator;
699}
700#endif /* CONFIG_BPF_SYSCALL */
1// SPDX-License-Identifier: GPL-2.0
2/* Copyright (c) 2017 - 2018 Covalent IO, Inc. http://covalent.io */
3
4#include <linux/skmsg.h>
5#include <linux/filter.h>
6#include <linux/bpf.h>
7#include <linux/init.h>
8#include <linux/wait.h>
9
10#include <net/inet_common.h>
11#include <net/tls.h>
12
13static int bpf_tcp_ingress(struct sock *sk, struct sk_psock *psock,
14 struct sk_msg *msg, u32 apply_bytes, int flags)
15{
16 bool apply = apply_bytes;
17 struct scatterlist *sge;
18 u32 size, copied = 0;
19 struct sk_msg *tmp;
20 int i, ret = 0;
21
22 tmp = kzalloc(sizeof(*tmp), __GFP_NOWARN | GFP_KERNEL);
23 if (unlikely(!tmp))
24 return -ENOMEM;
25
26 lock_sock(sk);
27 tmp->sg.start = msg->sg.start;
28 i = msg->sg.start;
29 do {
30 sge = sk_msg_elem(msg, i);
31 size = (apply && apply_bytes < sge->length) ?
32 apply_bytes : sge->length;
33 if (!sk_wmem_schedule(sk, size)) {
34 if (!copied)
35 ret = -ENOMEM;
36 break;
37 }
38
39 sk_mem_charge(sk, size);
40 sk_msg_xfer(tmp, msg, i, size);
41 copied += size;
42 if (sge->length)
43 get_page(sk_msg_page(tmp, i));
44 sk_msg_iter_var_next(i);
45 tmp->sg.end = i;
46 if (apply) {
47 apply_bytes -= size;
48 if (!apply_bytes)
49 break;
50 }
51 } while (i != msg->sg.end);
52
53 if (!ret) {
54 msg->sg.start = i;
55 sk_psock_queue_msg(psock, tmp);
56 sk_psock_data_ready(sk, psock);
57 } else {
58 sk_msg_free(sk, tmp);
59 kfree(tmp);
60 }
61
62 release_sock(sk);
63 return ret;
64}
65
66static int tcp_bpf_push(struct sock *sk, struct sk_msg *msg, u32 apply_bytes,
67 int flags, bool uncharge)
68{
69 bool apply = apply_bytes;
70 struct scatterlist *sge;
71 struct page *page;
72 int size, ret = 0;
73 u32 off;
74
75 while (1) {
76 bool has_tx_ulp;
77
78 sge = sk_msg_elem(msg, msg->sg.start);
79 size = (apply && apply_bytes < sge->length) ?
80 apply_bytes : sge->length;
81 off = sge->offset;
82 page = sg_page(sge);
83
84 tcp_rate_check_app_limited(sk);
85retry:
86 has_tx_ulp = tls_sw_has_ctx_tx(sk);
87 if (has_tx_ulp) {
88 flags |= MSG_SENDPAGE_NOPOLICY;
89 ret = kernel_sendpage_locked(sk,
90 page, off, size, flags);
91 } else {
92 ret = do_tcp_sendpages(sk, page, off, size, flags);
93 }
94
95 if (ret <= 0)
96 return ret;
97 if (apply)
98 apply_bytes -= ret;
99 msg->sg.size -= ret;
100 sge->offset += ret;
101 sge->length -= ret;
102 if (uncharge)
103 sk_mem_uncharge(sk, ret);
104 if (ret != size) {
105 size -= ret;
106 off += ret;
107 goto retry;
108 }
109 if (!sge->length) {
110 put_page(page);
111 sk_msg_iter_next(msg, start);
112 sg_init_table(sge, 1);
113 if (msg->sg.start == msg->sg.end)
114 break;
115 }
116 if (apply && !apply_bytes)
117 break;
118 }
119
120 return 0;
121}
122
123static int tcp_bpf_push_locked(struct sock *sk, struct sk_msg *msg,
124 u32 apply_bytes, int flags, bool uncharge)
125{
126 int ret;
127
128 lock_sock(sk);
129 ret = tcp_bpf_push(sk, msg, apply_bytes, flags, uncharge);
130 release_sock(sk);
131 return ret;
132}
133
134int tcp_bpf_sendmsg_redir(struct sock *sk, struct sk_msg *msg,
135 u32 bytes, int flags)
136{
137 bool ingress = sk_msg_to_ingress(msg);
138 struct sk_psock *psock = sk_psock_get(sk);
139 int ret;
140
141 if (unlikely(!psock)) {
142 sk_msg_free(sk, msg);
143 return 0;
144 }
145 ret = ingress ? bpf_tcp_ingress(sk, psock, msg, bytes, flags) :
146 tcp_bpf_push_locked(sk, msg, bytes, flags, false);
147 sk_psock_put(sk, psock);
148 return ret;
149}
150EXPORT_SYMBOL_GPL(tcp_bpf_sendmsg_redir);
151
152#ifdef CONFIG_BPF_SYSCALL
153static bool tcp_bpf_stream_read(const struct sock *sk)
154{
155 struct sk_psock *psock;
156 bool empty = true;
157
158 rcu_read_lock();
159 psock = sk_psock(sk);
160 if (likely(psock))
161 empty = list_empty(&psock->ingress_msg);
162 rcu_read_unlock();
163 return !empty;
164}
165
166static int tcp_msg_wait_data(struct sock *sk, struct sk_psock *psock,
167 long timeo)
168{
169 DEFINE_WAIT_FUNC(wait, woken_wake_function);
170 int ret = 0;
171
172 if (sk->sk_shutdown & RCV_SHUTDOWN)
173 return 1;
174
175 if (!timeo)
176 return ret;
177
178 add_wait_queue(sk_sleep(sk), &wait);
179 sk_set_bit(SOCKWQ_ASYNC_WAITDATA, sk);
180 ret = sk_wait_event(sk, &timeo,
181 !list_empty(&psock->ingress_msg) ||
182 !skb_queue_empty(&sk->sk_receive_queue), &wait);
183 sk_clear_bit(SOCKWQ_ASYNC_WAITDATA, sk);
184 remove_wait_queue(sk_sleep(sk), &wait);
185 return ret;
186}
187
188static int tcp_bpf_recvmsg(struct sock *sk, struct msghdr *msg, size_t len,
189 int nonblock, int flags, int *addr_len)
190{
191 struct sk_psock *psock;
192 int copied, ret;
193
194 if (unlikely(flags & MSG_ERRQUEUE))
195 return inet_recv_error(sk, msg, len, addr_len);
196
197 psock = sk_psock_get(sk);
198 if (unlikely(!psock))
199 return tcp_recvmsg(sk, msg, len, nonblock, flags, addr_len);
200 if (!skb_queue_empty(&sk->sk_receive_queue) &&
201 sk_psock_queue_empty(psock)) {
202 sk_psock_put(sk, psock);
203 return tcp_recvmsg(sk, msg, len, nonblock, flags, addr_len);
204 }
205 lock_sock(sk);
206msg_bytes_ready:
207 copied = sk_msg_recvmsg(sk, psock, msg, len, flags);
208 if (!copied) {
209 long timeo;
210 int data;
211
212 timeo = sock_rcvtimeo(sk, nonblock);
213 data = tcp_msg_wait_data(sk, psock, timeo);
214 if (data) {
215 if (!sk_psock_queue_empty(psock))
216 goto msg_bytes_ready;
217 release_sock(sk);
218 sk_psock_put(sk, psock);
219 return tcp_recvmsg(sk, msg, len, nonblock, flags, addr_len);
220 }
221 copied = -EAGAIN;
222 }
223 ret = copied;
224 release_sock(sk);
225 sk_psock_put(sk, psock);
226 return ret;
227}
228
229static int tcp_bpf_send_verdict(struct sock *sk, struct sk_psock *psock,
230 struct sk_msg *msg, int *copied, int flags)
231{
232 bool cork = false, enospc = sk_msg_full(msg);
233 struct sock *sk_redir;
234 u32 tosend, delta = 0;
235 int ret;
236
237more_data:
238 if (psock->eval == __SK_NONE) {
239 /* Track delta in msg size to add/subtract it on SK_DROP from
240 * returned to user copied size. This ensures user doesn't
241 * get a positive return code with msg_cut_data and SK_DROP
242 * verdict.
243 */
244 delta = msg->sg.size;
245 psock->eval = sk_psock_msg_verdict(sk, psock, msg);
246 delta -= msg->sg.size;
247 }
248
249 if (msg->cork_bytes &&
250 msg->cork_bytes > msg->sg.size && !enospc) {
251 psock->cork_bytes = msg->cork_bytes - msg->sg.size;
252 if (!psock->cork) {
253 psock->cork = kzalloc(sizeof(*psock->cork),
254 GFP_ATOMIC | __GFP_NOWARN);
255 if (!psock->cork)
256 return -ENOMEM;
257 }
258 memcpy(psock->cork, msg, sizeof(*msg));
259 return 0;
260 }
261
262 tosend = msg->sg.size;
263 if (psock->apply_bytes && psock->apply_bytes < tosend)
264 tosend = psock->apply_bytes;
265
266 switch (psock->eval) {
267 case __SK_PASS:
268 ret = tcp_bpf_push(sk, msg, tosend, flags, true);
269 if (unlikely(ret)) {
270 *copied -= sk_msg_free(sk, msg);
271 break;
272 }
273 sk_msg_apply_bytes(psock, tosend);
274 break;
275 case __SK_REDIRECT:
276 sk_redir = psock->sk_redir;
277 sk_msg_apply_bytes(psock, tosend);
278 if (psock->cork) {
279 cork = true;
280 psock->cork = NULL;
281 }
282 sk_msg_return(sk, msg, tosend);
283 release_sock(sk);
284 ret = tcp_bpf_sendmsg_redir(sk_redir, msg, tosend, flags);
285 lock_sock(sk);
286 if (unlikely(ret < 0)) {
287 int free = sk_msg_free_nocharge(sk, msg);
288
289 if (!cork)
290 *copied -= free;
291 }
292 if (cork) {
293 sk_msg_free(sk, msg);
294 kfree(msg);
295 msg = NULL;
296 ret = 0;
297 }
298 break;
299 case __SK_DROP:
300 default:
301 sk_msg_free_partial(sk, msg, tosend);
302 sk_msg_apply_bytes(psock, tosend);
303 *copied -= (tosend + delta);
304 return -EACCES;
305 }
306
307 if (likely(!ret)) {
308 if (!psock->apply_bytes) {
309 psock->eval = __SK_NONE;
310 if (psock->sk_redir) {
311 sock_put(psock->sk_redir);
312 psock->sk_redir = NULL;
313 }
314 }
315 if (msg &&
316 msg->sg.data[msg->sg.start].page_link &&
317 msg->sg.data[msg->sg.start].length)
318 goto more_data;
319 }
320 return ret;
321}
322
323static int tcp_bpf_sendmsg(struct sock *sk, struct msghdr *msg, size_t size)
324{
325 struct sk_msg tmp, *msg_tx = NULL;
326 int copied = 0, err = 0;
327 struct sk_psock *psock;
328 long timeo;
329 int flags;
330
331 /* Don't let internal do_tcp_sendpages() flags through */
332 flags = (msg->msg_flags & ~MSG_SENDPAGE_DECRYPTED);
333 flags |= MSG_NO_SHARED_FRAGS;
334
335 psock = sk_psock_get(sk);
336 if (unlikely(!psock))
337 return tcp_sendmsg(sk, msg, size);
338
339 lock_sock(sk);
340 timeo = sock_sndtimeo(sk, msg->msg_flags & MSG_DONTWAIT);
341 while (msg_data_left(msg)) {
342 bool enospc = false;
343 u32 copy, osize;
344
345 if (sk->sk_err) {
346 err = -sk->sk_err;
347 goto out_err;
348 }
349
350 copy = msg_data_left(msg);
351 if (!sk_stream_memory_free(sk))
352 goto wait_for_sndbuf;
353 if (psock->cork) {
354 msg_tx = psock->cork;
355 } else {
356 msg_tx = &tmp;
357 sk_msg_init(msg_tx);
358 }
359
360 osize = msg_tx->sg.size;
361 err = sk_msg_alloc(sk, msg_tx, msg_tx->sg.size + copy, msg_tx->sg.end - 1);
362 if (err) {
363 if (err != -ENOSPC)
364 goto wait_for_memory;
365 enospc = true;
366 copy = msg_tx->sg.size - osize;
367 }
368
369 err = sk_msg_memcopy_from_iter(sk, &msg->msg_iter, msg_tx,
370 copy);
371 if (err < 0) {
372 sk_msg_trim(sk, msg_tx, osize);
373 goto out_err;
374 }
375
376 copied += copy;
377 if (psock->cork_bytes) {
378 if (size > psock->cork_bytes)
379 psock->cork_bytes = 0;
380 else
381 psock->cork_bytes -= size;
382 if (psock->cork_bytes && !enospc)
383 goto out_err;
384 /* All cork bytes are accounted, rerun the prog. */
385 psock->eval = __SK_NONE;
386 psock->cork_bytes = 0;
387 }
388
389 err = tcp_bpf_send_verdict(sk, psock, msg_tx, &copied, flags);
390 if (unlikely(err < 0))
391 goto out_err;
392 continue;
393wait_for_sndbuf:
394 set_bit(SOCK_NOSPACE, &sk->sk_socket->flags);
395wait_for_memory:
396 err = sk_stream_wait_memory(sk, &timeo);
397 if (err) {
398 if (msg_tx && msg_tx != psock->cork)
399 sk_msg_free(sk, msg_tx);
400 goto out_err;
401 }
402 }
403out_err:
404 if (err < 0)
405 err = sk_stream_error(sk, msg->msg_flags, err);
406 release_sock(sk);
407 sk_psock_put(sk, psock);
408 return copied ? copied : err;
409}
410
411static int tcp_bpf_sendpage(struct sock *sk, struct page *page, int offset,
412 size_t size, int flags)
413{
414 struct sk_msg tmp, *msg = NULL;
415 int err = 0, copied = 0;
416 struct sk_psock *psock;
417 bool enospc = false;
418
419 psock = sk_psock_get(sk);
420 if (unlikely(!psock))
421 return tcp_sendpage(sk, page, offset, size, flags);
422
423 lock_sock(sk);
424 if (psock->cork) {
425 msg = psock->cork;
426 } else {
427 msg = &tmp;
428 sk_msg_init(msg);
429 }
430
431 /* Catch case where ring is full and sendpage is stalled. */
432 if (unlikely(sk_msg_full(msg)))
433 goto out_err;
434
435 sk_msg_page_add(msg, page, size, offset);
436 sk_mem_charge(sk, size);
437 copied = size;
438 if (sk_msg_full(msg))
439 enospc = true;
440 if (psock->cork_bytes) {
441 if (size > psock->cork_bytes)
442 psock->cork_bytes = 0;
443 else
444 psock->cork_bytes -= size;
445 if (psock->cork_bytes && !enospc)
446 goto out_err;
447 /* All cork bytes are accounted, rerun the prog. */
448 psock->eval = __SK_NONE;
449 psock->cork_bytes = 0;
450 }
451
452 err = tcp_bpf_send_verdict(sk, psock, msg, &copied, flags);
453out_err:
454 release_sock(sk);
455 sk_psock_put(sk, psock);
456 return copied ? copied : err;
457}
458
459enum {
460 TCP_BPF_IPV4,
461 TCP_BPF_IPV6,
462 TCP_BPF_NUM_PROTS,
463};
464
465enum {
466 TCP_BPF_BASE,
467 TCP_BPF_TX,
468 TCP_BPF_NUM_CFGS,
469};
470
471static struct proto *tcpv6_prot_saved __read_mostly;
472static DEFINE_SPINLOCK(tcpv6_prot_lock);
473static struct proto tcp_bpf_prots[TCP_BPF_NUM_PROTS][TCP_BPF_NUM_CFGS];
474
475static void tcp_bpf_rebuild_protos(struct proto prot[TCP_BPF_NUM_CFGS],
476 struct proto *base)
477{
478 prot[TCP_BPF_BASE] = *base;
479 prot[TCP_BPF_BASE].unhash = sock_map_unhash;
480 prot[TCP_BPF_BASE].close = sock_map_close;
481 prot[TCP_BPF_BASE].recvmsg = tcp_bpf_recvmsg;
482 prot[TCP_BPF_BASE].stream_memory_read = tcp_bpf_stream_read;
483
484 prot[TCP_BPF_TX] = prot[TCP_BPF_BASE];
485 prot[TCP_BPF_TX].sendmsg = tcp_bpf_sendmsg;
486 prot[TCP_BPF_TX].sendpage = tcp_bpf_sendpage;
487}
488
489static void tcp_bpf_check_v6_needs_rebuild(struct proto *ops)
490{
491 if (unlikely(ops != smp_load_acquire(&tcpv6_prot_saved))) {
492 spin_lock_bh(&tcpv6_prot_lock);
493 if (likely(ops != tcpv6_prot_saved)) {
494 tcp_bpf_rebuild_protos(tcp_bpf_prots[TCP_BPF_IPV6], ops);
495 smp_store_release(&tcpv6_prot_saved, ops);
496 }
497 spin_unlock_bh(&tcpv6_prot_lock);
498 }
499}
500
501static int __init tcp_bpf_v4_build_proto(void)
502{
503 tcp_bpf_rebuild_protos(tcp_bpf_prots[TCP_BPF_IPV4], &tcp_prot);
504 return 0;
505}
506late_initcall(tcp_bpf_v4_build_proto);
507
508static int tcp_bpf_assert_proto_ops(struct proto *ops)
509{
510 /* In order to avoid retpoline, we make assumptions when we call
511 * into ops if e.g. a psock is not present. Make sure they are
512 * indeed valid assumptions.
513 */
514 return ops->recvmsg == tcp_recvmsg &&
515 ops->sendmsg == tcp_sendmsg &&
516 ops->sendpage == tcp_sendpage ? 0 : -ENOTSUPP;
517}
518
519int tcp_bpf_update_proto(struct sock *sk, struct sk_psock *psock, bool restore)
520{
521 int family = sk->sk_family == AF_INET6 ? TCP_BPF_IPV6 : TCP_BPF_IPV4;
522 int config = psock->progs.msg_parser ? TCP_BPF_TX : TCP_BPF_BASE;
523
524 if (restore) {
525 if (inet_csk_has_ulp(sk)) {
526 /* TLS does not have an unhash proto in SW cases,
527 * but we need to ensure we stop using the sock_map
528 * unhash routine because the associated psock is being
529 * removed. So use the original unhash handler.
530 */
531 WRITE_ONCE(sk->sk_prot->unhash, psock->saved_unhash);
532 tcp_update_ulp(sk, psock->sk_proto, psock->saved_write_space);
533 } else {
534 sk->sk_write_space = psock->saved_write_space;
535 /* Pairs with lockless read in sk_clone_lock() */
536 WRITE_ONCE(sk->sk_prot, psock->sk_proto);
537 }
538 return 0;
539 }
540
541 if (inet_csk_has_ulp(sk))
542 return -EINVAL;
543
544 if (sk->sk_family == AF_INET6) {
545 if (tcp_bpf_assert_proto_ops(psock->sk_proto))
546 return -EINVAL;
547
548 tcp_bpf_check_v6_needs_rebuild(psock->sk_proto);
549 }
550
551 /* Pairs with lockless read in sk_clone_lock() */
552 WRITE_ONCE(sk->sk_prot, &tcp_bpf_prots[family][config]);
553 return 0;
554}
555EXPORT_SYMBOL_GPL(tcp_bpf_update_proto);
556
557/* If a child got cloned from a listening socket that had tcp_bpf
558 * protocol callbacks installed, we need to restore the callbacks to
559 * the default ones because the child does not inherit the psock state
560 * that tcp_bpf callbacks expect.
561 */
562void tcp_bpf_clone(const struct sock *sk, struct sock *newsk)
563{
564 int family = sk->sk_family == AF_INET6 ? TCP_BPF_IPV6 : TCP_BPF_IPV4;
565 struct proto *prot = newsk->sk_prot;
566
567 if (prot == &tcp_bpf_prots[family][TCP_BPF_BASE])
568 newsk->sk_prot = sk->sk_prot_creator;
569}
570#endif /* CONFIG_BPF_SYSCALL */