wee_alloc（malloc 替代方案）如何知道在 WebAssembly 中从哪里开始堆？

Question

我正在尝试在 WebAssembly 中运行的自定义语言中使用wee_alloc。但是，我需要完全理解它如何知道从哪里开始堆，以便我的堆栈和静态分配不会破坏它，反之亦然。

我的理解是 malloc 等。知道从哪里开始堆取决于平台，通常只是一个约定，或者在某些情况下不适用。然而，在 WebAssembly 中，我们只能拥有一块连续的线性内存，因此我们必须共享它并且需要使用约定。

通过阅读代码，wee_alloc 所做的似乎是假设我们开始使用的任何内存都是完全禁止的，而是使用该grow_memory指令创建堆所需的第一块内存。这实际上意味着堆开始的索引/地址是初始大小的最高索引加一。（编辑：它实际上不是 + 1，我忘了索引是从零开始的；一对一错误？？）

例如，如果我们从 1 页的初始内存大小开始：

 current_memory = 1 page = 64KiB = 65,536 bytes

然后堆从索引 65537 开始。

我的理解正确吗？

Answer 1

你的理解是正确的！但有一个小例外：由于索引是从零开始的，因此第一页的最后一个索引是 65535，第二页的第一个索引是 65536。-@pepyakin