Wasmtime 47 版本发布默认开启垃圾回收与异常处理多方面优化值得期待2026 年 7 月 20 日Nick Fitzgerald 发布消息在 [Wasmtime 47 版本](https://github.com/bytecodealliance/wasmtime/releases/tag/v47.0.0) 中WebAssembly 垃圾回收Wasm GC和异常处理提案默认开启助力更多语言在 WebAssembly 及 Wasmtime 运行环境中使用这是 Wasmtime 重大变革与多年工程努力的成果。Wasmtime[Wasmtime](https://wasmtime.dev/) 是一款具备快速、安全和可移植特点的 WebAssembly 运行时能独立运行、轻量级且易于嵌入。其维护者致力于开放标准积极参与 WebAssembly 标准化工作。Wasm GCWebAssembly 早期版本中采用对象和引用数据模型的高级语言需嵌入自身垃圾回收器导致 .wasm 二进制文件臃肿且部分常用技术无法使用。[Wasm GC](https://github.com/WebAssembly/gc) 提案改善了这一状况为 WebAssembly 增加对高级语言的高效支持扩展语言让 Wasm 程序可定义类型及子类型关系运行时处理生命周期管理和释放工具链可利用运行时垃圾回收器为更多语言以 WebAssembly 为目标打开大门。例如展示了 Wasm 程序定义[二叉树的节点类型](https://github.com/bytecodealliance/sightglass/blob/98ff8a598b4b4f6eab0d8f391118411990efde96/benchmarks/splay/splay.wat#L15-L22)新实例通过 [struct.new $node](https://github.com/bytecodealliance/sightglass/blob/98ff8a598b4b4f6eab0d8f391118411990efde96/benchmarks/splay/splay.wat#L310) 创建字段通过指令访问。Wasm 异常处理Wasm 的[异常处理提案](https://github.com/WebAssembly/exception-handling)为 WebAssembly 上的异常处理提供高效支持使 WebAssembly 更适合有异常处理机制的语言编译。若无此提案工具链需实现自定义调用约定增加 .wasm 文件大小和运行时开销。有了该提案采用 throw 和 try/catch 风格结构运行时用栈展开方法正常返回路径无开销实现更快执行速度和更小文件。Wasmtime 的垃圾回收实现Wasmtime 采用 [Cheney 式半空间复制垃圾回收器](https://en.wikipedia.org/wiki/Cheney%27s_algorithm)垃圾回收堆分“活动”和“空闲”半空间回收时存活对象复制到新活动空间更新垃圾回收根指向。分配操作简单移动指针无需读写屏障。底层复用 WebAssembly 线性内存实现和沙箱化垃圾回收堆引用为 32 位索引在安全、速度和可移植性方面有好处。为增强对垃圾回收器正确性的信心扩展模糊测试基础设施扩展 [wasm-smith](https://github.com/bytecodealliance/wasm-tools/tree/main/crates/wasm-smith) 支持 GC 提案补充两个模糊测试器。目前工程工作主要集中在正确性性能关注少与 [V8](https://v8.dev/) 和 [SpiderMonkey](https://spidermonkey.dev/) 中的垃圾回收器相比吞吐量和延迟表现不佳主要针对生产环境常见用例设计。下一步计划还有大量[性能优化工作](https://github.com/bytecodealliance/wasmtime/issues?qis%3Aissue%20state%3Aopen%20gc%20label%3Awasm-proposal%3Agc%20label%3Aperformance)要做如扩展编译器别名分析优化并加入 GC 类型信息。功能上下一个重要里程碑是在[惰性值降低](https://github.com/WebAssembly/component-model/issues/383)基础上对[垃圾回收与组件模型的集成](https://github.com/WebAssembly/component-model/issues/525)进行原型设计。总结很高兴达到这一里程碑欢迎试用 [Wasmtime](https://wasmtime.dev/) 新启用的垃圾回收和异常处理支持并分享使用体验。1. 注意GC 提案已合并到 WebAssembly 主规范中因此提案页面现在是特定时间点的存档快照。 ↩2. 与 GC 提案一样异常处理提案也已合并到 WebAssembly 主规范中提案仓库现在是一个存档的历史快照。 ↩3. 在撰写本文时wasm-smith 在 Wasm GC 方面唯一的不足是它永远不会生成非空引用。 ↩