WASM 运行时深度工程实战：从字节码解释器到 AOT/JIT 编译的运行时完整链路

一、引言：WebAssembly 如何重塑计算边界

WebAssembly（Wasm）最初被设计为 Web 的"高性能第二语言"，旨在让 C/C /Rust 等语言编写的程序能够以接近原生速度在浏览器中运行。但它很快突破了 Web 边界：从 Cloudflare Workers 到 Docker 的边缘容器，从区块链智能合约（CosmWasm）到服务端插件系统（Envoy Proxy 的 Wasm 扩展），Wasm 正在成为事实上的"通用运行时"。

这一切的背后是 Wasm 运行时——它是 Wasm 字节码的执行引擎，决定着性能、安全性和平台兼容性。本文将从 Wasm 字节码格式开始，完整剖析一个工业级运行时的核心流水线：解码→验证→编译→执行→内存管理。

二、Wasm 字节码与模块结构

2.1 模块（Module）与实例（Instance）

一个 .wasm 二进制文件称为模块。它包含以下区段（Section）：

• Type 区：函数签名集合（参数类型和返回类型）
• Import/Export 区：导入和导出函数（运行时与外界的接口）
• Function 区：函数体索引
• Code 区：函数体的实际指令序列（压栈式字节码）
• Memory 区：线性内存定义（初始大小 最大大小）
• Table 区：函数引用表（用于间接调用）
• Global 区：全局变量声明
• Start 区：实例化时自动执行的函数

2.2 堆栈机模型

Wasm 采用基于堆栈的虚拟机指令集。每条指令从一个值栈上弹出参数、压回结果：

I32.add:   栈上弹出两个 i32 值，压回 i32 结果
I64.mul:   弹出 i64、i64，压入 i64
Local.get 3: 将第 3 个局部变量的值压栈
Call 5:    调用函数索引为 5 的函数

堆栈机的优势是紧凑度高（指令无操作数信息，由隐含的栈操作决定），代价是需要更多的指令来完成相同的逻辑。

2.3 局部变量与函数帧（Stack Frame）

每个函数调用产生一个帧（Frame），包含：

• 一个值栈（操作数栈），用于存放中间计算结果
• 一个局部变量数组，存放函数参数和局部变量
• 返回地址指针

三、运行时架构总览

一个完整的 Wasm 运行时包含以下流水线阶段：

1. 解码与验证（Decode