Re: [PATCH] riscv, bpf: Make BPF_CMPXCHG fully ordered
From: patchwork-bot+netdevbpf
Date: Thu Oct 17 2024 - 11:10:31 EST
Hello:
This patch was applied to bpf/bpf.git (master)
by Daniel Borkmann <daniel@xxxxxxxxxxxxx>:
On Thu, 17 Oct 2024 17:36:28 +0300 you wrote:
> According to the prototype formal BPF memory consistency model
> discussed e.g. in [1] and following the ordering properties of
> the C/in-kernel macro atomic_cmpxchg(), a BPF atomic operation
> with the BPF_CMPXCHG modifier is fully ordered. However, the
> current RISC-V JIT lowerings fail to meet such memory ordering
> property. This is illustrated by the following litmus test:
>
> [...]
Here is the summary with links:
- riscv, bpf: Make BPF_CMPXCHG fully ordered
https://git.kernel.org/bpf/bpf/c/98cd61955771
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html