> 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. Nice :-) /me reads carefully