From: Yafang Shao <laoar.shao@gmail.com>
To: ast@kernel.org, daniel@iogearbox.net, andrii@kernel.org,
eddyz87@gmail.com, memxor@gmail.com, mingo@redhat.com,
peterz@infradead.org, juri.lelli@redhat.com,
vincent.guittot@linaro.org, akpm@linux-foundation.org,
david@kernel.org, gourry@gourry.net, tj@kernel.org,
hannes@cmpxchg.org, mkoutny@suse.com, shakeel.butt@linux.dev,
roman.gushchin@linux.dev, yu.c.chen@intel.com,
zhao1.liu@intel.com, tim.c.chen@linux.intel.com,
lizhe.67@bytedance.com
Cc: bpf@vger.kernel.org, linux-mm@kvack.org, cgroups@vger.kernel.org,
linux-kernel@vger.kernel.org, Yafang Shao <laoar.shao@gmail.com>
Subject: [RFC PATCH v3 bpf-next 5/5] selftests/bpf: add tests for the numab kfuncs
Date: Mon, 19 Oct 2026 14:41:57 +0800 [thread overview]
Message-ID: <20261019064157.29885-6-laoar.shao@gmail.com> (raw)
In-Reply-To: <20261019064157.29885-1-laoar.shao@gmail.com>
Exercise the bpf_numab_set_mode() and bpf_numab_get_mode() kfuncs
through BPF_PROG_TYPE_SYSCALL programs: the set/get roundtrip, the
mode domain (NUMAB_FOLLOW_SYSTEM and the NUMA_BALANCING_* bitmasks
accepted, anything else rejected with -EINVAL), unknown cgroup ids
rejected with -ENOENT, and the hierarchy combination the ancestor walk
produces (inheritance, OR-ing, and an opt-out winning over every
request in the chain).
Assisted-by: LLM
Signed-off-by: Yafang Shao <laoar.shao@gmail.com>
---
.../selftests/bpf/prog_tests/bpf_numab.c | 227 ++++++++++++++++++
tools/testing/selftests/bpf/progs/bpf_numab.c | 32 +++
2 files changed, 259 insertions(+)
create mode 100644 tools/testing/selftests/bpf/prog_tests/bpf_numab.c
create mode 100644 tools/testing/selftests/bpf/progs/bpf_numab.c
diff --git a/tools/testing/selftests/bpf/prog_tests/bpf_numab.c b/tools/testing/selftests/bpf/prog_tests/bpf_numab.c
new file mode 100644
index 000000000000..7ce4b8153c42
--- /dev/null
+++ b/tools/testing/selftests/bpf/prog_tests/bpf_numab.c
@@ -0,0 +1,227 @@
+// SPDX-License-Identifier: GPL-2.0
+
+#include <test_progs.h>
+#include "cgroup_helpers.h"
+#include "bpf_numab.skel.h"
+
+#define CGROUP_PATH "/bpf_numab"
+#define CHILD_PATH CGROUP_PATH "/child"
+
+/* The per-cgroup request domain, mirroring the kernel constants. */
+#define NUMAB_FOLLOW_SYSTEM (-1)
+#define NUMAB_DISABLED 0
+#define NUMAB_NORMAL 1
+#define NUMAB_TIERING 2
+#define NUMAB_NORMAL_TIERING 3
+
+static int numab_set(struct bpf_numab *skel, u64 cgid,
+ long mode)
+{
+ LIBBPF_OPTS(bpf_test_run_opts, opts);
+ int ret;
+
+ skel->bss->set_cgid = cgid;
+ skel->bss->set_mode = mode;
+ ret = bpf_prog_test_run_opts(bpf_program__fd(skel->progs.numab_set),
+ &opts);
+ if (!ASSERT_OK(ret, "set run"))
+ return -1;
+ return skel->bss->set_ret;
+}
+
+static long numab_get(struct bpf_numab *skel, u64 cgid)
+{
+ LIBBPF_OPTS(bpf_test_run_opts, opts);
+ int ret;
+
+ skel->bss->get_cgid = cgid;
+ ret = bpf_prog_test_run_opts(bpf_program__fd(skel->progs.numab_get),
+ &opts);
+ if (!ASSERT_OK(ret, "get run"))
+ return -1;
+ return skel->bss->get_mode;
+}
+
+/*
+ * Roundtrip through the combined view: the test cgroup has no ancestor
+ * making a request, so the combined mode is the stored one.
+ */
+static void test_set_get(void)
+{
+ struct bpf_numab *skel;
+ int cgroup_fd;
+ u64 cgid;
+
+ cgroup_fd = test__join_cgroup(CGROUP_PATH);
+ if (!ASSERT_GE(cgroup_fd, 0, "join_cgroup"))
+ return;
+
+ skel = bpf_numab__open_and_load();
+ if (!ASSERT_OK_PTR(skel, "open_and_load"))
+ goto cleanup;
+
+ cgid = get_cgroup_id(CGROUP_PATH);
+ if (!ASSERT_GT(cgid, 0, "get_cgroup_id"))
+ goto cleanup;
+
+ ASSERT_EQ(numab_set(skel, cgid, NUMAB_NORMAL), 0, "set normal");
+ ASSERT_EQ(numab_get(skel, cgid), NUMAB_NORMAL, "get normal");
+
+ ASSERT_EQ(numab_set(skel, cgid, NUMAB_TIERING), 0, "set tiering");
+ ASSERT_EQ(numab_get(skel, cgid), NUMAB_TIERING, "get tiering");
+
+ ASSERT_EQ(numab_set(skel, cgid, NUMAB_NORMAL_TIERING), 0, "set both");
+ ASSERT_EQ(numab_get(skel, cgid), NUMAB_NORMAL_TIERING, "get both");
+
+ ASSERT_EQ(numab_set(skel, cgid, NUMAB_DISABLED), 0, "set disabled");
+ ASSERT_EQ(numab_get(skel, cgid), NUMAB_DISABLED, "get disabled");
+
+ /* Back to the system setting. */
+ ASSERT_EQ(numab_set(skel, cgid, NUMAB_FOLLOW_SYSTEM), 0, "unset");
+ ASSERT_EQ(numab_get(skel, cgid), NUMAB_FOLLOW_SYSTEM, "get unset");
+
+cleanup:
+ bpf_numab__destroy(skel);
+ close(cgroup_fd);
+}
+
+/*
+ * The mode domain: NUMAB_FOLLOW_SYSTEM and the NUMA_BALANCING_* bitmasks
+ * are accepted, anything else is rejected with -EINVAL.
+ */
+static void test_invalid_mode(void)
+{
+ struct bpf_numab *skel;
+ int cgroup_fd;
+ u64 cgid;
+
+ cgroup_fd = test__join_cgroup(CGROUP_PATH);
+ if (!ASSERT_GE(cgroup_fd, 0, "join_cgroup"))
+ return;
+
+ skel = bpf_numab__open_and_load();
+ if (!ASSERT_OK_PTR(skel, "open_and_load"))
+ goto cleanup;
+
+ cgid = get_cgroup_id(CGROUP_PATH);
+ if (!ASSERT_GT(cgid, 0, "get_cgroup_id"))
+ goto cleanup;
+
+ ASSERT_EQ(numab_set(skel, cgid, -2), -EINVAL, "set below domain");
+ ASSERT_EQ(numab_set(skel, cgid, 4), -EINVAL, "set above domain");
+ ASSERT_EQ(numab_set(skel, cgid, 0x1000), -EINVAL, "set far above");
+
+ /* The rejected requests must not have stuck. */
+ ASSERT_EQ(numab_get(skel, cgid), NUMAB_FOLLOW_SYSTEM, "get unchanged");
+
+cleanup:
+ bpf_numab__destroy(skel);
+ close(cgroup_fd);
+}
+
+/*
+ * An id that resolves to no cgroup is rejected with -ENOENT.
+ */
+static void test_bad_cgid(void)
+{
+ struct bpf_numab *skel;
+
+ skel = bpf_numab__open_and_load();
+ if (!ASSERT_OK_PTR(skel, "open_and_load"))
+ return;
+
+ ASSERT_EQ(numab_set(skel, 0, NUMAB_NORMAL), -ENOENT, "set cgid 0");
+ ASSERT_EQ(numab_get(skel, 0), -ENOENT, "get cgid 0");
+ ASSERT_EQ(numab_set(skel, 0xdeadbeef, NUMAB_NORMAL), -ENOENT,
+ "set bad cgid");
+ ASSERT_EQ(numab_get(skel, 0xdeadbeef), -ENOENT, "get bad cgid");
+
+ bpf_numab__destroy(skel);
+}
+
+/*
+ * The requests of a cgroup and of every ancestor combine: an opt-out
+ * wins over every request in the chain, otherwise the requested bits OR
+ * together, and an unset cgroup inherits what its ancestors ask for.
+ */
+static void test_hierarchy(void)
+{
+ u64 parent_cgid, child_cgid;
+ int parent_fd, child_fd;
+ struct bpf_numab *skel;
+
+ parent_fd = test__join_cgroup(CGROUP_PATH);
+ if (!ASSERT_GE(parent_fd, 0, "join_parent_cgroup"))
+ return;
+
+ child_fd = create_and_get_cgroup(CHILD_PATH);
+ if (!ASSERT_GE(child_fd, 0, "create_child_cgroup"))
+ goto cleanup_parent;
+
+ skel = bpf_numab__open_and_load();
+ if (!ASSERT_OK_PTR(skel, "open_and_load"))
+ goto cleanup;
+
+ parent_cgid = get_cgroup_id(CGROUP_PATH);
+ child_cgid = get_cgroup_id(CHILD_PATH);
+ if (!ASSERT_GT(parent_cgid, 0, "get_parent_cgid") ||
+ !ASSERT_GT(child_cgid, 0, "get_child_cgid"))
+ goto cleanup;
+
+ /* The child inherits an ancestor's request untouched. */
+ ASSERT_EQ(numab_set(skel, parent_cgid, NUMAB_TIERING), 0,
+ "set parent tiering");
+ ASSERT_EQ(numab_get(skel, child_cgid), NUMAB_TIERING,
+ "child inherits");
+
+ /* A request ORs with the ancestor's; NORMAL does not undo TIERING. */
+ ASSERT_EQ(numab_set(skel, child_cgid, NUMAB_NORMAL), 0,
+ "set child normal");
+ ASSERT_EQ(numab_get(skel, child_cgid), NUMAB_NORMAL_TIERING,
+ "or both");
+
+ /* The child's own opt-out wins. */
+ ASSERT_EQ(numab_set(skel, child_cgid, NUMAB_DISABLED), 0,
+ "set child disabled");
+ ASSERT_EQ(numab_get(skel, child_cgid), NUMAB_DISABLED,
+ "own opt-out wins");
+
+ /* So does an ancestor's: a task is never forced into balancing. */
+ ASSERT_EQ(numab_set(skel, child_cgid, NUMAB_TIERING), 0,
+ "set child tiering");
+ ASSERT_EQ(numab_set(skel, parent_cgid, NUMAB_DISABLED), 0,
+ "set parent disabled");
+ ASSERT_EQ(numab_get(skel, child_cgid), NUMAB_DISABLED,
+ "ancestor opt-out wins");
+
+ /* Unsetting the parent re-exposes the child's own request. */
+ ASSERT_EQ(numab_set(skel, parent_cgid, NUMAB_FOLLOW_SYSTEM), 0,
+ "unset parent");
+ ASSERT_EQ(numab_get(skel, child_cgid), NUMAB_TIERING,
+ "child request again");
+
+ /* Unsetting the child leaves the chain with no request. */
+ ASSERT_EQ(numab_set(skel, child_cgid, NUMAB_FOLLOW_SYSTEM), 0,
+ "unset child");
+ ASSERT_EQ(numab_get(skel, child_cgid), NUMAB_FOLLOW_SYSTEM,
+ "no request");
+
+cleanup:
+ bpf_numab__destroy(skel);
+ close(child_fd);
+ remove_cgroup(CHILD_PATH);
+cleanup_parent:
+ close(parent_fd);
+}
+
+void test_bpf_numab(void)
+{
+ if (test__start_subtest("set_get"))
+ test_set_get();
+ if (test__start_subtest("invalid_mode"))
+ test_invalid_mode();
+ if (test__start_subtest("bad_cgid"))
+ test_bad_cgid();
+ if (test__start_subtest("hierarchy"))
+ test_hierarchy();
+}
diff --git a/tools/testing/selftests/bpf/progs/bpf_numab.c b/tools/testing/selftests/bpf/progs/bpf_numab.c
new file mode 100644
index 000000000000..b386cbbc19fa
--- /dev/null
+++ b/tools/testing/selftests/bpf/progs/bpf_numab.c
@@ -0,0 +1,32 @@
+// SPDX-License-Identifier: GPL-2.0
+
+#include <vmlinux.h>
+#include <bpf/bpf_helpers.h>
+
+/* Inputs, set from userspace before each run. */
+long set_cgid;
+long set_mode;
+long get_cgid;
+
+/* Results, read back after each run. */
+long set_ret;
+long get_mode;
+
+extern int bpf_numab_set_mode(u64 cgid, s64 mode) __ksym;
+extern s64 bpf_numab_get_mode(u64 cgid) __ksym;
+
+SEC("syscall")
+int numab_set(void *ctx)
+{
+ set_ret = bpf_numab_set_mode((u64)set_cgid, set_mode);
+ return 0;
+}
+
+SEC("syscall")
+int numab_get(void *ctx)
+{
+ get_mode = bpf_numab_get_mode((u64)get_cgid);
+ return 0;
+}
+
+char _license[] SEC("license") = "GPL";
--
2.52.0
prev parent reply other threads:[~2026-10-19 6:43 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-10-19 6:41 [RFC PATCH v3 bpf-next 0/5] BPF-based per-cgroup NUMA balancing mode selection Yafang Shao
2026-10-19 6:41 ` [RFC PATCH v3 bpf-next 1/5] sched: fix stale get_pref_llc() stub for !CONFIG_SCHED_CACHE Yafang Shao
2026-10-19 6:41 ` [RFC PATCH v3 bpf-next 2/5] sched: use static_branch_likely() for the NUMA balancing tick check Yafang Shao
2026-10-19 6:41 ` [RFC PATCH v3 bpf-next 3/5] sched: add helpers for numa balancing Yafang Shao
2026-10-19 7:14 ` bot+bpf-ci
2026-10-19 6:41 ` [RFC PATCH v3 bpf-next 4/5] sched: add BPF-based per-cgroup NUMA balancing mode selection Yafang Shao
2026-10-19 7:24 ` bot+bpf-ci
2026-10-19 6:41 ` Yafang Shao [this message]
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=20261019064157.29885-6-laoar.shao@gmail.com \
--to=laoar.shao@gmail.com \
--cc=akpm@linux-foundation.org \
--cc=andrii@kernel.org \
--cc=ast@kernel.org \
--cc=bpf@vger.kernel.org \
--cc=cgroups@vger.kernel.org \
--cc=daniel@iogearbox.net \
--cc=david@kernel.org \
--cc=eddyz87@gmail.com \
--cc=gourry@gourry.net \
--cc=hannes@cmpxchg.org \
--cc=juri.lelli@redhat.com \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-mm@kvack.org \
--cc=lizhe.67@bytedance.com \
--cc=memxor@gmail.com \
--cc=mingo@redhat.com \
--cc=mkoutny@suse.com \
--cc=peterz@infradead.org \
--cc=roman.gushchin@linux.dev \
--cc=shakeel.butt@linux.dev \
--cc=tim.c.chen@linux.intel.com \
--cc=tj@kernel.org \
--cc=vincent.guittot@linaro.org \
--cc=yu.c.chen@intel.com \
--cc=zhao1.liu@intel.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
all inboxes | Powered by JetHome®