Wasmi项目v0.45.0版本发布：Wasm执行引擎的重大升级

项目简介

Wasmi是一个用Rust编写的WebAssembly(Wasm)解释器，它提供了一个轻量级、高效且可嵌入的Wasm运行时环境。作为Wasm生态中的重要组成部分，Wasmi特别适合那些需要精细控制Wasm执行过程的场景，例如分布式账本智能合约执行、嵌入式系统等。

核心功能增强

Wasm函数燃料耗尽后恢复执行

本次版本最引人注目的特性是新增了对Wasm函数调用在燃料(fuel)耗尽后恢复执行的支持。这个功能对于构建基于燃料计量的Wasm调度系统至关重要。

在实际应用中，当Wasm执行消耗完分配的燃料后，传统做法是直接终止执行。而v0.45.0允许执行被暂停并在补充燃料后恢复，这为构建更复杂的调度系统提供了可能。例如，在一个多任务环境中，调度器可以根据优先级动态分配燃料配额，当某个任务用完当前配额时，可以暂停它并切换到其他任务，稍后再恢复执行。

完整的relaxed-simd支持

v0.45.0完善了对relaxed-simd特性的支持，增加了wasmi_core::simd模块中缺失的API函数。relaxed-simd是WebAssembly SIMD建议的扩展，它允许更灵活的SIMD操作，在某些情况下可以获得更好的性能。

性能优化

链接器实例化优化

在Linker::instantiate过程中，现在避免了重复的类型检查和验证检查。这一优化减少了实例化Wasm模块时的开销，特别是对于频繁实例化相同模块的场景，性能提升将更为明显。

指令集架构改进

Wasmi团队对内部中间表示(IR)进行了多项重要改进：

1. 移除了所有条件返回指令，这使得cmp+branch融合优化能在更多场景下应用
2. 精简了bulk-memory和bulk-table指令变体，同时保留了常见情况的优化版本
3. 新增了逻辑比较指令，进一步增强了cmp+branch指令融合能力
4. 为浮点比较指令添加了否定版本，使cmp+nez融合能应用于更多指令
5. 重新设计了select指令，使其也能受益于cmp操作码融合优化

这些底层优化虽然对用户透明，但能显著提升Wasm代码的执行效率。

错误处理改进

v0.45.0为所有wasmi错误类型在no_std环境下实现了Rust的标准Error trait。这一改进使得在资源受限环境中使用Wasmi时，错误处理更加符合Rust的惯用法，与其他库的集成也更加顺畅。

重要问题修复

修复了一个与wasmparser集成相关的重要问题：之前版本中，Wasmi没有将启用的Wasm特性告知wasmparser，导致某些格式错误的Wasm二进制文件在解析阶段无法被正确识别。现在wasmparser能够基于启用的特性进行更严格的格式验证。

架构重构

本次版本进行了多项内部架构调整：

1. 使执行器不再泛型化于Store的T参数，简化了代码结构
2. 将许多核心组件从wasmi移动到wasmi_core模块中，包括FuncType、Fuel、Memory、Table、Global和ResourceLimiter等
3. 移除了大部分wasmi_core::TypedVal的API，推荐使用新的wasmi_core::wasm API

这些重构提高了代码的组织性和可维护性，为未来的功能扩展奠定了基础。

依赖更新

将wasm-tools依赖更新至v228版本，确保与最新工具链的兼容性，并获得了wasm-tools项目的最新改进和错误修复。

总结

Wasmi v0.45.0是一个功能丰富且注重性能的版本，它通过引入燃料恢复执行、完善SIMD支持、优化指令集架构和重构内部设计，进一步巩固了其作为高效Wasm解释器的地位。这些改进使得Wasmi在需要精细控制Wasm执行的场景中更具吸引力，特别是在资源受限环境或需要自定义调度策略的系统中。