1

我正在用 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
4

1 回答 1

0

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

于 2020-10-08T19:02:14.547 回答