WebAssembly中的堆栈空间(&WASI)



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

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

最新更新