https://github.com/ringtailsoftware/uvm32
uvm32是一款极简、无依赖的虚拟机沙箱,专为微控制器及其他资源受限设备设计。采用单文件C语言实现,无动态内存分配,采用异步架构,完全兼容C99标准。在STM32L0(ARM Cortex-M0+)平台上,其存储占用低于3KB闪存/1KB RAM。
uvm32本质上是封装了管理接口的RISC-V模拟器,并提供配套工具链以构建可在其中运行的高效代码。
应用场景
1、作为嵌入式脚本引擎(Lua、Duktape、MicroPython等)的轻量替代方案
2、作为隔离系统中不可信或不稳定组件的安全沙箱
3、在目标平台缺乏编译器的场景下,支持使用现代系统编程语言开发(如Rust示例)
4、实现"一次编写,随处运行",避免维护多版本软件
核心特性
1、提供C、Zig、Rust及汇编语言的字节码示例程序
2、非阻塞设计,防止异常字节码阻塞主机系统
3、不预设主机IO能力(无标准IO依赖)
4、简洁而明确执行模型
5、安全的最小化类型FFI接口
6、既可满足简单脚本/插件需求,亦能支持复杂场景
安全性优先于速度,确保虚拟机内的异常代码永远不会导致主机崩溃,虽基于完整CPU模拟器实现,但专注于执行自定义脚本逻辑,而非硬件模拟
与同类方案的比较
现有许多适用于小型系统的脚本语言与虚拟机都在不同维度做出了权衡取舍。
uvm32致力于:
1、极小资源占用(适配嵌入式设备、游戏及应用)
2、支持使用成熟编程语言开发虚拟机代码(配备高质量开发工具)
3、易于集成至现有软件体系
4、支持多种编程范式(事件驱动、轮询、多处理器)
对异常虚拟机代码具备强容错性
uvm32不追求:
1、零摩擦FFI(主机与虚拟机代码间无直接函数调用)
2、极限运行效率
3、最简单的脚本开发体验(需要完整的开发-编译-运行周期)
"开箱即用"的标准IO、网络等功能库
项目结构说明
uvm32是微型虚拟机的核心实现,所有代码均位于uvm32目录中。
host-mini展示了运行虚拟机代码的最简主机示例。
其余目录均为进阶主机示例,或可供主机运行的示例应用程序。
uvm32一款极简、无依赖的虚拟机沙盒,支持动态加载APP,仅需3KB Flash/1KB RAM
张小明
前端开发工程师
终极PCB文件解析指南:用Python轻松玩转Gerber和Excellon文件
终极PCB文件解析指南:用Python轻松玩转Gerber和Excellon文件 【免费下载链接】pcb-tools Tools to work with PCB data (Gerber, Excellon, NC files) using Python. 项目地址: https://gitcode.com/gh_mirrors/pc/pcb-tools 你是否曾被PCB制造文件中复杂的G…
27、邮件垃圾与病毒防护:SpamAssassin与ClamAV的实用指南
邮件垃圾与病毒防护:SpamAssassin与ClamAV的实用指南 1. SpamAssassin的功能与使用 SpamAssassin是一款强大的反垃圾邮件工具,它将贝叶斯数据库存储在用户主目录下的 .spamassassin 目录中的三个文件里,文件格式通常为Berkeley DB格式,具体文件如下: - bayes_journa…
3、Linux基础:桌面环境、命令行与文件系统全解析
Linux基础:桌面环境、命令行与文件系统全解析 1. 桌面环境对比 Cinnamon和MATE桌面环境外观极为相似。二者都在左下角设有菜单,方便用户访问更多程序和功能;都具备快速启动图标;且都在右下角显示日期、时间等系统信息。选择使用哪种桌面,关键在于深入探索其操作体验,而…
AlphaPose实战指南:轻松掌握多人姿态估计算法
AlphaPose实战指南:轻松掌握多人姿态估计算法 【免费下载链接】AlphaPose Real-Time and Accurate Full-Body Multi-Person Pose Estimation&Tracking System 项目地址: https://gitcode.com/gh_mirrors/al/AlphaPose AlphaPose作为当前最先进的实时多人…
AudioShare:跨设备音频传输技术深度解析与应用指南
问题导向:设备间音频孤岛的困境 【免费下载链接】AudioShare 将Windows的音频在其他Android设备上实时播放。Share windows audio 项目地址: https://gitcode.com/gh_mirrors/audi/AudioShare 在现代数字生活中,我们经常面临一个普遍的技术痛点&a…
Kindle Comic Converter:漫画数字阅读的完整解决方案
Kindle Comic Converter:漫画数字阅读的完整解决方案 【免费下载链接】kcc KCC (a.k.a. Kindle Comic Converter) is a comic and manga converter for ebook readers. 项目地址: https://gitcode.com/gh_mirrors/kc/kcc 还在为漫画格式不兼容而烦恼吗&#…