WebAssembly 自诞生之初就选择了基于栈机的执行模型，这一决策在其技术规范中有着明确的数学定义和工程考量。与传统虚拟机领域常见的基于寄存器的设计（如 Dalvik）或早期栈机实现（如 Java 虚拟机早期版本）相比，WASM 的栈机模型在规范层面展现出独特的结构化特征，这些特征深刻影响了编译器后端的实现策略。
隐式操作数栈的规范定义
根据 WebAssembly 官方规范的定义，其计算模型建立在栈机之上，指令操作一个隐式的操作数栈（operand stack）。每条指令从栈上消耗（pop）参数值，并将结果产生或返回（push）到栈上。这种隐式设计意味着指令本身不需要显式指定操作数的位置，编码时只需包含操作码和必要的立即数参数，如局部变量索引、全局变量索引或内存偏移量。
规范将指令分为多个类别：控制指令负责程序流的转移，变量指令访问局部变量和全局变量，内存指令执行加载和存储操作，数值指令提供基本的算术和逻辑运算。值得注意的是，WASM 的指令集刻意保持精简，避免复杂的多参数指令，这与某些采用复杂寻址模式的传统栈机形成对比。规范的制定者明确指出，这种设计选择是为了支持紧凑的二进制编码和高效的流式解析，同时为验证器的实现提供清晰的语义基础。
结构化控制流与嵌套标签机制
WASM 栈机模型最显著的特征是其结构化控制流机制。规范明确定义了 block、loop、if 等结构化指令，它们包含嵌套的指令序列，形成代码块。与传统汇编语言中使用显式跳转标签不同，WASM 使用相对嵌套深度来索引标签：标签零指向最近的封闭结构化控制指令，递增的索引依次指向外层结构。这种设计确保了分支目标只能是 outward 跳转，即只能跳出当前代码块或继续循环，而不能实现任意的控制流图。
规范详细描述了分支指令的行为：执行分支时，操作数栈会 unwind（展开）到进入目标结构化控制指令时的高度。然而，分支指令本身也可能消耗操作数，这些操作数在 unwind 后会被推回栈上。前向分支（跳出 block 或 if）要求操作数符合目标块的输出类型，代表该块产生的结果值；后向分支（继续 loop）要求操作数符合目标块的输入类型，代表循环下一次迭代需要消费的值。
这种结构化设计在规范层面提供了可验证的安全保证。由于所有控制流都必须遵循块结构，恶意代码无法构造超出边界跳转或实现不安全的控制流图。验证器在模块加载阶段就能完成控制流正确性的检查，这为 WASM 的沙箱安全模型奠定了基础。
操作数栈与控制栈的分离
理解 WASM 的执行模型需要区分两种不同的栈结构。操作数栈（operand stack）用于存储计算过程中的数值和引用，是大多数指令操作的对象。控制栈（control stack）则管理块结构、循环和异常处理器的嵌套层级。规范在语义定义中明确区分了这两种栈的行为：结构化控制指令引入隐式标签，这些标签作为分支指令的目标，而操作数栈的深度随指令执行动态变化。
这种分离设计对编译器优化具有重要影响。当编译器将 WASM 代码编译到目标平台时，它必须处理两种不同的栈抽象。操作数栈可以被映射到目标机器的寄存器或栈帧位置，但需要仔细跟踪栈深度以确保正确的布局。控制栈的结构化特性则允许编译器实施特定的优化策略，例如识别归纳变量或消除不必要的循环。
对编译器优化的影响
WASM 栈机模型对编译器优化产生了多方面的深远影响。首先，由于指令不直接指定操作数位置，编译器后端必须进行活跃变量分析，确定每个栈位置在何处被定义和使用。这与基于寄存器的中间表示（如三地址码或 SSA 形式）的优化策略有本质区别。WASM 的设计者明确指出，解码得到的模块会被转换为内部的 SSA 形式进行进一步优化，这意味着栈机表示更多是一种传输格式而非最终的执行格式。
其次，结构化控制流限制了可表达的代码模式。虽然这简化了验证和安全性，但也意味着某些高级优化（如循环展开或向量化）需要在块结构内部完成，不能跨越任意的控制流边界。编译器需要理解 blocktype 的输入输出约束，才能安全地应用这些变换。
最后，规范对指令类型的严格分类为特定领域的优化提供了机会。数值指令紧密映射到硬件操作，内存指令包含对齐和偏移的立即数参数，编译器可以根据目标架构的特性选择最优的指令序列或插入适当的填充以满足对齐要求。
与传统栈机模型的比较
传统栈机（如 Java 虚拟机早期版本）通常采用更为灵活的指令集，允许指令直接从操作数栈或局部变量槽位获取多个操作数。WASM 的设计则更加规范化：几乎所有操作都发生在操作数栈上，局部变量和全局变量通过独立的 get 和 set 指令访问。这种设计选择使得指令数量相对较少，验证规则更加简洁，同时也为流式解析提供了便利。
另一个关键差异在于控制流的表现形式。传统栈机依赖字节码指令的显式跳转目标，而 WASM 的结构化控制流从根本上避免了非结构化跳转的可能性。这一设计决策虽然限制了某些编程模式的使用，但显著降低了验证器的复杂度，并为未来的多线程安全分析提供了更好的理论基础。
实践中的优化策略
基于对 WASM 栈机模型规范的理解，编译器可以实现多种优化策略。预先计算栈深度变化并在函数入口处分配连续的栈帧区域，可以避免运行时频繁的栈调整操作。将频繁访问的局部变量提升到固定位置，可以减少 local.get 和 local.set 指令的开销。识别可融合的指令序列（如常见的算术组合）并合并为单条指令，可以减少生成的代码量并提高执行效率。
值得注意的是，WASM 的栈机模型并非不可变的设计。随着功能的演进，规范也在引入新的特性，如尾调用优化和更多的高级类型支持。这些发展反映了在保持核心设计原则的同时，持续适应更广泛用例的工程实践。
资料来源：WebAssembly Core Specification, World Wide Web Consortium, https://webassembly.github.io/spec/core/syntax/instructions.html