最近在 Hacker News 上引发热议的 “Significant progress made on Xbox 360 recompilation” 主题，将一个已有十余年历史的模拟器技术重新推到了技术前沿。ReXGlue 正是这一波进展的核心工具，它采用 静态重编译（Static Recompilation） 思路，把 Xbox 360 使用的 PowerPC 指令集在离线阶段提前翻译为原生 x86‑64 C++ 代码，从而实现游戏的本地移植，而不必依赖实时的 JIT 解释或即时编译。
背景与动机
Xbox 360 的核心 CPU 是基于 PowerPC 架构的 Xenon，采用大端序（big‑endian）存储方式，并配备 128 位 VMX/Altivec 向量寄存器。传统模拟器如 Xenia 通过 即时编译（JIT） 在运行时将 guest 指令块翻译为 host 指令，并维护一个代码缓存来加速后续调用。这种方式能够在运行时动态适配，但也会产生解释开销、缓存失效以及调试困难等问题。ReXGlue 的出现正是想克服这些缺点，把翻译工作全部移到构建阶段，让最终产物已经是本地可执行文件。
静态重编译管线概述
ReXGlue 的工作流程可以拆解为以下几个关键步骤：
- XEX 加载与解密 – Xbox 360 的可执行文件采用加密的 XEX 格式。ReXGlue 先对文件进行解密和解压缩，提取出原始的机器码段。
- 控制流分析 – 通过对二进制进行静态分析，识别函数入口、基本块以及跨模块调用关系。这一步会生成函数的调用图和入口点表。
- 指令到 C++ 的翻译（CodeGen） – 每一 PowerPC 指令被映射为等价的 C++ 表达式或函数调用。翻译过程保留寄存器、状态标志和异常处理语义。
- 字节序与向量寄存器的处理 – 大端序数据在写入小端主机内存时必须进行字节交换；128 位 VMX 寄存器被拆分为两个 64 位或四个 32 位变量，以适配 x86‑64 的 SIMD 指令。
- C++ 代码生成与本地编译 – 生成的 C++ 源码通过 Clang（或其他标准编译器）进行优化编译，最终产出本地机器码。
- 运行时函数分发表 – 在进程启动时，ReXGlue 为每个 guest 函数生成一个本地函数指针，并写入分发表。线程调用 guest 函数时直接通过函数指针跳转，完全绕过解释层。ReXGlue 采用静态重编译技术，在离线阶段将 PowerPC 指令转换为本地 C++ 代码 [1]。
PowerPC 到 x86‑64 的指令映射
PowerPC 指令集非常庞大，包含整数、浮点、向量以及特权指令。ReXGlue 通过以下几个策略实现高效映射：
- 寄存器别名与生命周期管理 – PowerPC 的 32 个通用寄存器（GPR）在 x86‑64 上通过栈帧或全局变量模拟；对跨函数调用的寄存器保存 / 恢复做细化分析，避免不必要的内存写回。
- 条件标志（CR） – PowerPC 的条件寄存器用于分支判断。ReXGlue 在生成的 C++ 中使用布尔变量或位域来模拟标志，并在条件分支前进行计算。
- 向量指令（VMX/Altivec） – 128 位向量寄存器被映射到 x86‑64 的 YMM 寄存器或拆分为两个 64 位变量。生成的代码利用 AVX/AVX2 指令进行批量运算，从而在现代 CPU 上获得更高的吞吐量。
- 异常与特权级别 – 对于系统调用和异常处理，ReXGlue 继承并改写了 Xenia 的内核层，使其在本地进程中模拟 Xbox 360 的内核对象（文件、线程、事件等）。
运行时执行模型
ReXGlue 产生的本地二进制在执行时拥有截然不同的特征。相较于 Xenia 的即时编译（JIT）方式，ReXGlue 在运行时直接调用本地函数指针，省去了解释与缓存开销 [2]。这带来以下优势：
- 零解释开销：函数调用直接跳转到编译好的本地代码，无需在运行时进行指令翻译。
- 完整调试支持：由于代码是普通的 C++ 编译产物，开发者可以使用 gdb、Visual Studio 等标准调试器进行源码级或机器码级调试。
- 编译器优化收益：本地代码可以被 Clang 的 -O3、-Ofast 等优化级别充分利用，往往能够超越原始主机硬件的性能。
- 更好的 modding 环境：静态代码允许玩家在源码层面进行修改，随后重新编译，实现深层次的游戏 mod，这与 JIT 动态生成代码的局限性形成鲜明对比。
与即时编译的对比
- 执行时决策：JIT 编译器在运行时决定哪些代码块需要翻译，并根据执行频率进行热点优化；ReXGlue 在构建时已完成全部翻译，缺乏运行时 Profiling 数据，但可以通过手动调优或使用 Profile‑Guided Optimization（PGO）来补偿。
- 缓存与内存：JIT 需要维护代码缓存以及针对缓存失效的回收机制；ReXGlue 只保留函数指针表，内存占用水准更低。
- 调试与逆向：JIT 生成的代码往往混杂了翻译层，使得调试困难；ReXGlue 的产物与普通 C++ 程序无异，调试体验与普通 PC 游戏相同。
当前成果与挑战
截至目前，ReXGlue 已经帮助实现了数款 Xbox 360 游戏的早期 PC 移植，包括《Blue Dragon》《Lost Odyssey》《Banjo‑Kazooie: Nuts & Bolts》《Ninja Gaiden 2》以及《Halo 3》测试版等。由于 GPU 渲染仍依赖 Xenia 的 Xenos 后端，这些移植在画质上与原版差别不大，但 CPU 性能已经显著提升，很多场景的帧率超过原机。
实现过程中主要面对的挑战包括：
- XEX 加密与混淆：不同发行版的加密方式不同，需要针对每个新游戏进行逆向分析。
- 缺失符号与调试信息：很多官方二进制没有导出符号，导致函数边界识别困难，需要依赖社区的经验和手动标注。
- GPU 抽象层：当前仍使用 Xenia 的 GPU 模拟，而每款游戏的 GPU 调用方式各不相同。要实现真正的原生渲染，需要为每款游戏编写对应的渲染器，这是一项巨大的工作量。
- 多盘游戏与存档兼容：像《Blue Dragon》这类多碟游戏需要在运行时动态切换光盘镜像，ReXGlue 正在通过自定义文件系统层来解决。
前景与意义
静态重编译技术为老旧平台的数字保存提供了一条新的路径。与纯模拟器相比，它能够让原生代码直接跑在现代硬件上，因而可以获得更高的性能、更低的功耗以及更好的兼容性。更重要的是，生成的本地代码可以被视为普通的 C++ 项目，便于社区进行二次开发、功能扩展以及 mod 制作，从而让这些曾经只能在特定主机上运行的游戏焕发新的生命力。
ReXGlue 仍处于早期开发阶段，距离 “随手可玩” 的完整 PC 移植还有不少工作要做。但它已经展示了一种可行的工程思路：在保持原有游戏逻辑完整性的同时，利用现代编译技术对其进行 “跨平台重生”。随着更多开发者的参与和 GPU 原生化逐步推进，Xbox 360 的游戏库有望在不远的将来以更高的画质和帧率呈现在 PC 玩家面前。
参考资料：
[1] https://readonlymemo.com/rexglue-xbox-360-recompilation-interview/
[2] https://xenia-emulator.com/knowledge-base/cpu-emulation/