什么是WASM引擎？如何嵌入WASM引擎运行WebAssembly程序？

• WASM引擎是执行WebAssembly字节码的底层运行时，核心能力是对符合规范的.wasm二进制做校验、翻译（支持解释执行、JIT即时编译、AOT提前编译三种模式），最终输出本机可执行的指令流，同时负责实现WASM标准定义的栈式执行逻辑、线性内存模型、符号绑定、异常处理等基础规则，目前主流通用引擎包括Wasmtime、WAMR、Wasmer、V8内置WASM运行时等。
• 从架构拆分，通用WASM引擎一般分三层：
  • 字节码校验层：所有输入的WASM字节码必须先过这层校验，拦截非法指令、内存越界访问、类型不匹配等不符合规范的内容，从执行层隔离安全风险；
  • 执行编译层：负责把校验通过的字节码转成对应平台的机器码，不同引擎会根据场景优化执行性能，比如面向端侧的WAMR会优先选解释执行+轻量AOT减小包体积，面向服务端的Wasmtime会用优化级更高的Cranelift编译后端提升执行速度；
  • 宿主交互层：负责对接嵌入引擎的宿主程序，把宿主提供的函数、内存、全局变量映射给WASM模块调用，同时把WASM模块导出的能力暴露给宿主调用，是WASM和外部环境交互的唯一通道。

不同引擎的API命名有差异，但核心流程完全对齐WASM官方嵌入规范，没有本质区别，通用步骤如下：

1. 初始化引擎运行环境
   先在宿主程序（支持C/C++/Rust/Go/Python等几乎所有主流语言，只要对应引擎提供了SDK绑定）中初始化引擎配置，比如设置内存上限、选择执行模式、开关SIMD/GC/线程等扩展特性支持，基于配置创建引擎实例，再生成对应的Store上下文——所有WASM模块的实例、内存、全局变量都挂载在独立Store下，不同Store之间资源完全隔离。
2. 加载校验WASM字节码
   把从本地、内存或网络读取到的.wasm二进制流传入引擎，引擎自动完成规范校验，校验失败直接抛出错误，校验通过后生成可实例化的模块对象，这个对象可以跨Store复用，不用重复加载校验。
3. 绑定宿主导入项
   WASM模块本身没有权限直接访问宿主系统资源，所有模块声明需要导入的函数、共享内存、全局变量、表结构，都要在实例化前按要求的类型签名组装成导入对象传给引擎，比如要让WASM模块能打印日志，就要把宿主侧实现的日志打印函数按引擎要求包装后放到导入对象里做符号绑定。
4. 实例化模块并交互
   导入项绑定完成后引擎会完成模块实例化：分配独立线性内存、初始化全局变量、执行模块的start初始化段逻辑，之后宿主就可以直接调用实例导出的函数，传入符合类型要求的参数获取执行结果。

以下是基于Wasmtime（Rust版）的极简嵌入示例代码：

use wasmtime::*;
fn main() -> anyhow::Result<()> {
    // 初始化引擎与存储上下文
    let engine = Engine::default();
    let mut store = Store::new(&engine, ());
    // 加载并校验本地WASM文件
    let module = Module::from_file(&engine, "add_demo.wasm")?;
    // 无导入项，直接实例化
    let instance = Instance::new(&mut store, &module, &[])?;
    // 调用导出的add函数
    let add_func = instance.get_typed_func::<(i32, i32), i32>(&mut store, "add")?;
    let result = add_func.call(&mut store, (12, 34))?;
    println!("计算结果: {}", result); // 输出46
    Ok(())
}

不存在能无差别运行所有WASM程序的引擎，能不能正常运行取决于三个核心条件：

• 基础特性匹配：如果目标WASM程序只用到WASM正式发布的MVP标准特性，引擎本身也支持这些特性，字节码加载校验阶段就不会出问题。如果程序用到了还未正式标准化的扩展提案（比如GC、组件模型、原生线程、高级SIMD等），而嵌入的引擎没有实现对应提案的支持，加载时会直接报字节码非法的错误。
• 导入依赖匹配：WASM程序本身只是指令集合，运行依赖的所有外部能力（比如系统调用、网络请求、DOM操作等）都要靠宿主导入提供。比如编译给浏览器环境跑的WASM会依赖Web API导入，编译给WASI环境跑的WASM会依赖wasi_snapshot_preview1系列系统接口导入，如果你嵌入引擎时没有实现对应签名的导入函数，模块实例化阶段就会因为符号缺失失败，和原生程序缺动态库跑不起来是一个逻辑。
• 资源配额匹配：如果WASM程序需要的内存、计算资源超出了你给引擎设置的上限，也会触发OOM、执行超时等错误无法正常运行。

内容的提问来源于stack exchange，提问作者Ajit