突破 RISC - V 仿真极限:从解释器优化到原生执行,加速程序运行速度
引言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 优化。识别基本块重新编译器通过识别基本块和连接成控制流图确定生成函数的起始和结束位置。示例展示了如何应用规则处理对数组求和的函数。

相关新闻

终极iOS头像解决方案:UIImageView-Letters让占位图生成从未如此简单

终极iOS头像解决方案:UIImageView-Letters让占位图生成从未如此简单

终极iOS头像解决方案:UIImageView-Letters让占位图生成从未如此简单 【免费下载链接】UIImageView-Letters UIImageView category for using initials as a placeholder image, written in Objective-C. For a Swift implementation, see https://github.com/bachon…

2026/10/14 1:44:46 阅读更多 →
LAV Filters终极指南:如何在Windows上实现完美硬件加速播放体验

LAV Filters终极指南:如何在Windows上实现完美硬件加速播放体验

LAV Filters终极指南:如何在Windows上实现完美硬件加速播放体验 【免费下载链接】LAVFilters LAV Filters - Open-Source DirectShow Media Splitter and Decoders 项目地址: https://gitcode.com/gh_mirrors/la/LAVFilters LAV Filters是Windows平台上基于D…

2026/10/9 8:12:41 阅读更多 →
如何在3分钟内为OBS配置专业级本地AI字幕:终极隐私保护方案

如何在3分钟内为OBS配置专业级本地AI字幕:终极隐私保护方案

如何在3分钟内为OBS配置专业级本地AI字幕:终极隐私保护方案 【免费下载链接】obs-localvocal OBS plugin for local speech recognition and captioning using AI 项目地址: https://gitcode.com/gh_mirrors/ob/obs-localvocal LocalVocal是一款专为OBS Stud…

2026/10/7 2:17:17 阅读更多 →

最新新闻

2020年VM Pro16.1.0注册、安装以及使用教程

2020年VM Pro16.1.0注册、安装以及使用教程

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/10/14 1:45:13 阅读更多 →
PCL 半径滤波器【2026最新版】

PCL 半径滤波器【2026最新版】

半径滤波器 一、算法原理 1、原理概述 2、实现流程 3、算法特点 4、参考文献 二、代码实现 三、结果展示 四、相关链接 博客长期更新,本文最新更新时间为:2026年10月13日。 一、算法原理 1、原理概述 半径滤波器的滤波思想非常直接,就是在点云数据中,设定每个点一定半径范…

2026/10/14 1:45:13 阅读更多 →
GPRMC 格式

GPRMC 格式

大论文中英文文献混排!!!其实不用在endnote里面加editor list 了 每次参加论文答辩,我几乎都会听到参考文献格式方面的问题。自己整理论文时也常遇到类似的麻烦,尤其是下面两类: **中英文作者格式混在一起…

2026/10/14 1:45:13 阅读更多 →
Qemu在ARM和X86平台上的运行机制初探

Qemu在ARM和X86平台上的运行机制初探

QEMU JIT/KVM QEMU 采用了动态二进制翻译(Dynamic Binary Translation)机制,以一种中间代码作为中介,将客户机架构的机器码运行时翻译(Just-In-Time,JIT)为宿主机架构的机器码形式,并将翻译结果交由宿主机的处理器直接执行。因而 QEMU 在不同的体系架构下也具有不错的…

2026/10/14 1:45:13 阅读更多 →
MAC常用命令记录

MAC常用命令记录

----------------Mac相关-----------------创建目录 mkdir tmp-打开目录 cd ./tmp-使用访达打开目录 open ./tmp-创建文件 touch xxxx.txt-查看目录文件 ls -al 注: -a 显示隐藏;-l 显示文件信息-查看当前进程 ps -a 注: -a 当前用户全部;-A 全部用户…

2026/10/14 1:45:13 阅读更多 →
基于RT-Thread的贪吃蛇与俄罗斯方块:RTOS多线程与LCD渲染实战

