From: Mykyta Yatsenko <mykyta.yatsenko5@gmail.com>
To: Andrii Nakryiko <andrii.nakryiko@gmail.com>
Cc: bpf@vger.kernel.org, ast@kernel.org, andrii@kernel.org,
daniel@iogearbox.net, kafai@meta.com, kernel-team@meta.com,
eddyz87@gmail.com, memxor@gmail.com,
Mykyta Yatsenko <yatsenko@meta.com>
Subject: Re: [RFC PATCH v1 04/10] lib/freader: support reading more than 2 folios
Date: Fri, 3 Oct 2025 19:29:42 +0100 [thread overview]
Message-ID: <aea8063e-a7f6-4d25-a88e-01e4a55ee130@gmail.com> (raw)
In-Reply-To: <CAEf4BzZLvt1kqFsVjG2oC6yf980Y_p8zW0QXu18EWWi8-S4KjA@mail.gmail.com>
On 10/3/25 19:16, Andrii Nakryiko wrote:
> On Fri, Oct 3, 2025 at 9:04 AM Mykyta Yatsenko
> <mykyta.yatsenko5@gmail.com> wrote:
>> From: Mykyta Yatsenko <yatsenko@meta.com>
>>
>> freader_fetch currently reads from at most two folios. When a read spans
>> into a third folio, the overflow bytes are copied adjacent to the second
>> folio’s data instead of being handled as a separate folio.
>> This patch modifies fetch algorithm to support reading from many folios.
>>
>> Signed-off-by: Mykyta Yatsenko <yatsenko@meta.com>
>> ---
>> lib/freader.c | 27 ++++++++++++++++-----------
>> 1 file changed, 16 insertions(+), 11 deletions(-)
>>
>> diff --git a/lib/freader.c b/lib/freader.c
>> index 32a17d137b32..f73b594a137d 100644
>> --- a/lib/freader.c
>> +++ b/lib/freader.c
>> @@ -105,17 +105,22 @@ const void *freader_fetch(struct freader *r, loff_t file_off, size_t sz)
>> folio_sz = folio_size(r->folio);
>> if (file_off + sz > r->folio_off + folio_sz) {
>> int part_sz = r->folio_off + folio_sz - file_off;
> AI suggests this should be size_t or u64, it's not strictly necessary,
> probably better to have all the offsets and sizes of the same bitness
>
>> -
>> - /* copy the part that resides in the current folio */
>> - memcpy(r->buf, r->addr + (file_off - r->folio_off), part_sz);
>> -
>> - /* fetch next folio */
>> - r->err = freader_get_folio(r, r->folio_off + folio_sz);
>> - if (r->err)
>> - return NULL;
>> -
>> - /* copy the rest of requested data */
>> - memcpy(r->buf + part_sz, r->addr, sz - part_sz);
>> + size_t dst_off = 0, src_off = file_off - r->folio_off;
>> +
>> + do {
>> + memcpy(r->buf + dst_off, r->addr + src_off, part_sz);
>> + sz -= part_sz;
>> + if (sz == 0)
>> + break;
>> + /* fetch next folio */
>> + r->err = freader_get_folio(r, r->folio_off + folio_sz);
>> + if (r->err)
>> + return NULL;
>> + folio_sz = folio_size(r->folio);
>> + src_off = 0; /* read from the beginning, starting second folio */
>> + dst_off += part_sz;
>> + part_sz = min_t(u64, sz, folio_sz);
>> + } while (sz);
> it's a bit sloppy that we have sz check twice, what if we rewrite it a bit
>
> u64 part_sz = r->folio_off + folio_size(r->folio) - file_off, off;
>
> /* copy the part that resides in the first folio */
> memcpy(r->buf, r->addr + (file_off - r->folio_off), part_sz);
> off = part_sz;
>
> while (off < sz) {
> /* fetch next folio */
> r->err = freader_get_folio(r, file_off + off);
> if (r->err)
> return NULL;
>
> part_sz = min(u64, file_off + sz - r->folio_off, folio_ssize(r->folio));
> memcpy(r->buf + off, r->addr, part_sz);
>
> off += part_sz;
> }
That'll do, the choice is to check size twice or memcpy twice.
Let's do as you suggest, also helps dropping src_off variable.
>
>> return r->buf;
>> }
>> --
>> 2.51.0
>>
next prev parent reply other threads:[~2025-10-03 18:29 UTC|newest]
Thread overview: 41+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-10-03 16:04 [RFC PATCH v1 00/10] bpf: Introduce file dynptr Mykyta Yatsenko
2025-10-03 16:04 ` [RFC PATCH v1 01/10] selftests/bpf: remove unnecessary kfunc prototypes Mykyta Yatsenko
2025-10-03 17:46 ` Eduard Zingerman
2025-10-03 16:04 ` [RFC PATCH v1 02/10] bpf: widen dynptr size/offset to 64 bit Mykyta Yatsenko
2025-10-03 18:16 ` Andrii Nakryiko
2025-10-03 18:40 ` Eduard Zingerman
2025-10-03 18:53 ` Mykyta Yatsenko
2025-10-03 16:04 ` [RFC PATCH v1 03/10] lib: extract freader into a separate files Mykyta Yatsenko
2025-10-03 18:16 ` Andrii Nakryiko
2025-10-03 20:04 ` Alexei Starovoitov
2025-10-03 16:04 ` [RFC PATCH v1 04/10] lib/freader: support reading more than 2 folios Mykyta Yatsenko
2025-10-03 18:16 ` Andrii Nakryiko
2025-10-03 18:29 ` Mykyta Yatsenko [this message]
2025-10-03 18:46 ` Andrii Nakryiko
2025-10-03 16:04 ` [RFC PATCH v1 05/10] bpf: verifier: centralize const dynptr check in unmark_stack_slots_dynptr() Mykyta Yatsenko
2025-10-03 18:18 ` Andrii Nakryiko
2025-10-03 19:02 ` Eduard Zingerman
2025-10-03 16:04 ` [RFC PATCH v1 06/10] bpf: add plumbing for file-backed dynptr Mykyta Yatsenko
2025-10-03 18:38 ` Andrii Nakryiko
2025-10-03 20:55 ` Eduard Zingerman
2025-10-03 16:04 ` [RFC PATCH v1 07/10] bpf: add kfuncs and helpers support for file dynptrs Mykyta Yatsenko
2025-10-03 18:38 ` Andrii Nakryiko
2025-10-03 18:59 ` Mykyta Yatsenko
2025-10-03 21:35 ` Eduard Zingerman
2025-10-08 0:25 ` Mykyta Yatsenko
2025-10-03 16:04 ` [RFC PATCH v1 08/10] bpf: verifier: refactor kfunc specialization Mykyta Yatsenko
2025-10-03 22:08 ` Eduard Zingerman
2025-10-08 0:35 ` Mykyta Yatsenko
2025-10-08 18:27 ` Mykyta Yatsenko
2025-10-08 19:15 ` Eduard Zingerman
2025-10-03 16:04 ` [RFC PATCH v1 09/10] bpf: dispatch to sleepable file dynptr Mykyta Yatsenko
2025-10-03 18:45 ` Andrii Nakryiko
2025-10-03 20:10 ` Alexei Starovoitov
2025-10-03 22:17 ` Eduard Zingerman
2025-10-03 16:04 ` [RFC PATCH v1 10/10] selftests/bpf: add file dynptr tests Mykyta Yatsenko
2025-10-03 20:02 ` Andrii Nakryiko
2025-10-06 11:50 ` Mykyta Yatsenko
2025-10-06 16:15 ` Andrii Nakryiko
2025-10-03 22:24 ` Eduard Zingerman
2025-10-06 11:54 ` Mykyta Yatsenko
2025-10-08 0:39 ` Mykyta Yatsenko
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=aea8063e-a7f6-4d25-a88e-01e4a55ee130@gmail.com \
--to=mykyta.yatsenko5@gmail.com \
--cc=andrii.nakryiko@gmail.com \
--cc=andrii@kernel.org \
--cc=ast@kernel.org \
--cc=bpf@vger.kernel.org \
--cc=daniel@iogearbox.net \
--cc=eddyz87@gmail.com \
--cc=kafai@meta.com \
--cc=kernel-team@meta.com \
--cc=memxor@gmail.com \
--cc=yatsenko@meta.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