Malloc /免费自己实现

Question

我目前正在尝试编写自己的malloc和free实现。

在我的研究过程中，我发现了一些请求免费memoryspace的实现：

block = sbrk(totalSize);

然后还有一些其他代码

最后他们return：

return (block + 1);

但我不明白为什么+ 1是必要的。

另一件事我不明白为什么某些实现在magic number中有struct。

我已经搜索了网络和stackoverflow，但没有找到我的问题的任何答案。

Answer 1

所以你从你的分配器返回了内存。一切都很好，用户用它做了一些事情，并给你free一个指针。就是这样，你得到的只是一个地址。

你怎么能从一个地址知道：

1. 它是由你开始分配的吗？
2. 你还没有释放它吗？
3. 它指向的内存块有多大？

您必须在某处存储某些元数据。您描述的示例所示的方法是将元数据存储在您为调用者malloc提供的原始内存之前。这样，要检索它，您只需要使用free提交的地址进行简单的指针算术。

之后，要存储的元数据取决于您。幻数是记录您分配以下块的一种方法。如果它的位模式足够＆＃34;不同＆＃34;那么你很少会尝试释放你自己没有分配过的障碍。

Answer 2

故事讲述者有大部分......故事！双关语。

另外两点。首先，malloc()经常错过的要求是返回对齐的内存。 malloc()没有被告知它的分配是什么，所以需要返回一个具有“最大对齐”的块。 如果您的平台具有均匀对齐（2字节对齐），而int之类的内容无法在奇数地址上启动（或者效率不高），那么+1可能会向上舍入。虽然在这种情况下永远不会返回一个奇数长度的块是没有多大意义的。

其次，另一个智能调试功能是在块的末尾放置一些熟悉的模式来检查缓冲区结束覆盖（例如，输出1个错误）。

我个人认为0xDEADC0D3是一个4字节的好块，但那是我的幽默感。