Re: BPF memory model

[Barret Rhoden <brho@google.com>]

On 9/19/23 05:52, Paul E. McKenney wrote:
> Just to make sure that I understand, the idea is to compile from (say) 
> __atomic_load_n() to BPF instructions, correct? Or is this compiling all 
> the way to the target x86/ARMv8/whatever machine instructions?

correct; i'm compiling with clang -target bpf to BPF instructions, which 
should be spitting out the appropriate BPF atomic ops.  then i hope that 
if i get the compiler to emit the reads and writes in the correct order, 
that the JIT maintains that order when it turns them into x86/whatever.

thanks,

barret