> Does the race condition happen during the translation or execution? If it's former, we can somehow prevent it, right? The translation code is known.
During execution.
Qemu is the result of a huge amount of effort to make it fast. It'd take many, many programmer-years to build something faster.