WebAssembly.Global 如何实现多模块动态链接？

以下是MDN上WebAssembly.Global的介绍段落：

WebAssembly.Global对象表示一个全局变量实例，可从JavaScript访问，且能在一个或多个WebAssembly.Module实例间导入/导出。这支持多个模块的动态链接。

我正试图理解WebAssembly.Global如何实现多个模块的动态链接。最初我以为这与多线程相关，WebAssembly.Global可让运行同一WebAssembly.Module的多个Web Worker实现某种协调。但后来我发现WebAssembly.Global既不被结构化克隆算法支持，也不属于可转移对象，这意味着它无法通过postMessage发送，因此我改变了想法。

动态链接的不稳定ABI提到，Emscripten中会将WebAssembly.Global用于env.__stack_pointer、env.__memory_base和env.__table_base，但我仍不确定这些导入为何必须是WebAssembly.Global类型。

一、WebAssembly.Global实现多模块动态链接的核心逻辑 #

动态链接的本质是让多个Wasm模块共享状态或符号，WebAssembly.Global的核心作用是提供跨模块的可变共享变量：

• 你可以在JavaScript中创建一个WebAssembly.Global实例，将它作为导入项传递给多个Wasm模块。所有导入该全局变量的模块，读写的都是同一个底层值——这就实现了模块间的状态同步，比如共享配置、计数器或者链接时需要的基础地址。
• 和普通JavaScript值导入不同，WebAssembly.Global是Wasm runtime直接管理的变量，模块对它的读写操作是高效的原生指令级操作，而非通过JavaScript桥接的间接调用，这对性能敏感的场景（比如链接时的内存/表地址计算）至关重要。

二、为什么Emscripten要用WebAssembly.Global处理__stack_pointer等变量 #

这些变量（__stack_pointer、__memory_base、__table_base）是Wasm模块链接和运行的关键元数据，必须满足两个核心要求：

1. 跨模块可变且共享：比如__stack_pointer需要在模块调用时动态更新（比如函数调用时栈指针下移），如果多个模块共享同一块内存，它们必须使用同一个栈指针变量才能保证栈操作的一致性。如果用普通导入值，模块只能拿到静态副本，无法实时同步栈指针的变化。
2. 高效访问：这些变量会被高频读写（比如每次函数调用都要操作栈指针），WebAssembly.Global的访问是直接的Wasm指令操作，性能远高于通过JavaScript间接读写的方式。如果用普通JavaScript变量传递，每次Wasm访问都要经过JS-Wasm边界，会带来巨大的性能开销。

简单来说，这些变量需要是可共享、可变、高效访问的全局状态，而WebAssembly.Global正好是Wasm规范提供的满足这些需求的原生机制。

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