FEX-Emu

x86 模拟的祸害

在 ARM 的弱定序内存模型上模拟 x86-TSO，是模拟器里长期存在的坑。模拟器要自己补回全存储定序才算正确，代价是大量内存屏障，性能与正确性难以两全，文章梳理了问题根源与几种做法的取舍。