-
Notifications
You must be signed in to change notification settings - Fork 5
bpf: Nested rcu critical sections #6380
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
bpf: Nested rcu critical sections #6380
Conversation
|
Upstream branch: 4722981 |
86f62c3 to
c8a7e22
Compare
|
Upstream branch: 7dc211c |
b0e5805 to
3acfbc3
Compare
c8a7e22 to
c919396
Compare
|
Upstream branch: ec12ab2 |
3acfbc3 to
c51ddba
Compare
c919396 to
73c6b0b
Compare
|
Upstream branch: d6ec090 |
c51ddba to
dfb645c
Compare
73c6b0b to
0bdd2b9
Compare
|
Upstream branch: d6ec090 |
dfb645c to
d1312e0
Compare
0bdd2b9 to
729c7ba
Compare
|
Upstream branch: d088da9 |
d1312e0 to
c159233
Compare
729c7ba to
623bab9
Compare
|
Upstream branch: e0940c6 |
c159233 to
535ebae
Compare
623bab9 to
fe03c14
Compare
|
Upstream branch: 792f258 |
535ebae to
e8a3210
Compare
fe03c14 to
65bfb85
Compare
|
Upstream branch: 878ee3c |
e8a3210 to
7bc4123
Compare
65bfb85 to
b1f8b58
Compare
|
Upstream branch: ae24fc8 |
7bc4123 to
a7c37cf
Compare
b1f8b58 to
8f7081b
Compare
|
Upstream branch: b7f7d76 |
a7c37cf to
d0f166a
Compare
8f7081b to
c347688
Compare
|
Upstream branch: 4dd3a48 |
d0f166a to
4bedb1b
Compare
|
Upstream branch: 4dd3a48 |
4bedb1b to
a7d3aa9
Compare
c347688 to
fb42a92
Compare
Currently, nested rcu critical sections are rejected by the verifier and rcu_lock state is managed by a boolean variable. Add support for nested rcu critical sections by make active_rcu_locks a counter similar to active_preempt_locks. bpf_rcu_read_lock() increments this counter and bpf_rcu_read_unlock() decrements it, MEM_RCU -> PTR_UNTRUSTED transition happens when active_rcu_locks drops to 0. Signed-off-by: Puranjay Mohan <[email protected]> Acked-by: Eduard Zingerman <[email protected]>
As verifier now supports nested rcu critical sections, add new test cases to make sure unbalanced usage of rcu_read_lock()/unlock() is rejected. Signed-off-by: Puranjay Mohan <[email protected]> Acked-by: Eduard Zingerman <[email protected]>
|
Upstream branch: 8f7cf30 |
a7d3aa9 to
62c3292
Compare
fb42a92 to
3282beb
Compare
|
At least one diff in series https://patchwork.kernel.org/project/netdevbpf/list/?series=1024478 irrelevant now. Closing PR. |
Pull request for series with
subject: bpf: Nested rcu critical sections
version: 2
url: https://patchwork.kernel.org/project/netdevbpf/list/?series=1024478