基于RT-Thread的贪吃蛇与俄罗斯方块:RTOS多线程与LCD渲染实战

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/10/14 1:44:13 阅读更多 →

日新闻

AnyPS5通用适配层设计:兼容性与性能的工程取舍

AnyPS5通用适配层设计:兼容性与性能的工程取舍

1. 从"AnyPS5"这个名字说起:它到底想解决什么问题第一次看到"AnyPS5"这个标题,我脑子里冒出来的第一个念头是:这大概率是一个围绕"跨平台运行"或者"通用适配"做文章的项目。名字里的"Any"…

2026/10/14 0:00:41 阅读更多 →
Flutter跨平台开发实战:二手交易应用与HarmonyOS适配

Flutter跨平台开发实战:二手交易应用与HarmonyOS适配

1. 项目概述:Flutter跨平台二手交易应用开发作为一名长期从事移动应用开发的工程师,我最近完成了一个基于Flutter框架的二手物品交易平台项目。这个项目最吸引我的地方在于它完美结合了Flutter的跨平台优势与HarmonyOS的生态特性,实现了"…

2026/10/14 0:00:41 阅读更多 →
DFS算法解决飞机降落调度问题实战

DFS算法解决飞机降落调度问题实战

1. 项目背景与核心思路飞机降落问题是一个经典的调度优化场景,也是算法竞赛和面试中的高频题目。这个题目要求我们合理安排多架飞机的降落顺序和时间,确保所有飞机都能安全着陆而不发生冲突。在实际航空管制中,这类问题直接关系到飞行安全和机…

2026/10/14 0:00:41 阅读更多 →

周新闻

流感时间序列预测实战:ARIMA/LSTM全流程拆解与避坑指南

流感时间序列预测实战:ARIMA/LSTM全流程拆解与避坑指南

简介:基于 ARIMA、LSTM、Transformer 等模型的流感时间序列预测 Python 源码,面向计算机相关专业课程设计与期末大作业学生,以及项目实战学习者。内容覆盖预处理、平稳性检验、定阶、残差分析、多模型对比预测的完整时序建模流程,…

2026/10/13 2:54:56 阅读更多 →
影刀RPA新手教程:键盘模拟输入实战——输入文本与模拟按键的区别

影刀RPA新手教程:键盘模拟输入实战——输入文本与模拟按键的区别

影刀RPA新手教程:键盘模拟输入实战——输入文本与模拟按键的区别 做影刀RPA自动化,十个新手有八个栽在"往输入框里填东西"这件事上:要么填不进去,要么填了一半,要么直接把原来内容追加在后面。这背后的根因&…

2026/10/13 16:22:04 阅读更多 →
影刀RPA新手教程:阅文起点小说数据采集实战——书籍信息与章节内容

影刀RPA新手教程:阅文起点小说数据采集实战——书籍信息与章节内容

影刀RPA新手教程:阅文起点小说数据采集实战——书籍信息与章节内容 1. 认识影刀:什么场景该用RPA采小说数据 起点中文网的页面结构相对稳定——分类榜单、书籍详情、章节内容三块独立页面,跳转链路清晰。这种场景非常适合影刀自动化&#x…

2026/10/13 1:58:08 阅读更多 →

月新闻

我发现了一个新思路:用 Remotion + Claude Code 像写代码一样自动化生成短视频

我发现了一个新思路:用 Remotion + Claude Code 像写代码一样自动化生成短视频

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/10/13 22:01:27 阅读更多 →
Windows下 Codex 中 Chrome 和 Computer Use 插件不可用问题排查及解决参考方式:TaoToken 统一 Key 配置与验证

Windows下 Codex 中 Chrome 和 Computer Use 插件不可用问题排查及解决参考方式:TaoToken 统一 Key 配置与验证

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/10/13 14:57:39 阅读更多 →
黑夜航拍船只数据集训练YOLOV5模型全流程解析

黑夜航拍船只数据集训练YOLOV5模型全流程解析

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/10/12 18:11:17 阅读更多 →