From: Stanislav Fomichev <sdf@google.com>
To: Aditi Ghag <aditi.ghag@isovalent.com>
Cc: bpf@vger.kernel.org, kafai@fb.com, edumazet@google.com
Subject: Re: [PATCH v4 bpf-next 4/4] selftests/bpf: Add tests for bpf_sock_destroy
Date: Fri, 24 Mar 2023 14:52:53 -0700 [thread overview]
Message-ID: <ZB4btVWyDjjdIqhV@google.com> (raw)
In-Reply-To: <20230323200633.3175753-5-aditi.ghag@isovalent.com>
On 03/23, Aditi Ghag wrote:
> The test cases for destroying sockets mirror the intended usages of the
> bpf_sock_destroy kfunc using iterators.
> The destroy helpers set `ECONNABORTED` error code that we can validate in
> the test code with client sockets. But UDP sockets have an overriding
> error
> code from the disconnect called during abort, so the error code the
> validation is only done for TCP sockets.
> Signed-off-by: Aditi Ghag <aditi.ghag@isovalent.com>
> ---
> .../selftests/bpf/prog_tests/sock_destroy.c | 195 ++++++++++++++++++
> .../selftests/bpf/progs/sock_destroy_prog.c | 151 ++++++++++++++
> 2 files changed, 346 insertions(+)
> create mode 100644 tools/testing/selftests/bpf/prog_tests/sock_destroy.c
> create mode 100644 tools/testing/selftests/bpf/progs/sock_destroy_prog.c
> diff --git a/tools/testing/selftests/bpf/prog_tests/sock_destroy.c
> b/tools/testing/selftests/bpf/prog_tests/sock_destroy.c
> new file mode 100644
> index 000000000000..cbce966af568
> --- /dev/null
> +++ b/tools/testing/selftests/bpf/prog_tests/sock_destroy.c
> @@ -0,0 +1,195 @@
> +// SPDX-License-Identifier: GPL-2.0
> +#include <test_progs.h>
> +
> +#include "sock_destroy_prog.skel.h"
> +#include "network_helpers.h"
> +
> +#define SERVER_PORT 6062
> +
> +static void start_iter_sockets(struct bpf_program *prog)
> +{
> + struct bpf_link *link;
> + char buf[50] = {};
> + int iter_fd, len;
> +
> + link = bpf_program__attach_iter(prog, NULL);
> + if (!ASSERT_OK_PTR(link, "attach_iter"))
> + return;
> +
> + iter_fd = bpf_iter_create(bpf_link__fd(link));
> + if (!ASSERT_GE(iter_fd, 0, "create_iter"))
> + goto free_link;
> +
> + while ((len = read(iter_fd, buf, sizeof(buf))) > 0)
> + ;
> + ASSERT_GE(len, 0, "read");
> +
> + close(iter_fd);
> +
> +free_link:
> + bpf_link__destroy(link);
> +}
> +
> +static void test_tcp_client(struct sock_destroy_prog *skel)
> +{
> + int serv = -1, clien = -1, n = 0;
> +
> + serv = start_server(AF_INET6, SOCK_STREAM, NULL, 0, 0);
> + if (!ASSERT_GE(serv, 0, "start_server"))
> + goto cleanup_serv;
> +
> + clien = connect_to_fd(serv, 0);
> + if (!ASSERT_GE(clien, 0, "connect_to_fd"))
> + goto cleanup_serv;
> +
> + serv = accept(serv, NULL, NULL);
> + if (!ASSERT_GE(serv, 0, "serv accept"))
> + goto cleanup;
> +
> + n = send(clien, "t", 1, 0);
> + if (!ASSERT_GE(n, 0, "client send"))
> + goto cleanup;
> +
> + /* Run iterator program that destroys connected client sockets. */
> + start_iter_sockets(skel->progs.iter_tcp6_client);
> +
> + n = send(clien, "t", 1, 0);
> + if (!ASSERT_LT(n, 0, "client_send on destroyed socket"))
> + goto cleanup;
> + ASSERT_EQ(errno, ECONNABORTED, "error code on destroyed socket");
> +
> +
> +cleanup:
> + close(clien);
> +cleanup_serv:
> + close(serv);
> +}
> +
> +static void test_tcp_server(struct sock_destroy_prog *skel)
> +{
> + int serv = -1, clien = -1, n = 0;
> +
> + serv = start_server(AF_INET6, SOCK_STREAM, NULL, SERVER_PORT, 0);
> + if (!ASSERT_GE(serv, 0, "start_server"))
> + goto cleanup_serv;
> +
> + clien = connect_to_fd(serv, 0);
> + if (!ASSERT_GE(clien, 0, "connect_to_fd"))
> + goto cleanup_serv;
> +
> + serv = accept(serv, NULL, NULL);
> + if (!ASSERT_GE(serv, 0, "serv accept"))
> + goto cleanup;
> +
> + n = send(clien, "t", 1, 0);
> + if (!ASSERT_GE(n, 0, "client send"))
> + goto cleanup;
> +
> + /* Run iterator program that destroys server sockets. */
> + start_iter_sockets(skel->progs.iter_tcp6_server);
> +
> + n = send(clien, "t", 1, 0);
> + if (!ASSERT_LT(n, 0, "client_send on destroyed socket"))
> + goto cleanup;
> + ASSERT_EQ(errno, ECONNRESET, "error code on destroyed socket");
> +
> +
> +cleanup:
> + close(clien);
> +cleanup_serv:
> + close(serv);
> +}
> +
> +
> +static void test_udp_client(struct sock_destroy_prog *skel)
> +{
> + int serv = -1, clien = -1, n = 0;
> +
> + serv = start_server(AF_INET6, SOCK_DGRAM, NULL, 6161, 0);
> + if (!ASSERT_GE(serv, 0, "start_server"))
> + goto cleanup_serv;
> +
> + clien = connect_to_fd(serv, 0);
> + if (!ASSERT_GE(clien, 0, "connect_to_fd"))
> + goto cleanup_serv;
> +
> + n = send(clien, "t", 1, 0);
> + if (!ASSERT_GE(n, 0, "client send"))
> + goto cleanup;
> +
> + /* Run iterator program that destroys sockets. */
> + start_iter_sockets(skel->progs.iter_udp6_client);
> +
> + n = send(clien, "t", 1, 0);
> + if (!ASSERT_LT(n, 0, "client_send on destroyed socket"))
> + goto cleanup;
> + /* UDP sockets have an overriding error code after they are
> disconnected,
> + * so we don't check for ECONNABORTED error code.
> + */
> +
> +cleanup:
> + close(clien);
> +cleanup_serv:
> + close(serv);
> +}
> +
> +static void test_udp_server(struct sock_destroy_prog *skel)
> +{
> + int *listen_fds = NULL, n, i;
> + unsigned int num_listens = 5;
> + char buf[1];
> +
> + /* Start reuseport servers. */
> + listen_fds = start_reuseport_server(AF_INET6, SOCK_DGRAM,
> + "::1", SERVER_PORT, 0,
> + num_listens);
> + if (!ASSERT_OK_PTR(listen_fds, "start_reuseport_server"))
> + goto cleanup;
> +
> + /* Run iterator program that destroys server sockets. */
> + start_iter_sockets(skel->progs.iter_udp6_server);
> +
> + for (i = 0; i < num_listens; ++i) {
> + n = read(listen_fds[i], buf, sizeof(buf));
> + if (!ASSERT_EQ(n, -1, "read") ||
> + !ASSERT_EQ(errno, ECONNABORTED, "error code on destroyed socket"))
> + break;
> + }
> + ASSERT_EQ(i, num_listens, "server socket");
> +
> +cleanup:
> + free_fds(listen_fds, num_listens);
> +}
> +
> +void test_sock_destroy(void)
> +{
> + int cgroup_fd = 0;
> + struct sock_destroy_prog *skel;
> +
> + skel = sock_destroy_prog__open_and_load();
> + if (!ASSERT_OK_PTR(skel, "skel_open"))
> + return;
> +
> + cgroup_fd = test__join_cgroup("/sock_destroy");
> + if (!ASSERT_GE(cgroup_fd, 0, "join_cgroup"))
> + goto close_cgroup_fd;
> +
> + skel->links.sock_connect = bpf_program__attach_cgroup(
> + skel->progs.sock_connect, cgroup_fd);
> + if (!ASSERT_OK_PTR(skel->links.sock_connect, "prog_attach"))
> + goto close_cgroup_fd;
> +
> + if (test__start_subtest("tcp_client"))
> + test_tcp_client(skel);
> + if (test__start_subtest("tcp_server"))
> + test_tcp_server(skel);
> + if (test__start_subtest("udp_client"))
> + test_udp_client(skel);
> + if (test__start_subtest("udp_server"))
> + test_udp_server(skel);
> +
> +
> +close_cgroup_fd:
> + close(cgroup_fd);
> + sock_destroy_prog__destroy(skel);
> +}
> diff --git a/tools/testing/selftests/bpf/progs/sock_destroy_prog.c
> b/tools/testing/selftests/bpf/progs/sock_destroy_prog.c
> new file mode 100644
> index 000000000000..8e09d82c50f3
> --- /dev/null
> +++ b/tools/testing/selftests/bpf/progs/sock_destroy_prog.c
> @@ -0,0 +1,151 @@
> +// SPDX-License-Identifier: GPL-2.0
> +
> +#include "vmlinux.h"
> +
> +#include "bpf_tracing_net.h"
> +#include <bpf/bpf_helpers.h>
> +#include <bpf/bpf_endian.h>
> +
> +#define AF_INET6 10
[..]
> +/* Keep it in sync with prog_test/sock_destroy. */
> +#define SERVER_PORT 6062
The test looks good, one optional unrelated nit maybe:
I've been guilty of these hard-coded ports in the past, but maybe
we should stop hard-coding them? Getting the address of the listener (bound
to
port 0) and passing it to the bpf program via global variable should be
super
easy now (with the skeletons and network_helpers).
And, unrelated, maybe also fix a bunch of places where the reverse christmas
tree doesn't look reverse anymore?
> +
> +int bpf_sock_destroy(struct sock_common *sk) __ksym;
> +
> +struct {
> + __uint(type, BPF_MAP_TYPE_ARRAY);
> + __uint(max_entries, 1);
> + __type(key, __u32);
> + __type(value, __u64);
> +} tcp_conn_sockets SEC(".maps");
> +
> +struct {
> + __uint(type, BPF_MAP_TYPE_ARRAY);
> + __uint(max_entries, 1);
> + __type(key, __u32);
> + __type(value, __u64);
> +} udp_conn_sockets SEC(".maps");
> +
> +SEC("cgroup/connect6")
> +int sock_connect(struct bpf_sock_addr *ctx)
> +{
> + int key = 0;
> + __u64 sock_cookie = 0;
> + __u32 keyc = 0;
> +
> + if (ctx->family != AF_INET6 || ctx->user_family != AF_INET6)
> + return 1;
> +
> + sock_cookie = bpf_get_socket_cookie(ctx);
> + if (ctx->protocol == IPPROTO_TCP)
> + bpf_map_update_elem(&tcp_conn_sockets, &key, &sock_cookie, 0);
> + else if (ctx->protocol == IPPROTO_UDP)
> + bpf_map_update_elem(&udp_conn_sockets, &keyc, &sock_cookie, 0);
> + else
> + return 1;
> +
> + return 1;
> +}
> +
> +SEC("iter/tcp")
> +int iter_tcp6_client(struct bpf_iter__tcp *ctx)
> +{
> + struct sock_common *sk_common = ctx->sk_common;
> + struct seq_file *seq = ctx->meta->seq;
> + __u64 sock_cookie = 0;
> + __u64 *val;
> + int key = 0;
> +
> + if (!sk_common)
> + return 0;
> +
> + if (sk_common->skc_family != AF_INET6)
> + return 0;
> +
> + sock_cookie = bpf_get_socket_cookie(sk_common);
> + val = bpf_map_lookup_elem(&tcp_conn_sockets, &key);
> + if (!val)
> + return 0;
> + /* Destroy connected client sockets. */
> + if (sock_cookie == *val)
> + bpf_sock_destroy(sk_common);
> +
> + return 0;
> +}
> +
> +SEC("iter/tcp")
> +int iter_tcp6_server(struct bpf_iter__tcp *ctx)
> +{
> + struct sock_common *sk_common = ctx->sk_common;
> + struct seq_file *seq = ctx->meta->seq;
> + struct tcp6_sock *tcp_sk;
> + const struct inet_connection_sock *icsk;
> + const struct inet_sock *inet;
> + __u16 srcp;
> +
> + if (!sk_common)
> + return 0;
> +
> + if (sk_common->skc_family != AF_INET6)
> + return 0;
> +
> + tcp_sk = bpf_skc_to_tcp6_sock(sk_common);
> + if (!tcp_sk)
> + return 0;
> +
> + icsk = &tcp_sk->tcp.inet_conn;
> + inet = &icsk->icsk_inet;
> + srcp = bpf_ntohs(inet->inet_sport);
> +
> + /* Destroy server sockets. */
> + if (srcp == SERVER_PORT)
> + bpf_sock_destroy(sk_common);
> +
> + return 0;
> +}
> +
> +
> +SEC("iter/udp")
> +int iter_udp6_client(struct bpf_iter__udp *ctx)
> +{
> + struct seq_file *seq = ctx->meta->seq;
> + struct udp_sock *udp_sk = ctx->udp_sk;
> + struct sock *sk = (struct sock *) udp_sk;
> + __u64 sock_cookie = 0, *val;
> + int key = 0;
> +
> + if (!sk)
> + return 0;
> +
> + sock_cookie = bpf_get_socket_cookie(sk);
> + val = bpf_map_lookup_elem(&udp_conn_sockets, &key);
> + if (!val)
> + return 0;
> + /* Destroy connected client sockets. */
> + if (sock_cookie == *val)
> + bpf_sock_destroy((struct sock_common *)sk);
> +
> + return 0;
> +}
> +
> +SEC("iter/udp")
> +int iter_udp6_server(struct bpf_iter__udp *ctx)
> +{
> + struct seq_file *seq = ctx->meta->seq;
> + struct udp_sock *udp_sk = ctx->udp_sk;
> + struct sock *sk = (struct sock *) udp_sk;
> + __u16 srcp;
> + struct inet_sock *inet;
> +
> + if (!sk)
> + return 0;
> +
> + inet = &udp_sk->inet;
> + srcp = bpf_ntohs(inet->inet_sport);
> + if (srcp == SERVER_PORT)
> + bpf_sock_destroy((struct sock_common *)sk);
> +
> + return 0;
> +}
> +
> +char _license[] SEC("license") = "GPL";
> --
> 2.34.1
next prev parent reply other threads:[~2023-03-24 21:52 UTC|newest]
Thread overview: 29+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-03-23 20:06 [PATCH v4 bpf-next 0/5] bpf-nex: Add socket destroy capability Aditi Ghag
2023-03-23 20:06 ` [PATCH v4 bpf-next 1/4] bpf: Implement batching in UDP iterator Aditi Ghag
2023-03-24 21:56 ` Stanislav Fomichev
2023-03-27 15:52 ` Aditi Ghag
2023-03-27 16:52 ` Stanislav Fomichev
2023-03-27 22:28 ` Martin KaFai Lau
2023-03-28 17:06 ` Aditi Ghag
2023-03-28 21:33 ` Martin KaFai Lau
2023-03-29 16:20 ` Aditi Ghag
2023-03-23 20:06 ` [PATCH v4 bpf-next 2/4] bpf: Add bpf_sock_destroy kfunc Aditi Ghag
2023-03-23 23:58 ` Martin KaFai Lau
2023-03-24 21:37 ` Stanislav Fomichev
2023-03-30 14:42 ` Aditi Ghag
2023-03-30 16:32 ` Stanislav Fomichev
2023-03-30 17:30 ` Martin KaFai Lau
2023-04-03 15:58 ` Aditi Ghag
2023-03-23 20:06 ` [PATCH v4 bpf-next 3/4] bpf,tcp: Avoid taking fast sock lock in iterator Aditi Ghag
2023-03-24 21:45 ` Stanislav Fomichev
2023-03-28 15:20 ` Aditi Ghag
2023-03-27 22:34 ` Martin KaFai Lau
2023-03-23 20:06 ` [PATCH v4 bpf-next 4/4] selftests/bpf: Add tests for bpf_sock_destroy Aditi Ghag
2023-03-24 21:52 ` Stanislav Fomichev [this message]
2023-03-27 15:57 ` Aditi Ghag
2023-03-27 16:54 ` Stanislav Fomichev
2023-03-28 17:50 ` Aditi Ghag
2023-03-28 18:35 ` Stanislav Fomichev
2023-03-29 23:13 ` Aditi Ghag
2023-03-29 23:25 ` Aditi Ghag
2023-03-29 23:25 ` Stanislav Fomichev
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=ZB4btVWyDjjdIqhV@google.com \
--to=sdf@google.com \
--cc=aditi.ghag@isovalent.com \
--cc=bpf@vger.kernel.org \
--cc=edumazet@google.com \
--cc=kafai@fb.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox