[bpf,v2,0/3] Fix reference state management for synchronous callbacks

Message

Kumar Kartikeya Dwivedi Aug. 23, 2022, 1:27 a.m. UTC

This is patch 1, 2 + their individual tests split into a separate series from
the RFC, so that these can be taken in, while we continue working towards a fix
for handling stack access inside the callback.

Changelog:
----------
v1 -> v2:
v1: https://lore.kernel.org/bpf/[e-mail]

  * Fix error for test_progs-no_alu32 due to distinct alloc_insn in errstr

RFC v1 -> v1:
RFC v1: https://lore.kernel.org/bpf/[e-mail]

  * Fix up commit log to add more explanation (Alexei)
  * Split reference state fix out into a separate series

Kumar Kartikeya Dwivedi (3):
  bpf: Move bpf_loop and bpf_for_each_map_elem under CAP_BPF
  bpf: Fix reference state management for synchronous callbacks
  selftests/bpf: Add tests for reference state fixes for callbacks

 include/linux/bpf_verifier.h                  |  11 ++
 kernel/bpf/helpers.c                          |   8 +-
 kernel/bpf/verifier.c                         |  42 +++++--
 .../selftests/bpf/prog_tests/cb_refs.c        |  48 ++++++++
 tools/testing/selftests/bpf/progs/cb_refs.c   | 116 ++++++++++++++++++
 5 files changed, 212 insertions(+), 13 deletions(-)
 create mode 100644 tools/testing/selftests/bpf/prog_tests/cb_refs.c
 create mode 100644 tools/testing/selftests/bpf/progs/cb_refs.c

Comments

[e-mail] Aug. 23, 2022, 11:30 p.m. UTC | #1

Hello:

This series was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <[e-mail]>:

On Tue, 23 Aug 2022 03:27:56 +0200 you wrote:
> This is patch 1, 2 + their individual tests split into a separate series from
> the RFC, so that these can be taken in, while we continue working towards a fix
> for handling stack access inside the callback.
> 
> Changelog:
> ----------
> v1 -> v2:
> v1: https://lore.kernel.org/bpf/[e-mail]
> 
> [...]

Here is the summary with links:
  - [bpf,v2,1/3] bpf: Move bpf_loop and bpf_for_each_map_elem under CAP_BPF
    https://git.kernel.org/bpf/bpf-next/c/5679ff2f138f
  - [bpf,v2,2/3] bpf: Fix reference state management for synchronous callbacks
    https://git.kernel.org/bpf/bpf-next/c/2e5e0e8ede02
  - [bpf,v2,3/3] selftests/bpf: Add tests for reference state fixes for callbacks
    https://git.kernel.org/bpf/bpf-next/c/3cf7e7d8685c

You are awesome, thank you!