From: Shakeel Butt <shakeel.butt@linux.dev>
To: JP Kobryn <inwardvessel@gmail.com>
Cc: Hui Zhu <hui.zhu@linux.dev>,
Roman Gushchin <roman.gushchin@linux.dev>,
Andrew Morton <akpm@linux-foundation.org>,
Andrii Nakryiko <andrii@kernel.org>,
Eduard Zingerman <eddyz87@gmail.com>,
Ihor Solodrai <ihor.solodrai@linux.dev>,
Alexei Starovoitov <ast@kernel.org>,
Daniel Borkmann <daniel@iogearbox.net>,
Kumar Kartikeya Dwivedi <memxor@gmail.com>,
Martin KaFai Lau <martin.lau@linux.dev>,
Song Liu <song@kernel.org>,
Yonghong Song <yonghong.song@linux.dev>,
Jiri Olsa <jolsa@kernel.org>,
Emil Tsalapatis <emil@etsalapatis.com>,
Shuah Khan <shuah@kernel.org>,
David Hildenbrand <david@kernel.org>,
Barry Song <baohua@kernel.org>,
Geliang Tang <geliang@kernel.org>,
linux-kernel@vger.kernel.org, bpf@vger.kernel.org,
linux-mm@kvack.org, linux-kselftest@vger.kernel.org,
Hui Zhu <zhuhui@kylinos.cn>
Subject: Re: [PATCH bpf-next v12 1/2] mm/bpf: Add bpf_proactive_reclaim kfunc
Date: Fri, 18 Sep 2026 13:15:35 -0700 [thread overview]
Message-ID: <aq2bo5Q-YUj7lkxn@linux.dev> (raw)
In-Reply-To: <b115ece2-33a1-412e-ac25-38f339a13599@gmail.com>
On Fri, Sep 18, 2026 at 12:45:01PM -0700, JP Kobryn wrote:
> On 9/17/26 11:58 PM, Hui Zhu wrote:
> > From: Hui Zhu <zhuhui@kylinos.cn>
> >
> > BPF programs can observe memory pressure on a cgroup, e.g. refault
> > stats via bpf_mem_cgroup_page_state(), but cannot act on it:
> > triggering reclaim requires writing to memory.reclaim, which BPF
> > cannot do.
> >
> > Add bpf_proactive_reclaim(), a sleepable kfunc performing one
> > proactive reclaim pass on a memcg, like a write to memory.reclaim
> > but without retrying until the target is reached, so that when and
> > how hard to reclaim is BPF policy rather than hard-coded thresholds.
> > The reclaim target of a single call is capped at MEMCG_CHARGE_BATCH,
> > as high_work_func() does for memory.high; reclaiming more is left to
> > the program, which can call the kfunc once per bpf_wq callback and
> > stop at any point. It is limited to BPF_PROG_TYPE_SYSCALL, because
> > other sleepable programs may run with filesystem locks held, on
> > which the reclaim path could deadlock via filesystem shrinkers.
> >
> > Convert MIN_SWAPPINESS, MAX_SWAPPINESS and SWAPPINESS_ANON_ONLY from
> > macros to an enum so that they are emitted into BTF and usable from
> > BPF programs via vmlinux.h.
> >
> > Signed-off-by: Hui Zhu <zhuhui@kylinos.cn>
> > Acked-by: Shakeel Butt <shakeel.butt@linux.dev>
> > ---
> > mm/bpf_memcontrol.c | 62 ++++++++++++++++++++++++++++++++++++++++++++-
> > mm/internal.h | 10 +++++---
> > 2 files changed, 67 insertions(+), 5 deletions(-)
> >
> > diff --git a/mm/bpf_memcontrol.c b/mm/bpf_memcontrol.c
> > index 716df49d7647..c5d7f29ade85 100644
> > --- a/mm/bpf_memcontrol.c
> > +++ b/mm/bpf_memcontrol.c
> > @@ -8,6 +8,8 @@
> > #include <linux/memcontrol.h>
> > #include <linux/bpf.h>
> > +#include "internal.h"
> > +
> > __bpf_kfunc_start_defs();
> > /**
> > @@ -159,6 +161,48 @@ __bpf_kfunc void bpf_mem_cgroup_flush_stats(struct mem_cgroup *memcg)
> > mem_cgroup_flush_stats(memcg);
> > }
> > +/**
> > + * bpf_proactive_reclaim - proactively reclaim memory from a memory cgroup
> > + * @memcg: the target memory cgroup to reclaim from.
> > + * @size: the amount of memory to reclaim, in bytes, clamped to
> > + * MEMCG_CHARGE_BATCH.
> > + * @swappiness: the reclaim swappiness, in the range [MIN_SWAPPINESS,
> > + * SWAPPINESS_ANON_ONLY], or -1 to use the memcg's own
> > + * swappiness.
>
> The ANON_ONLY enumerator shouldn't be included as part of the range. I
> would change this to [MIN_SWAPPINESS, MAX_SWAPPINESS] and then specify
> that ANON_ONLY is a special mode like -1 is.
>
> > + *
> > + * Performs one proactive reclaim pass on @memcg, like a write to
> > + * memory.reclaim but without retrying until @size is reached. Call it
> > + * repeatedly to reclaim more than one batch.
> > + *
> > + * Only available to BPF_PROG_TYPE_SYSCALL, because other sleepable programs
> > + * may run with filesystem locks held, which the reclaim path can deadlock
> > + * on via filesystem shrinkers.
> > + *
> > + * Return: The amount of memory reclaimed, in bytes, or a negative error.
> > + */
> > +__bpf_kfunc long bpf_proactive_reclaim(struct mem_cgroup *memcg,
> > + unsigned long size,
> > + int swappiness)
> > +{
> > + unsigned long nr_reclaimed;
> > + unsigned long nr_pages;
> > +
> > + if (swappiness < -1 || swappiness > SWAPPINESS_ANON_ONLY)
> > + return -EINVAL;
>
> Related to the previous comment, you treat the special values as part of
> the range. It works currently, but creates a layout dependency on the
> enum. I think it would be more future-proof if you did:
>
> if (swappiness != -1 && swappiness != SWAPPINESS_ANON_ONLY) {
> if (swappiness < MIN_SWAPPINESS || swappiness > MAX_SWAPPINESS)
> return -EINVAL;
> }
>
> The previous comments I brought up are now resolved, so assuming you'll
> make the changes above you can include:
>
> Reviewed-by: JP Kobryn <jp.kobryn@linux.dev>
Hui, please make these changes and just send this patch in next version.
next prev parent reply other threads:[~2026-09-18 20:15 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-09-18 6:58 [PATCH bpf-next v12 0/2] bpf: BPF-driven proactive memcg reclaim Hui Zhu
2026-09-18 6:58 ` [PATCH bpf-next v12 1/2] mm/bpf: Add bpf_proactive_reclaim kfunc Hui Zhu
2026-09-18 19:45 ` JP Kobryn
2026-09-18 20:15 ` Shakeel Butt [this message]
2026-09-18 6:58 ` [PATCH bpf-next v12 2/2] selftests/bpf: Add memcg async reclaim test Hui Zhu
2026-09-18 8:07 ` bot+bpf-ci
2026-09-18 15:41 ` Alexei Starovoitov
2026-09-18 17:53 ` Shakeel Butt
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=aq2bo5Q-YUj7lkxn@linux.dev \
--to=shakeel.butt@linux.dev \
--cc=akpm@linux-foundation.org \
--cc=andrii@kernel.org \
--cc=ast@kernel.org \
--cc=baohua@kernel.org \
--cc=bpf@vger.kernel.org \
--cc=daniel@iogearbox.net \
--cc=david@kernel.org \
--cc=eddyz87@gmail.com \
--cc=emil@etsalapatis.com \
--cc=geliang@kernel.org \
--cc=hui.zhu@linux.dev \
--cc=ihor.solodrai@linux.dev \
--cc=inwardvessel@gmail.com \
--cc=jolsa@kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-kselftest@vger.kernel.org \
--cc=linux-mm@kvack.org \
--cc=martin.lau@linux.dev \
--cc=memxor@gmail.com \
--cc=roman.gushchin@linux.dev \
--cc=shuah@kernel.org \
--cc=song@kernel.org \
--cc=yonghong.song@linux.dev \
--cc=zhuhui@kylinos.cn \
/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®