The serious problem of emulating x86/x86-64 is that it has a strong memory model, while most other platforms (ARM, PowerPC, Itanium, Alpha) have a weak memory m

The serious problem of emulating x86/x86-64 is that it has a strong memory model, while most other platforms (ARM, PowerPC, Itanium, Alpha) have a weak memory model. Only SPARC (SPARC TSO) and zSeries have a similarly strong memory model as x86/x86-64. See https://en.wikipedia.org/w/index.php?title=Memory_ordering&oldid=672574002#In_symmetric_multiprocessing_.28SMP.29_microprocessor_systems https://en.wikipedia.org/w/index.php?title=Memory_ordering&o... for details.