Merge branch 'bpf-track-overlapping-rcu-protection'

Browse source

Ning Ding says:

====================
bpf: Track overlapping RCU protection

Preemption-disabled and IRQ-disabled regions provide RCU protection, but
the verifier does not account for them. Current implementation can invalidate
a task kptr while another RCU source remains active, or keep it valid
after the final source ends.

Track these regions and invalidate RCU-protected pointers only after the
last protection ends. Add task kptr tests for overlapping protection and
final-exit rejection.

This follows review of the applied spin-unlock fix series [1].

Tested in QEMU/KVM:
  ./test_progs -t task_kfunc
  ./test_progs -t preempt_lock
  ./test_progs -t irq

[1] https://lore.kernel.org/r/20260803112615.3362122-1-dingning04@gmail.com
====================

Link: https://patch.msgid.link/20260805233940.3966981-1-dingning04@gmail.com
Signed-off-by: Kumar Kartikeya Dwivedi <memxor@gmail.com>

...

This commit is contained in:

Kumar Kartikeya Dwivedi 2026-08-06 15:13:40 +02:00

parent 7d008cde75 a7f62506df

commit 8c7f55d60a

6 changed files with 220 additions and 6 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

14

kernel/bpf/verifier.c

View file

6

tools/testing/selftests/bpf/prog_tests/task_kfunc.c

View file

8

tools/testing/selftests/bpf/progs/cpumask_failure.c

View file

2

tools/testing/selftests/bpf/progs/task_kfunc_common.h

View file

49

tools/testing/selftests/bpf/progs/task_kfunc_failure.c

View file

147

tools/testing/selftests/bpf/progs/task_kfunc_success.c

View file