将自定义字段放入 struct malloc_chunk 时出现问题

Question

我试图在 struct malloc_chunk 中放入一个 head 标签和一个 foot 标签，如下所示：

  struct malloc_shunk {
       INTERNAL_SIZE prev_size;
       INTERNAL_SIZE size;
       }

这是我所做的：

1.

  struct malloc_shunk {
       INTERNAL_SIZE foot_tag;
       INTERNAL_SIZE prev_size;
       INTERNAL_SIZE size;
       }

在将 head_tag 放入 malloc_chunk 之前，我只添加了 foot_tag 并编译了 glibc。我制作了一个小型测试程序，从系统中分配 60 个字节，然后释放它。你可以看到 malloc 正确返回，free 抱怨说“无效指针”。 malloc 返回的指针是 0x9313010。这使得指向 malloc_chunk 开头的指针为 0x9313004。 因此，当空闲传递给 0x9313010 时，它会通过 (mem2chunk) 将其转换为 0x9313004 并检查其是否对齐。由于我的字长是 4，因此使用 0x9313010 进行对齐检查是我遇到问题的地方。您能告诉我 Mem 指针（由 malloc 返回）是否需要绝对双字对齐。 （因为这里它可能不满足该标准，因为 malloc 返回的指针和块的开头之间的差异将是 12 个字节，而不是 8）。

1. 为了永远到来 1. 问题，我刚刚在结构中添加了 1 个头标签，使其成为

   结构malloc_shunk { INTERNAL_SIZE 脚标记； INTERNAL_SIZE 前一个大小； INTERNAL_SIZE 大小； INTERNAL_SIZE head_tag； } 现在 malloc 返回的指针和块的开头之间的差异将是 16，它将始终是双字对齐的。但是在这里我面临着一个更大的问题，因为当第一个 malloc 被调用时，竞技场已经设置并且垃圾箱已经初始化。这里受害者的大小并没有像正常情况下那样为零。问题在于，victim->size 实际上是存储“top”而不是“last_remainder”的地方。我想征求您的意见是否有任何其他方法/解决方法/解决方案，以便我可以克服我当前面临的竞技场初始化问题。

谢谢和问候， 卡皮尔

Answer 1

根据我所学到的，尽量不要修改结构 malloc_chunk。即使你必须确保顶部指针最初为 0，否则堆将永远不会形成。 _int_malloc() 中的 sYSMALLOC() 函数首先从内核 MMAP 出更大的块。仅当 top 最初为 0 时才会调用它。