mbox series

[bpf-next,v3,0/2] bpf, x64: Introduce two tailcall enhancements

Message ID 20241107134529.8602-1-leon.hwang@linux.dev (mailing list archive)
Headers show
Series bpf, x64: Introduce two tailcall enhancements | expand

Message

Leon Hwang Nov. 7, 2024, 1:45 p.m. UTC
This patch set introduces two enhancements aimed at improving tailcall
handling in the x64 JIT:

1. Tailcall info is propagated only for subprogs.
2. Tailcall info is propagated through the trampoline only when the target
   is a subprog and it is tail_call_reachable.

Changes:
v2 -> v3:
  * Add Yonghong's ACK.

v1 -> v2:
  * Address comment from Alexei:
    * Rather live with tail call inefficiency than abuse insns fields
      further.

Leon Hwang (2):
  bpf, x64: Propagate tailcall info only for subprogs
  bpf, verifier: Check trampoline target is tail_call_reachable subprog

 arch/x86/net/bpf_jit_comp.c | 3 ++-
 include/linux/bpf.h         | 1 +
 kernel/bpf/verifier.c       | 4 +++-
 3 files changed, 6 insertions(+), 2 deletions(-)

Comments

patchwork-bot+netdevbpf@kernel.org Nov. 13, 2024, 1:40 a.m. UTC | #1
Hello:

This series was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <ast@kernel.org>:

On Thu,  7 Nov 2024 21:45:27 +0800 you wrote:
> This patch set introduces two enhancements aimed at improving tailcall
> handling in the x64 JIT:
> 
> 1. Tailcall info is propagated only for subprogs.
> 2. Tailcall info is propagated through the trampoline only when the target
>    is a subprog and it is tail_call_reachable.
> 
> [...]

Here is the summary with links:
  - [bpf-next,v3,1/2] bpf, x64: Propagate tailcall info only for subprogs
    https://git.kernel.org/bpf/bpf-next/c/a1087da9d11e
  - [bpf-next,v3,2/2] bpf, verifier: Check trampoline target is tail_call_reachable subprog
    (no matching commit)

You are awesome, thank you!