From: Jiri Olsa <olsajiri@gmail.com>
To: Dmitrii Dolgov <9erthalion6@gmail.com>
Cc: bpf@vger.kernel.org, ast@kernel.org, daniel@iogearbox.net,
andrii@kernel.org, martin.lau@linux.dev, song@kernel.org,
yonghong.song@linux.dev, dan.carpenter@linaro.org,
olsajiri@gmail.com, asavkov@redhat.com
Subject: Re: [PATCH bpf-next v10 2/4] selftests/bpf: Add test for recursive attachment of tracing progs
Date: Thu, 21 Dec 2023 19:02:18 +0100 [thread overview]
Message-ID: <ZYR9qqKNheExCCIP@krava> (raw)
In-Reply-To: <20231220180422.8375-3-9erthalion6@gmail.com>
On Wed, Dec 20, 2023 at 07:04:17PM +0100, Dmitrii Dolgov wrote:
> Verify the fact that only one fentry prog could be attached to another
> fentry, building up an attachment chain of limited size. Use existing
> bpf_testmod as a start of the chain.
>
> Signed-off-by: Dmitrii Dolgov <9erthalion6@gmail.com>
> ---
> Changes in v10:
> - Add tests for loading tracing progs without attaching, and
> detaching tracing progs.
>
> Changes in v8:
> - Cleanup test bpf progs and the content of first/second condition
> in the loop.
>
> Changes in v5:
> - Test only one level of attachment
>
> .../bpf/prog_tests/recursive_attach.c | 192 ++++++++++++++++++
> .../selftests/bpf/progs/fentry_recursive.c | 16 ++
> .../bpf/progs/fentry_recursive_target.c | 17 ++
> 3 files changed, 225 insertions(+)
> create mode 100644 tools/testing/selftests/bpf/prog_tests/recursive_attach.c
> create mode 100644 tools/testing/selftests/bpf/progs/fentry_recursive.c
> create mode 100644 tools/testing/selftests/bpf/progs/fentry_recursive_target.c
>
> diff --git a/tools/testing/selftests/bpf/prog_tests/recursive_attach.c b/tools/testing/selftests/bpf/prog_tests/recursive_attach.c
> new file mode 100644
> index 000000000000..4b46dc358925
> --- /dev/null
> +++ b/tools/testing/selftests/bpf/prog_tests/recursive_attach.c
> @@ -0,0 +1,192 @@
> +// SPDX-License-Identifier: GPL-2.0
> +/* Copyright (c) 2023 Red Hat, Inc. */
> +#include <test_progs.h>
> +#include "fentry_recursive.skel.h"
> +#include "fentry_recursive_target.skel.h"
> +#include <bpf/btf.h>
> +#include "bpf/libbpf_internal.h"
> +
> +/*
> + * Test that recursive attachment of tracing progs with more than one nesting
> + * level is not possible. Create a chain of attachment, verify that the last
> + * prog will fail.
> + */
> +void test_recursive_fentry_attach(void)
> +{
please use subtests for multiple tests in one object,
check for example the test_kprobe_multi_test
jirka
> + struct fentry_recursive_target *target_skel = NULL;
> + struct fentry_recursive *tracing_chain[2] = {};
> + struct bpf_program *prog;
> + int prev_fd, err;
> +
> + target_skel = fentry_recursive_target__open_and_load();
> + if (!ASSERT_OK_PTR(target_skel, "fentry_recursive_target__open_and_load"))
> + goto close_prog;
> +
> + /* Create an attachment chain with two fentry progs */
> + for (int i = 0; i < 2; i++) {
> + tracing_chain[i] = fentry_recursive__open();
> + if (!ASSERT_OK_PTR(tracing_chain[i], "fentry_recursive__open"))
> + goto close_prog;
> +
> + /*
> + * The first prog in the chain is going to be attached to the target
> + * fentry program, the second one to the previous in the chain.
> + */
> + prog = tracing_chain[i]->progs.recursive_attach;
> + if (i == 0) {
> + prev_fd = bpf_program__fd(target_skel->progs.test1);
> + err = bpf_program__set_attach_target(prog, prev_fd, "test1");
> + } else {
> + prev_fd = bpf_program__fd(tracing_chain[i-1]->progs.recursive_attach);
> + err = bpf_program__set_attach_target(prog, prev_fd, "recursive_attach");
> + }
> +
> + if (!ASSERT_OK(err, "bpf_program__set_attach_target"))
> + goto close_prog;
> +
> + err = fentry_recursive__load(tracing_chain[i]);
> + /* The first attach should succeed, the second fail */
> + if (i == 0) {
> + if (!ASSERT_OK(err, "fentry_recursive__load"))
> + goto close_prog;
> +
> + err = fentry_recursive__attach(tracing_chain[i]);
> + if (!ASSERT_OK(err, "fentry_recursive__attach"))
> + goto close_prog;
> + } else {
> + if (!ASSERT_ERR(err, "fentry_recursive__load"))
> + goto close_prog;
> + }
> + }
> +
> +close_prog:
> + fentry_recursive_target__destroy(target_skel);
> + for (int i = 0; i < 2; i++) {
> + if (tracing_chain[i])
> + fentry_recursive__destroy(tracing_chain[i]);
> + }
> +}
> +
> +/*
> + * Test that recursive loading of tracing progs with more than one nesting
> + * level is not possible either. Identical to the previous one, but without
> + * fentry attach.
> + */
> +void test_recursive_fentry_load(void)
> +{
> + struct fentry_recursive_target *target_skel = NULL;
> + struct fentry_recursive *tracing_chain[2] = {};
> + struct bpf_program *prog;
> + int prev_fd, err;
> +
> + target_skel = fentry_recursive_target__open_and_load();
> + if (!ASSERT_OK_PTR(target_skel, "fentry_recursive_target__open_and_load"))
> + goto close_prog;
> +
> + /* Create an attachment chain with two fentry progs */
> + for (int i = 0; i < 2; i++) {
> + tracing_chain[i] = fentry_recursive__open();
> + if (!ASSERT_OK_PTR(tracing_chain[i], "fentry_recursive__open"))
> + goto close_prog;
> +
> + /*
> + * The first prog in the chain is going to be attached to the target
> + * fentry program, the second one to the previous in the chain.
> + */
> + prog = tracing_chain[i]->progs.recursive_attach;
> + if (i == 0) {
> + prev_fd = bpf_program__fd(target_skel->progs.test1);
> + err = bpf_program__set_attach_target(prog, prev_fd, "test1");
> + } else {
> + prev_fd = bpf_program__fd(tracing_chain[i-1]->progs.recursive_attach);
> + err = bpf_program__set_attach_target(prog, prev_fd, "recursive_attach");
> + }
> +
> + if (!ASSERT_OK(err, "bpf_program__set_attach_target"))
> + goto close_prog;
> +
> + err = fentry_recursive__load(tracing_chain[i]);
> + /* The first attach should succeed, the second fail */
> + if (i == 0) {
> + if (!ASSERT_OK(err, "fentry_recursive__load"))
> + goto close_prog;
> + } else {
> + if (!ASSERT_ERR(err, "fentry_recursive__load"))
> + goto close_prog;
> + }
> + }
> +
> +close_prog:
> + fentry_recursive_target__destroy(target_skel);
> + for (int i = 0; i < 2; i++) {
> + if (tracing_chain[i])
> + fentry_recursive__destroy(tracing_chain[i]);
> + }
> +}
> +
> +/*
> + * Test that attach_tracing_prog flag will be set throughout the whole
> + * lifecycle of an fentry prog, independently from whether it's detached.
> + */
> +void test_recursive_fentry_detach(void)
> +{
> + struct fentry_recursive_target *target_skel = NULL;
> + struct fentry_recursive *tracing_chain[2] = {};
> + struct bpf_program *prog;
> + int prev_fd, err;
> +
> + /* Load the target fentry */
> + target_skel = fentry_recursive_target__open_and_load();
> + if (!ASSERT_OK_PTR(target_skel, "fentry_recursive_target__open_and_load"))
> + goto close_prog;
> +
> + /* Create an attachment chain with two fentry progs */
> + for (int i = 0; i < 2; i++) {
> + tracing_chain[i] = fentry_recursive__open();
> + if (!ASSERT_OK_PTR(tracing_chain[i], "fentry_recursive__open"))
> + goto close_prog;
> +
> + /*
> + * The first prog in the chain is going to be attached to the target
> + * fentry program, the second one to the previous in the chain.
> + */
> + prog = tracing_chain[i]->progs.recursive_attach;
> + if (i == 0) {
> + prev_fd = bpf_program__fd(target_skel->progs.test1);
> + err = bpf_program__set_attach_target(prog, prev_fd, "test1");
> + } else {
> + prev_fd = bpf_program__fd(tracing_chain[i-1]->progs.recursive_attach);
> + err = bpf_program__set_attach_target(prog, prev_fd, "recursive_attach");
> + }
> +
> + if (!ASSERT_OK(err, "bpf_program__set_attach_target"))
> + goto close_prog;
> +
> + err = fentry_recursive__load(tracing_chain[i]);
> + /* The first attach should succeed, the second fail */
> + if (i == 0) {
> + if (!ASSERT_OK(err, "fentry_recursive__load"))
> + goto close_prog;
> +
> + err = fentry_recursive__attach(tracing_chain[i]);
> + if (!ASSERT_OK(err, "fentry_recursive__attach"))
> + goto close_prog;
> +
> + /*
> + * Flag attach_tracing_prog should still be set, preventing
> + * attachment of the following prog.
> + */
> + fentry_recursive__detach(tracing_chain[i]);
> + } else {
> + if (!ASSERT_ERR(err, "fentry_recursive__load"))
> + goto close_prog;
> + }
> + }
> +
> +close_prog:
> + fentry_recursive_target__destroy(target_skel);
> + for (int i = 0; i < 2; i++) {
> + if (tracing_chain[i])
> + fentry_recursive__destroy(tracing_chain[i]);
> + }
> +}
> diff --git a/tools/testing/selftests/bpf/progs/fentry_recursive.c b/tools/testing/selftests/bpf/progs/fentry_recursive.c
> new file mode 100644
> index 000000000000..b9e4d35ac597
> --- /dev/null
> +++ b/tools/testing/selftests/bpf/progs/fentry_recursive.c
> @@ -0,0 +1,16 @@
> +// SPDX-License-Identifier: GPL-2.0
> +/* Copyright (c) 2023 Red Hat, Inc. */
> +#include <linux/bpf.h>
> +#include <bpf/bpf_helpers.h>
> +#include <bpf/bpf_tracing.h>
> +
> +char _license[] SEC("license") = "GPL";
> +
> +/*
> + * Dummy fentry bpf prog for testing fentry attachment chains
> + */
> +SEC("fentry/XXX")
> +int BPF_PROG(recursive_attach, int a)
> +{
> + return 0;
> +}
> diff --git a/tools/testing/selftests/bpf/progs/fentry_recursive_target.c b/tools/testing/selftests/bpf/progs/fentry_recursive_target.c
> new file mode 100644
> index 000000000000..6e0b5c716f8e
> --- /dev/null
> +++ b/tools/testing/selftests/bpf/progs/fentry_recursive_target.c
> @@ -0,0 +1,17 @@
> +// SPDX-License-Identifier: GPL-2.0
> +/* Copyright (c) 2023 Red Hat, Inc. */
> +#include <linux/bpf.h>
> +#include <bpf/bpf_helpers.h>
> +#include <bpf/bpf_tracing.h>
> +
> +char _license[] SEC("license") = "GPL";
> +
> +/*
> + * Dummy fentry bpf prog for testing fentry attachment chains. It's going to be
> + * a start of the chain.
> + */
> +SEC("fentry/bpf_testmod_fentry_test1")
> +int BPF_PROG(test1, int a)
> +{
> + return 0;
> +}
> --
> 2.41.0
>
next prev parent reply other threads:[~2023-12-21 18:02 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-12-20 18:04 [PATCH bpf-next v10 0/4] Relax tracing prog recursive attach rules Dmitrii Dolgov
2023-12-20 18:04 ` [PATCH bpf-next v10 1/4] bpf: " Dmitrii Dolgov
2023-12-21 18:02 ` Jiri Olsa
2023-12-21 20:24 ` Dmitry Dolgov
2023-12-21 22:13 ` Jiri Olsa
2023-12-22 14:05 ` Dmitry Dolgov
2023-12-20 18:04 ` [PATCH bpf-next v10 2/4] selftests/bpf: Add test for recursive attachment of tracing progs Dmitrii Dolgov
2023-12-21 18:02 ` Jiri Olsa [this message]
2023-12-20 18:04 ` [PATCH bpf-next v10 3/4] bpf: Fix re-attachment branch in bpf_tracing_prog_attach Dmitrii Dolgov
2023-12-20 18:04 ` [PATCH bpf-next v10 4/4] selftests/bpf: Test re-attachment fix for bpf_tracing_prog_attach Dmitrii Dolgov
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=ZYR9qqKNheExCCIP@krava \
--to=olsajiri@gmail.com \
--cc=9erthalion6@gmail.com \
--cc=andrii@kernel.org \
--cc=asavkov@redhat.com \
--cc=ast@kernel.org \
--cc=bpf@vger.kernel.org \
--cc=dan.carpenter@linaro.org \
--cc=daniel@iogearbox.net \
--cc=martin.lau@linux.dev \
--cc=song@kernel.org \
--cc=yonghong.song@linux.dev \
/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