From: Ihor Solodrai <ihor.solodrai@linux.dev>
To: Mykyta Yatsenko <mykyta.yatsenko5@gmail.com>, bpf@vger.kernel.org
Cc: andrii@kernel.org, ast@kernel.org, eddyz87@gmail.com,
mykolal@fb.com, kernel-team@meta.com
Subject: Re: [PATCH bpf-next v2 1/2] bpf: add bpf_dynptr_memset() kfunc
Date: Mon, 30 Jun 2025 14:05:29 -0700 [thread overview]
Message-ID: <32a3de5b-381a-47a0-910e-ea8b02c4cf90@linux.dev> (raw)
In-Reply-To: <36486564-3ce7-403b-91e4-268cae1c4905@gmail.com>
On 6/25/25 4:27 AM, Mykyta Yatsenko wrote:
> On 6/24/25 21:52, Ihor Solodrai wrote:
>> Currently there is no straightforward way to fill dynptr memory with a
>> value (most commonly zero). One can do it with bpf_dynptr_write(), but
>> a temporary buffer is necessary for that.
>>
>> Implement bpf_dynptr_memset() - an analogue of memset() from libc.
>>
>> Signed-off-by: Ihor Solodrai <isolodrai@meta.com>
>> ---
>> kernel/bpf/helpers.c | 48 ++++++++++++++++++++++++++++++++++++++++++++
>> 1 file changed, 48 insertions(+)
>>
>> diff --git a/kernel/bpf/helpers.c b/kernel/bpf/helpers.c
>> index b71e428ad936..b8a7dbc971b4 100644
>> --- a/kernel/bpf/helpers.c
>> +++ b/kernel/bpf/helpers.c
>> @@ -2906,6 +2906,53 @@ __bpf_kfunc int bpf_dynptr_copy(struct
>> bpf_dynptr *dst_ptr, u32 dst_off,
>> return 0;
>> }
>> +/**
>> + * bpf_dynptr_memset() - Fill dynptr memory with a constant byte.
>> + * @ptr: Destination dynptr - where data will be filled
>> + * @ptr_off: Offset into the dynptr to start filling from
>> + * @size: Number of bytes to fill
>> + * @val: Constant byte to fill the memory with
>> + *
>> + * Fills the size bytes of the memory area pointed to by ptr
>> + * at offset ptr_off with the constant byte val.
>> + * Returns 0 on success; negative error, otherwise.
>> + */
>> + __bpf_kfunc int bpf_dynptr_memset(struct bpf_dynptr *ptr, u32
>> ptr_off, u32 size, u8 val)
>> + {
>> + struct bpf_dynptr_kern *p = (struct bpf_dynptr_kern *)ptr;
>> + char buf[256];
>> + u32 chunk_sz;
>> + void* slice;
>> + u32 offset;
>> + int err;
>> +
>> + if (__bpf_dynptr_is_rdonly(p))
>> + return -EINVAL;
>> +
>> + err = bpf_dynptr_check_off_len(p, ptr_off, size);
>> + if (err)
>> + return err;
>> +
>> + slice = bpf_dynptr_slice_rdwr(ptr, ptr_off, NULL, size);
>> + if (likely(slice)) {
>> + memset(slice, val, size);
>> + return 0;
>> + }
>
> bpf_dynptr_slice_rdwr is doing rdonly and off_len checks anyways, so
> perhaps we can
> avoid calling __bpf_dynptr_is_rdonly and bpf_dynptr_check_off_len before
> bpf_dynptr_slice_rdwr,
> that'll make fast path a little faster.
Yes, there are quite a bit of repetitive checks.
Same in bpf_dynptr_write() in the slow path.
In case of bpf_dynptr_slice_rdwr() the issue is that it returns a
pointer, and if we only check for null pointer we lose the information
about the error cause (is it readonly or size?). So I think it's
better to leave explicit checks.
>
>> +
>> + /* Non-linear data under the dynptr, write from a local buffer */
>> + chunk_sz = min_t(u32, sizeof(buf), size);
>> + memset(buf, val, chunk_sz);
>> +
>> + for (offset = ptr_off; offset < ptr_off + size; offset +=
>> chunk_sz) {
>> + chunk_sz = min_t(u32, sizeof(buf), size - offset);
>> + err = __bpf_dynptr_write(p, offset, buf, chunk_sz, 0);
>> + if (err)
>> + return err;
>> + }
>> +
>> + return 0;
>> +}
>> +
>> __bpf_kfunc void *bpf_cast_to_kern_ctx(void *obj)
>> {
>> return obj;
>> @@ -3364,6 +3411,7 @@ BTF_ID_FLAGS(func, bpf_dynptr_is_rdonly)
>> BTF_ID_FLAGS(func, bpf_dynptr_size)
>> BTF_ID_FLAGS(func, bpf_dynptr_clone)
>> BTF_ID_FLAGS(func, bpf_dynptr_copy)
>> +BTF_ID_FLAGS(func, bpf_dynptr_memset)
>> #ifdef CONFIG_NET
>> BTF_ID_FLAGS(func, bpf_modify_return_test_tp)
>> #endif
>
next prev parent reply other threads:[~2025-06-30 21:05 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-06-24 20:52 [PATCH bpf-next v2 0/2] bpf: add bpf_dynptr_memset() kfunc Ihor Solodrai
2025-06-24 20:52 ` [PATCH bpf-next v2 1/2] " Ihor Solodrai
2025-06-24 21:50 ` Andrii Nakryiko
2025-06-25 11:27 ` Mykyta Yatsenko
2025-06-30 21:05 ` Ihor Solodrai [this message]
2025-06-30 21:27 ` Ihor Solodrai
2025-06-24 20:52 ` [PATCH bpf-next v2 2/2] selftests/bpf: add test cases for bpf_dynptr_memset() Ihor Solodrai
2025-06-25 11:45 ` Mykyta Yatsenko
2025-06-26 1:25 ` Ihor Solodrai
2025-06-26 13:34 ` Mykyta Yatsenko
2025-06-30 21:02 ` Ihor Solodrai
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=32a3de5b-381a-47a0-910e-ea8b02c4cf90@linux.dev \
--to=ihor.solodrai@linux.dev \
--cc=andrii@kernel.org \
--cc=ast@kernel.org \
--cc=bpf@vger.kernel.org \
--cc=eddyz87@gmail.com \
--cc=kernel-team@meta.com \
--cc=mykolal@fb.com \
--cc=mykyta.yatsenko5@gmail.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