Re: [PATCH bpf-next v4 03/10] bpf/verifier: Factor out check_load_mem() and check_store_reg()

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Subject: Re: [PATCH bpf-next v4 03/10] bpf/verifier: Factor out check_load_mem() and check_store_reg()
From: Alexei Starovoitov <alexei.starovoitov@xxxxxxxxx>
Date: Mon, 3 Mar 2025 10:52:08 -0800
Cc: bpf <bpf@xxxxxxxxxxxxxxx>, linux-arm-kernel <linux-arm-kernel@xxxxxxxxxxxxxxxxxxx>, bpf@xxxxxxxx, Alexei Starovoitov <ast@xxxxxxxxxx>, Xu Kuohai <xukuohai@xxxxxxxxxxxxxxx>, Eduard Zingerman <eddyz87@xxxxxxxxx>, David Vernet <void@xxxxxxxxxxxxx>, Daniel Borkmann <daniel@xxxxxxxxxxxxx>, Andrii Nakryiko <andrii@xxxxxxxxxx>, Martin KaFai Lau <martin.lau@xxxxxxxxx>, Song Liu <song@xxxxxxxxxx>, Yonghong Song <yonghong.song@xxxxxxxxx>, John Fastabend <john.fastabend@xxxxxxxxx>, KP Singh <kpsingh@xxxxxxxxxx>, Stanislav Fomichev <sdf@xxxxxxxxxxx>, Hao Luo <haoluo@xxxxxxxxxx>, Jiri Olsa <jolsa@xxxxxxxxxx>, Jonathan Corbet <corbet@xxxxxxx>, "Paul E. McKenney" <paulmck@xxxxxxxxxx>, Puranjay Mohan <puranjay@xxxxxxxxxx>, Ilya Leoshkevich <iii@xxxxxxxxxxxxx>, Heiko Carstens <hca@xxxxxxxxxxxxx>, Vasily Gorbik <gor@xxxxxxxxxxxxx>, Catalin Marinas <catalin.marinas@xxxxxxx>, Will Deacon <will@xxxxxxxxxx>, Quentin Monnet <qmo@xxxxxxxxxx>, Mykola Lysenko <mykolal@xxxxxx>, Shuah Khan <shuah@xxxxxxxxxx>, Ihor Solodrai <ihor.solodrai@xxxxxxxxx>, Yingchi Long <longyingchi24s@xxxxxxxxx>, Josh Don <joshdon@xxxxxxxxxx>, Barret Rhoden <brho@xxxxxxxxxx>, Neel Natu <neelnatu@xxxxxxxxxx>, Benjamin Segall <bsegall@xxxxxxxxxx>, LKML <linux-kernel@xxxxxxxxxxxxxxx>
In-reply-to: <8b39c94eac2bb7389ff12392ca666f939124ec4f.1740978603.git.yepeilin@google.com>

On Sun, Mar 2, 2025 at 9:37 PM Peilin Ye <yepeilin@xxxxxxxxxx> wrote:
>
> Extract BPF_LDX and most non-ATOMIC BPF_STX instruction handling logic
> in do_check() into helper functions to be used later.  While we are
> here, make that comment about "reserved fields" more specific.
>
> Suggested-by: Eduard Zingerman <eddyz87@xxxxxxxxx>
> Acked-by: Eduard Zingerman <eddyz87@xxxxxxxxx>
> Signed-off-by: Peilin Ye <yepeilin@xxxxxxxxxx>

Applied the first 3 patches.

Follow-Ups:
- Re: [PATCH bpf-next v4 03/10] bpf/verifier: Factor out check_load_mem() and check_store_reg()
  - From: Peilin Ye

References:
- [PATCH bpf-next v4 00/10] Introduce load-acquire and store-release BPF instructions
  - From: Peilin Ye
- [PATCH bpf-next v4 03/10] bpf/verifier: Factor out check_load_mem() and check_store_reg()
  - From: Peilin Ye

Prev by Date: Re: [PATCH bpf-next v4 04/10] bpf: Introduce load-acquire and store-release instructions
Next by Date: Re: [PATCH bpf-next v4 00/10] Introduce load-acquire and store-release BPF instructions
Previous by thread: [PATCH bpf-next v4 03/10] bpf/verifier: Factor out check_load_mem() and check_store_reg()
Next by thread: Re: [PATCH bpf-next v4 03/10] bpf/verifier: Factor out check_load_mem() and check_store_reg()
Index(es):
- Date
- Thread

[Index of Archives] [Linux Samsung SoC] [Linux Rockchip SoC] [Linux Actions SoC] [Linux for Synopsys ARC Processors] [Linux NFS] [Linux NILFS] [Linux USB Devel] [Video for Linux] [Linux Audio Users] [Yosemite News] [Linux Kernel] [Linux SCSI]