Webassembly增长内存和导入malloc

Question

阅读规范后，我试图增加一些内存并做了以下操作：

(module
  (table 0 anyfunc)
  (memory $0 1)
  (export "memory" (memory $0))
  (export "f" (func $0))
  (func $0 (param $0 i32) (result i32)
    get_local $0
    grow_memory
  )
)

现在我希望如果我们输入 10，我们的页面大小是 11 的倍数，所以类似于：

 (memory $0 1)

变成

 (memory $0 11)

我不得不添加一个返回值，因为堆栈没有被清空。现在我假设该方法如果成功则返回-1以外的其他内容，对吗？在这种情况下，我认为它有效，我应该有更多页面。

我知道也有 JS 方式，但我更喜欢直接在 WebAssembly 中完成所有这些工作。有趣的是，我们可以从“Env”中导入诸如 malloc、free、strcopy 等 C 函数。

所以我的问题是：我增加内存的方法是否正确？我应该导入 C 风格的模块吗？ grow_memory 和 realloc() 有什么关系，或者说区别？

Answer 1

grow_memory 返回之前的大小（以页为单位）或-1 according to its specification。

这不会改变初始页面分配(memory $0 1)！这是模块的静态属性，而当前内存大小是内存的动态属性。这就像增长一个您最初为其保留 1 个元素的数组。你最初还是保留1，改变的是当前大小。

您也可以使用drop 忽略grow_memory 的返回值。

malloc / free / realloc 都是你可以使用grow_memory 实现的东西。该操作码类似于sbrk。当然，WebAssembly 嵌入器也使用内存分配来授予您的操作码请求，这本身可以通过 malloc / free / realloc 实现，或者更可能通过 mmap 实现。