diff options
| author | Dave Marchevsky <davemarchevsky@fb.com> | 2023-08-21 12:33:11 -0700 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2023-08-25 09:23:17 -0700 |
| commit | 312aa5bde8985dd2aef99d3e20abc0889c6f2a3e (patch) | |
| tree | e4fd1a875d7929f9195b30285b00640c523c4bae /lib | |
| parent | 5861d1e8dbc4e1a03ebffb96ac041026cdd34c07 (diff) | |
selftests/bpf: Add tests for rbtree API interaction in sleepable progs
Confirm that the following sleepable prog states fail verification:
* bpf_rcu_read_unlock before bpf_spin_unlock
* RCU CS will last at least as long as spin_lock CS
Also confirm that correct usage passes verification, specifically:
* Explicit use of bpf_rcu_read_{lock, unlock} in sleepable test prog
* Implied RCU CS due to spin_lock CS
None of the selftest progs actually attach to bpf_testmod's
bpf_testmod_test_read.
Signed-off-by: Dave Marchevsky <davemarchevsky@fb.com>
Link: https://lore.kernel.org/r/20230821193311.3290257-8-davemarchevsky@fb.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions