Remix.run Logo
bonzini 12 hours ago

Also on alpha there's only store-store and full memory barriers. Acquire is very expensive.

gpderetta 6 hours ago | parent [-]

Indeed. On the other hand recently ARM has added explicit load acquires primitives which are relatively cheap, so converting a consume to an acquire is not a big loss (and Linus considered doing it for the kernel a while ago just to avoid having to think too hard about compiler optimizations).