FEX-Emu 团队发出站上第一篇深度技术文章，主题是 x86 模拟绕不开的难题：在 ARM 的弱内存序模型上模拟 x86 的 Total Store Ordering（x86-TSO）。两者基本处于光谱两端——ARM 最宽松，允许大量硬件优化；x86 最严格，强制很强的缓存一致性，几乎没有优化余地。文章分章节展开这一路上的坑：从 ARMv8.0-a 的历史起点讲起，解释原子指令、为什么 split-lock 是必须支持的、以及非缓存内存也必须正确工作，最后讨论未来的可能性。作者强调讨论内存模型时要区分一致性与原子性，二者相关但并不等同。