All of lore.kernel.org
 help / color / mirror / Atom feed
From: Anton Protopopov <a.s.protopopov@gmail.com>
To: Chris Mason <clm@meta.com>
Cc: Ihor Solodrai <ihor.solodrai@linux.dev>,
	bpf@vger.kernel.org, ast@kernel.org, andrii@kernel.org,
	aspsk@isovalent.com, daniel@iogearbox.net, eddyz87@gmail.com,
	qmo@kernel.org, yonghong.song@linux.dev, martin.lau@kernel.org
Subject: Re: [PATCH v10 bpf-next 08/11] libbpf: support llvm-generated indirect jumps
Date: Mon, 3 Nov 2025 08:29:43 +0000	[thread overview]
Message-ID: <aQhn95THkx7zPlB9@mail.gmail.com> (raw)
In-Reply-To: <9fdd88c5-2984-4a88-8605-013aa4c2ea09@meta.com>

On 25/11/02 07:58PM, Chris Mason wrote:
> On 11/2/25 7:32 PM, Ihor Solodrai wrote:
> > 
> > 
> > On 11/2/25 1:38 PM, Anton Protopopov wrote:
> >> On 25/11/02 09:13PM, bot+bpf-ci@kernel.org wrote:
>                                                      ^^^^^^^^^^^^
> >>>
> >>> Does this error message print the correct offset? Since jt is a pointer
> >>> to __u64, the array access jt[i] is at byte offset "sym_off + i * 8",
> >>> not "sym_off + i". All the other error messages in create_jt_map report
> >>> byte offsets and sizes (sym_off, jt_size, sym_off + jt_size), so this
> >>> one should probably be "sym_off + i * jt_entry_size" for consistency.
> >>
> >> Is there a way to run this AI as part of any PR to
> >> kernel-patches/bpf, not only those coming from the mailing list?
> >> Maybe for a selected commit?
> > 
> > Hi Anton,
> > 
> > If you have access to an "agentic" AI coding tool that runs locally,
> > such as Claude Code, you can use our prompts repository [1] with a
> > trigger prompt like this:
> > 
> >   Current directory is the root of a Linux Kernel git repository.
> >   Using the prompt `review/review-core.md` and the prompt directory
> >   `review` do a code review of the top commit in the Linux repository.
> > 
> > The prompts expect the "agent" to be able to read and write files, and
> > execute basic commands such as grep, find, awk and similar.
> > 
> > In principle it's possible to enable the review CI job for arbitrary
> > pull requests, but the tokens are not free so we haven't considered
> > that yet.
> 
> At least for me, it really helps having the reviews on the list.  It
> gives me the chance to see what kinds of bugs AI is flagging correctly
> and where the false positives are.  I do try and fix all the bad reviews
> that people flag, so the comments here are really helpful.
> 
> This isn't meant to discourage people from running reviews locally, I'm
> happy to help get you setup.  But I also don't want to add a barrier to
> contributing code.

Thanks. In my case AI, for the most part, finds real bugs, so it looks to be
helpful and its reviews make sense on the list. If only it could dump more in
one pass, not squeese them one by one :)

> > [1] https://github.com/masoncl/review-prompts 
> > 
> >>
> >> Also, how deterministinc it is?  Will it generate different comments
> >> for a given patch for different runs?
> > 
> > The short answer is no, the answers are not deterministic.
> > 
> > However for typical/obvious bugs you might often get a comment about
> > the same issue worded differently.
> Yeah, recent changes to the prompts have made it better, but for some
> bugs it still wanders off without flagging a percentage of the time.
> 
> Also, sometimes it'll get excited about finding a bug (even if a false
> positive) and skip to the end of the review, so if a patch has multiple
> problems, we might need multiple submissions to see them.  I've been
> working on this as well, but there's still room for improvement.

After all, it just mimics how a real reviewer would behave (excited => skip)

> -chris
> 

  reply	other threads:[~2025-11-03  8:23 UTC|newest]

Thread overview: 32+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2025-11-02 20:57 [PATCH v10 bpf-next 00/11] BPF indirect jumps Anton Protopopov
2025-11-02 20:57 ` [PATCH v10 bpf-next 01/11] bpf, x86: add new map type: instructions array Anton Protopopov
2025-11-02 20:57 ` [PATCH v10 bpf-next 02/11] selftests/bpf: add selftests for new insn_array map Anton Protopopov
2025-11-04  2:10   ` Alexei Starovoitov
2025-11-04 13:52     ` Anton Protopopov
2025-11-04 16:49       ` Alexei Starovoitov
2025-11-05  6:35         ` Anton Protopopov
2025-11-02 20:57 ` [PATCH v10 bpf-next 03/11] bpf: support instructions arrays with constants blinding Anton Protopopov
2025-11-02 20:57 ` [PATCH v10 bpf-next 04/11] selftests/bpf: test instructions arrays with blinding Anton Protopopov
2025-11-02 20:57 ` [PATCH v10 bpf-next 05/11] bpf, x86: allow indirect jumps to r8...r15 Anton Protopopov
2025-11-02 20:57 ` [PATCH v10 bpf-next 06/11] bpf, x86: add support for indirect jumps Anton Protopopov
2025-11-02 21:20   ` bot+bpf-ci
2025-11-02 22:00     ` Anton Protopopov
2025-11-02 20:57 ` [PATCH v10 bpf-next 07/11] bpf: disasm: add support for BPF_JMP|BPF_JA|BPF_X Anton Protopopov
2025-11-02 20:57 ` [PATCH v10 bpf-next 08/11] libbpf: support llvm-generated indirect jumps Anton Protopopov
2025-11-02 21:13   ` bot+bpf-ci
2025-11-02 21:36     ` Anton Protopopov
2025-11-02 21:38     ` Anton Protopopov
2025-11-03  0:32       ` Ihor Solodrai
2025-11-03  0:58         ` Chris Mason
2025-11-03  8:29           ` Anton Protopopov [this message]
2025-11-03  8:21         ` Anton Protopopov
2025-11-04  1:15   ` Eduard Zingerman
2025-11-04  1:30     ` Eduard Zingerman
2025-11-04  5:26     ` Yonghong Song
2025-11-04 18:31       ` Eduard Zingerman
2025-11-05  8:12         ` Anton Protopopov
2025-11-02 20:57 ` [PATCH v10 bpf-next 09/11] bpftool: Recognize insn_array map type Anton Protopopov
2025-11-02 20:57 ` [PATCH v10 bpf-next 10/11] selftests/bpf: add new verifier_gotox test Anton Protopopov
2025-11-02 20:57 ` [PATCH v10 bpf-next 11/11] selftests/bpf: add C-level selftests for indirect jumps Anton Protopopov
2025-11-03 20:45   ` Eduard Zingerman
2025-11-05  7:26     ` Anton Protopopov

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=aQhn95THkx7zPlB9@mail.gmail.com \
    --to=a.s.protopopov@gmail.com \
    --cc=andrii@kernel.org \
    --cc=aspsk@isovalent.com \
    --cc=ast@kernel.org \
    --cc=bpf@vger.kernel.org \
    --cc=clm@meta.com \
    --cc=daniel@iogearbox.net \
    --cc=eddyz87@gmail.com \
    --cc=ihor.solodrai@linux.dev \
    --cc=martin.lau@kernel.org \
    --cc=qmo@kernel.org \
    --cc=yonghong.song@linux.dev \
    /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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.