Hello: This series was applied to bpf/bpf-next.git (master) by Alexei Starovoitov <ast@xxxxxxxxxx>: On Wed, 23 Nov 2022 21:32:01 -0800 you wrote: > Currently, without rcu attribute info in BTF, the verifier treats > rcu tagged pointer as a normal pointer. This might be a problem > for sleepable program where rcu_read_lock()/unlock() is not available. > For example, for a sleepable fentry program, if rcu protected memory > access is interleaved with a sleepable helper/kfunc, it is possible > the memory access after the sleepable helper/kfunc might be invalid > since the object might have been freed then. Even without > a sleepable helper/kfunc, without rcu_read_lock() protection, > it is possible that the rcu protected object might be release > in the middle of bpf program execution which may cause incorrect > result. > > [...] Here is the summary with links: - [bpf-next,v10,1/4] compiler_types: Define __rcu as __attribute__((btf_type_tag("rcu"))) https://git.kernel.org/bpf/bpf-next/c/5a0f663f0189 - [bpf-next,v10,2/4] bpf: Introduce might_sleep field in bpf_func_proto https://git.kernel.org/bpf/bpf-next/c/01685c5bddaa - [bpf-next,v10,3/4] bpf: Add kfunc bpf_rcu_read_lock/unlock() https://git.kernel.org/bpf/bpf-next/c/9bb00b2895cb - [bpf-next,v10,4/4] selftests/bpf: Add tests for bpf_rcu_read_lock() https://git.kernel.org/bpf/bpf-next/c/48671232fcb8 You are awesome, thank you! -- Deet-doot-dot, I am a bot. https://korg.docs.kernel.org/patchwork/pwbot.html