引言2026 年 7 月 26 日的文章探讨了在非 RISC - V 机器上RISC - V 程序性能接近裸机性能的方法关键是使用提前编译器通过尾调用连接基本块采用 Clang 的 preserve_none 调用约定保留热点来宾状态。作者参与 [OpenVM](https://github.com/openvm - org/openvm) 开发这是在 [Axiom](https://axiom.xyz) 构建的 RISC - V 虚拟机能运行程序并生成加密证明。在 Axiom 工作时证明生成从单 CPU 扩展到 [GPU 集群](https://ethproofs.org/provers)但执行速度成瓶颈。在 M3 MacBook 上原生 arm64 程序约 100 毫秒完成通过解释器运行相同程序需三到四秒。解释器基准运行 RISC - V 代码的直接方法是用解释器执行取指 - 解码 - 执行周期。但来宾指令短小解释器管理指令时间可能超执行时间。提前预解码可对指令预解码存储操作、操作数和处理程序指针解码不再是热点循环部分执行时通过间接调用处理程序指针分发。通过计算跳转进行分发预解码后间接分发成瓶颈可用“计算跳转”每个处理程序查找下一个操作码标签并跳转执行过程通过间接跳转转移控制权。尾调用线程化尾调用可连接处理程序处理程序尾调用下一个处理程序。编译器可将调用转换为普通跳转Clang 的 musttail 属性强制转换。将状态保留在寄存器中处理程序通过 State * 访问 pc可将其作为函数参数传递让编译器将频繁使用的值保留在宿主机寄存器中。实现原生执行手动编写的汇编后端简单的提前AOT翻译器逐指令翻译 RISC - V 指令生成汇编代码代价是可移植性差。寄存器映射翻译器可将频繁使用的来宾寄存器映射到宿主机寄存器减少内存和寄存器间的移动。让 Clang 作为后端一个巨型函数可将整个程序作为一个函数转换为 C 代码让编译器优化。但程序规模大时此方法失效。逐基本块重新编译基本块是顺序指令序列重新编译器将每个基本块作为单独 C 函数生成让 Clang 优化。识别基本块重新编译器通过识别基本块和连接成控制流图确定生成函数的起始和结束位置。示例展示了如何应用规则处理对数组求和的函数。
引言2026 年 7 月 26 日的文章探讨了在非 RISC - V 机器上RISC - V 程序性能接近裸机性能的方法关键是使用提前编译器通过尾调用连接基本块采用 Clang 的 preserve_none 调用约定保留热点来宾状态。作者参与 [OpenVM](https://github.com/openvm - org/openvm) 开发这是在 [Axiom](https://axiom.xyz) 构建的 RISC - V 虚拟机能运行程序并生成加密证明。在 Axiom 工作时证明生成从单 CPU 扩展到 [GPU 集群](https://ethproofs.org/provers)但执行速度成瓶颈。在 M3 MacBook 上原生 arm64 程序约 100 毫秒完成通过解释器运行相同程序需三到四秒。解释器基准运行 RISC - V 代码的直接方法是用解释器执行取指 - 解码 - 执行周期。但来宾指令短小解释器管理指令时间可能超执行时间。提前预解码可对指令预解码存储操作、操作数和处理程序指针解码不再是热点循环部分执行时通过间接调用处理程序指针分发。通过计算跳转进行分发预解码后间接分发成瓶颈可用“计算跳转”每个处理程序查找下一个操作码标签并跳转执行过程通过间接跳转转移控制权。尾调用线程化尾调用可连接处理程序处理程序尾调用下一个处理程序。编译器可将调用转换为普通跳转Clang 的 musttail 属性强制转换。将状态保留在寄存器中处理程序通过 State * 访问 pc可将其作为函数参数传递让编译器将频繁使用的值保留在宿主机寄存器中。实现原生执行手动编写的汇编后端简单的提前AOT翻译器逐指令翻译 RISC - V 指令生成汇编代码代价是可移植性差。寄存器映射翻译器可将频繁使用的来宾寄存器映射到宿主机寄存器减少内存和寄存器间的移动。让 Clang 作为后端一个巨型函数可将整个程序作为一个函数转换为 C 代码让编译器优化。但程序规模大时此方法失效。逐基本块重新编译基本块是顺序指令序列重新编译器将每个基本块作为单独 C 函数生成让 Clang 优化。识别基本块重新编译器通过识别基本块和连接成控制流图确定生成函数的起始和结束位置。示例展示了如何应用规则处理对数组求和的函数。
)
