WebAssembly (&WASI) 中的堆栈空间

Posted 2023-02-17

【中文标题】WebAssembly (&WASI) 中的堆栈空间

【英文标题】：Stack space in WebAssembly (& WASI)

【发布时间】：2020-10-08 04:16:58

【问题描述】：

我正在编写 WebAssembly 文本格式的小程序 (.wat)。我看过从 C 编译的 Wasm 代码，看起来常见的做法是维护一个全局堆栈指针，当我们进入一个函数时，通过将堆栈指针减去 4 的倍数（例如 16 ):

    (global.set $g0
      (local.tee $l1
        (i32.sub
          (global.get $g0)
          (i32.const 16))))

;; --snip--

  (global $g0 (mut i32) (i32.const 67088))

我需要实现一个非常基本的malloc 来进行动态内存管理。在这个实现中，我认为如果内存不足，我需要使用memory.grow 增加内存。

我的问题：

当我增加内存时，我应该如何处理堆栈空间？ AFAIK，如果我什么都不做，内存看起来像这样：

+-----------------------+  high memory
| Newly acquired memory |
|                       |
+-----------------------+
| Stack space           |
+-----------------------+
| Heap (managed with    |
|       malloc)         |
+-----------------------+  low memory

【问题讨论】：

如果您直接在 WebAssembly 中编写应用程序，是否有任何理由需要创建自己的堆栈？ WebAssembly 有自己的call stack - 允许您调用函数、维护局部变量状态等...

【参考方案1】：

wasm-ld（WebAssembly 的 llvm 链接器）默认情况下首先使用堆栈（在较低地址）布局内存。这允许 sbrk（或者实际上是您的自定义 malloc）使用 memory.grow 来扩展堆区域。通过获取链接器创建符号的地址__heap_base，可以找到堆的开始位置。