[PATCH bpf-next v1 0/2] Fix sleepable context checks in verifier
Kumar Kartikeya Dwivedi <[email protected]>
| Newsgroups | org.kernel.vger.bpf |
|---|---|
| Message-ID | <[email protected]> |
Fix insufficient in_sleepable() checks that allowed sleepable iterators and kfuncs in non-sleepable contexts (e.g., inside bpf_rcu_read_lock()). Remove in_sleepable() helper and enforce in_sleepable_context() everywhere, with direct env->cur_state->in_sleepable checks where needed. Add selftests that fail before the fix and pass after the fix. Kumar Kartikeya Dwivedi (2): bpf: Fix sleepable context checks and remove in_sleepable helper selftests/bpf: Test sleepable context distinctions kernel/bpf/verifier.c | 13 +- .../selftests/bpf/progs/iters_task_failure.c | 153 ++++++++++++++++++ 2 files changed, 157 insertions(+), 9 deletions(-) base-commit: 8c7f55d60aa3512fd3da7e9cf313723460e487b4 -- 2.53.0-Meta