我正在用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
的地址来找到。