[gttalbot]

Is Apple going to upstream this so it's part of Linux?

[pixelesque]

Apple submitted a patch, and then Hector Martin of Asahi Linux also submitted an alternative:

https://lore.kernel.org/lkml/20240411132853.GA26481@willie-t...

but it was rejected due to concerns of fragmentation and it being non-standard...

[saagarjha]

They tried: https://lwn.net/Articles/969480/

[mschuster91]

Finally. Some long time ago I filed a ticket for UTM and QEMU if TSO (and Rosetta) could be used for VMs because x86 VMs on ARM CPUs are dog slow at the moment, but back then this wasn't on the horizon. Good to see Apple themselves are working on it.

[londons_explore]

> This program will hang indefinitely if TSO is in use, and will crash almost immediately if it is not in use.

So now we just need to solve the halting problem, and we'll have our answer...

[saagarjha]

Unfortunately there’s not really a better way to detect memory models except by trying to observe reorderings :(