3 ms·
> 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
by londons_explore 2y 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...
- saagarjha 2y agoUnfortunately there’s not really a better way to detect memory models except by trying to observe reorderings :(