Hacker News Reader

Full thread

gttalbot

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

View on HN

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...

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

> 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...

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

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.

Reply on news.ycombinator.com