On Tue, Sep 19, 2023 at 11:55:42AM -0400, Barret Rhoden wrote: > 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. Hopefully better late than never, here is a draft: https://docs.google.com/document/d/1TaSEfWfLnRUi5KqkavUQyL2tThJXYWHS15qcbxIsFb0/edit?usp=sharing Please do feel free to add relevant comments. Thanx, Paul