On Sat, Sep 21, 2024 at 3:00 AM Paul E. McKenney <paulmck@xxxxxxxxxx> wrote: > > o All this leads me to stick with my position called out in TL;DR > above, namely that the BPF load-acquire instruction should have > the weaker RCpc semantics (like ldapr, not ldar). That said, > it is entirely reasonable for ARM64 JITs to use the stronger RCsc > ldar instruction to implement the BPF load-acquire instruction. > > Thoughts? All makes sense to me. Thanks for sharing these details. They probably can become a part of the doc on BPF memory model .rst somewhere in Documentation/bpf. Eventually we'd need to update standardization/instruction-set.rst as well when new instructions are fully fleshed out.