Hacker News new | ask | show | jobs
by saagarjha 596 days ago
They tried: https://lwn.net/Articles/969480/
2 comments
mschuster91 596 days ago
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.
link
londons_explore 596 days ago
> 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...

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