From: Christian Brauner <brauner@kernel.org>
To: Amir Goldstein <amir73il@gmail.com>, linux-fsdevel@vger.kernel.org
Cc: Chris Down <chris@chrisdown.name>,
Miklos Szeredi <mszeredi@redhat.com>,
linux-unionfs@vger.kernel.org, linux-kernel@vger.kernel.org,
bpf@vger.kernel.org, linux-trace-kernel@vger.kernel.org,
linux-integrity@vger.kernel.org,
linux-security-module@vger.kernel.org, linux-mm@kvack.org,
"Christian Brauner (Amutable)" <brauner@kernel.org>
Subject: [PATCH 13/13] selftests/bpf: add uprobe_multi test on overlayfs without data
Date: Sun, 15 Nov 2026 15:01:43 +0100 [thread overview]
Message-ID: <20261115-work-ovl-d_real-v1-13-ca155efbcb2e@kernel.org> (raw)
In-Reply-To: <20261115-work-ovl-d_real-v1-0-ca155efbcb2e@kernel.org>
Add a uprobe_multi test that attaches to a metacopy file on overlayfs
whose redirect into a data-only layer points at nothing:
- the overlayfs is set up in a child in its own mount namespace
- BPF_LINK_CREATE must fail with ENOENT from the lazy lowerdata lookup
- skip if overlayfs with data-only layers isn't available
Before d_real() could fail this got an EIO from uprobe_register().
Signed-off-by: Christian Brauner (Amutable) <brauner@kernel.org>
---
.../selftests/bpf/prog_tests/uprobe_multi_test.c | 141 +++++++++++++++++++++
1 file changed, 141 insertions(+)
diff --git a/tools/testing/selftests/bpf/prog_tests/uprobe_multi_test.c b/tools/testing/selftests/bpf/prog_tests/uprobe_multi_test.c
index 7fbcfddc3cc36..907d8c6d5ec93 100644
--- a/tools/testing/selftests/bpf/prog_tests/uprobe_multi_test.c
+++ b/tools/testing/selftests/bpf/prog_tests/uprobe_multi_test.c
@@ -3,6 +3,10 @@
#include <unistd.h>
#include <pthread.h>
#include <fcntl.h>
+#include <sched.h>
+#include <sys/mount.h>
+#include <sys/stat.h>
+#include <sys/xattr.h>
#include <test_progs.h>
#include "uprobe_multi.skel.h"
#include "uprobe_multi_bench.skel.h"
@@ -575,6 +579,141 @@ static void test_attach_api_fails(void)
uprobe_multi__destroy(skel);
}
+enum ovl_no_data_stage {
+ OVL_NO_DATA_SETUP,
+ OVL_NO_DATA_MOUNT,
+ OVL_NO_DATA_ATTACH,
+};
+
+struct ovl_no_data_result {
+ enum ovl_no_data_stage stage;
+ int err;
+};
+
+/*
+ * Runs in a child in its own mount namespace. Create an overlayfs with a
+ * metacopy file whose redirect into a data-only layer points at nothing
+ * and try to attach to it.
+ */
+static void ovl_no_data_child(int prog_fd, const char *dir, int wfd)
+{
+ struct ovl_no_data_result res = { .stage = OVL_NO_DATA_SETUP };
+ LIBBPF_OPTS(bpf_link_create_opts, opts);
+ char path[PATH_MAX], data[PATH_MAX * 2 + 32];
+ unsigned long offset = 0;
+ int fd;
+
+ if (unshare(CLONE_NEWNS) ||
+ mount(NULL, "/", NULL, MS_REC | MS_PRIVATE, NULL) ||
+ mount("tmpfs", dir, "tmpfs", 0, NULL))
+ goto out_errno;
+
+ snprintf(path, sizeof(path), "%s/lower", dir);
+ if (mkdir(path, 0755))
+ goto out_errno;
+ snprintf(path, sizeof(path), "%s/data", dir);
+ if (mkdir(path, 0755))
+ goto out_errno;
+ snprintf(path, sizeof(path), "%s/merged", dir);
+ if (mkdir(path, 0755))
+ goto out_errno;
+
+ snprintf(path, sizeof(path), "%s/lower/f", dir);
+ fd = open(path, O_CREAT | O_WRONLY, 0755);
+ if (fd < 0)
+ goto out_errno;
+ close(fd);
+ if (setxattr(path, "trusted.overlay.metacopy", "", 0, 0) ||
+ setxattr(path, "trusted.overlay.redirect", "/missing",
+ strlen("/missing"), 0))
+ goto out_errno;
+
+ res.stage = OVL_NO_DATA_MOUNT;
+ snprintf(data, sizeof(data), "lowerdir=%s/lower::%s/data", dir, dir);
+ snprintf(path, sizeof(path), "%s/merged", dir);
+ if (mount("overlay", path, "overlay", 0, data))
+ goto out_errno;
+
+ res.stage = OVL_NO_DATA_ATTACH;
+ snprintf(path, sizeof(path), "%s/merged/f", dir);
+ opts.uprobe_multi.path = path;
+ opts.uprobe_multi.offsets = &offset;
+ opts.uprobe_multi.cnt = 1;
+ res.err = bpf_link_create(prog_fd, 0, BPF_TRACE_UPROBE_MULTI, &opts);
+ if (res.err >= 0)
+ close(res.err);
+ goto out;
+
+out_errno:
+ res.err = -errno;
+out:
+ if (write(wfd, &res, sizeof(res)) != sizeof(res))
+ _exit(1);
+ _exit(0);
+}
+
+/*
+ * The data of a metacopy file in an overlayfs data-only layer is looked up
+ * lazily. If it can't be found attaching must fail with the error from the
+ * lookup.
+ */
+static void test_attach_api_fails_ovl_no_data(void)
+{
+ struct ovl_no_data_result res = {};
+ char dir[] = "/tmp/uprobe_multi_ovl.XXXXXX";
+ struct uprobe_multi *skel = NULL;
+ int pipefd[2] = { -1, -1 };
+ int status, prog_fd;
+ ssize_t n;
+ pid_t pid;
+
+ skel = uprobe_multi__open_and_load();
+ if (!ASSERT_OK_PTR(skel, "uprobe_multi__open_and_load"))
+ return;
+ prog_fd = bpf_program__fd(skel->progs.uprobe_extra);
+
+ if (!ASSERT_OK_PTR(mkdtemp(dir), "mkdtemp"))
+ goto cleanup;
+ if (!ASSERT_OK(pipe(pipefd), "pipe"))
+ goto cleanup_dir;
+
+ pid = fork();
+ if (!ASSERT_GE(pid, 0, "fork"))
+ goto cleanup_pipe;
+ if (pid == 0) {
+ close(pipefd[0]);
+ ovl_no_data_child(prog_fd, dir, pipefd[1]);
+ }
+
+ close(pipefd[1]);
+ pipefd[1] = -1;
+ n = read(pipefd[0], &res, sizeof(res));
+ if (!ASSERT_EQ(waitpid(pid, &status, 0), pid, "waitpid"))
+ goto cleanup_pipe;
+ if (!ASSERT_EQ(n, sizeof(res), "read result"))
+ goto cleanup_pipe;
+
+ if (res.stage == OVL_NO_DATA_MOUNT) {
+ printf("%s:SKIP: overlayfs with data-only layers not available (%d)\n",
+ __func__, res.err);
+ test__skip();
+ goto cleanup_pipe;
+ }
+ if (!ASSERT_EQ(res.stage, OVL_NO_DATA_ATTACH, "setup"))
+ goto cleanup_pipe;
+ ASSERT_EQ(res.err, -ENOENT, "link_create");
+
+cleanup_pipe:
+ if (pipefd[0] >= 0)
+ close(pipefd[0]);
+ if (pipefd[1] >= 0)
+ close(pipefd[1]);
+cleanup_dir:
+ rmdir(dir);
+cleanup:
+ uprobe_multi__destroy(skel);
+}
+
#ifdef __x86_64__
noinline void uprobe_multi_error_func(void)
{
@@ -1452,6 +1591,8 @@ void test_uprobe_multi_test(void)
test_bench_attach_usdt();
if (test__start_subtest("attach_api_fails"))
test_attach_api_fails();
+ if (test__start_subtest("attach_api_fails_ovl_no_data"))
+ test_attach_api_fails_ovl_no_data();
if (test__start_subtest("attach_uprobe_fails"))
test_attach_uprobe_fails();
if (test__start_subtest("consumers"))
--
2.53.0
next prev parent reply other threads:[~2026-11-15 14:02 UTC|newest]
Thread overview: 32+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-11-15 14:01 [PATCH 00/13] fs: let d_real() fail Christian Brauner
2026-11-15 14:01 ` [PATCH 01/13] ovl: don't warn when the lazy lowerdata lookup fails in ovl_d_real() Christian Brauner
2026-11-15 14:12 ` sashiko-bot
2026-11-15 14:54 ` Amir Goldstein
2026-11-15 14:01 ` [PATCH 02/13] fs: add d_real_data_inode() and d_real_metadata_inode() Christian Brauner
2026-11-15 14:05 ` sashiko-bot
2026-11-15 15:00 ` Amir Goldstein
2026-11-15 14:01 ` [PATCH 03/13] tracing/uprobes: handle errors from resolving the real inode Christian Brauner
2026-11-15 14:07 ` sashiko-bot
2026-11-15 14:01 ` [PATCH 04/13] bpf: handle errors from resolving the real inode in uprobe_multi Christian Brauner
2026-11-15 14:06 ` sashiko-bot
2026-11-15 14:01 ` [PATCH 05/13] selftests/bpf: handle d_real_data_inode() errors in bpf_testmod Christian Brauner
2026-11-15 14:05 ` sashiko-bot
2026-11-15 14:01 ` [PATCH 06/13] ima: handle errors from resolving the real inode Christian Brauner
2026-11-15 14:10 ` sashiko-bot
2026-11-15 14:01 ` [PATCH 07/13] ima,evm: use d_real_metadata_inode() Christian Brauner
2026-11-15 14:05 ` sashiko-bot
2026-11-15 14:01 ` [PATCH 08/13] ipe: handle errors from resolving the real inode Christian Brauner
2026-11-15 14:07 ` sashiko-bot
2026-11-15 14:37 ` bot+bpf-ci
2026-11-15 14:01 ` [PATCH 09/13] bpf: return NULL from bpf_real_data_inode() on errors Christian Brauner
2026-11-15 14:08 ` sashiko-bot
2026-11-15 14:01 ` [PATCH 10/13] ovl: return the error from the lazy lowerdata lookup in ovl_d_real() Christian Brauner
2026-11-15 14:15 ` sashiko-bot
2026-11-15 14:47 ` Amir Goldstein
2026-11-15 14:01 ` [PATCH 11/13] fs: remove d_real_inode() Christian Brauner
2026-11-15 14:07 ` sashiko-bot
2026-11-15 14:48 ` Amir Goldstein
2026-11-15 14:01 ` [PATCH 12/13] selftests/ftrace: add uprobe tests on overlayfs Christian Brauner
2026-11-15 14:18 ` sashiko-bot
2026-11-15 14:01 ` Christian Brauner [this message]
2026-11-15 14:12 ` [PATCH 13/13] selftests/bpf: add uprobe_multi test on overlayfs without data sashiko-bot
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=20261115-work-ovl-d_real-v1-13-ca155efbcb2e@kernel.org \
--to=brauner@kernel.org \
--cc=amir73il@gmail.com \
--cc=bpf@vger.kernel.org \
--cc=chris@chrisdown.name \
--cc=linux-fsdevel@vger.kernel.org \
--cc=linux-integrity@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-mm@kvack.org \
--cc=linux-security-module@vger.kernel.org \
--cc=linux-trace-kernel@vger.kernel.org \
--cc=linux-unionfs@vger.kernel.org \
--cc=mszeredi@redhat.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