[PATCH bpf v1 0/3] Fix reference state management for synchronous callbacks

Kumar Kartikeya Dwivedi
2022-08-22T13:19:31Z

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:
----------
RFC v1 -> v1:
RFC v1: https://lore.kernel.org/bpf/20220815051540.18791-1-memxor@gmail.com

* 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 | 118 ++++++++++++++++++
5 files changed, 214 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

--
2.34.1