WebAssembly (&WASI) 中的堆栈空间

Question

我正在编写 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

Answer 1

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