如何检查 malloc() 实现中返回数据的对齐？

Question

malloc(sz) returns 内存，其对齐适用于任何对象。

在 32 位 x86 机器上，这意味着由 malloc() 编辑的地址值 return 必须能被 4 整除。但实际上，32 位 malloc 实现 return 8 字节对齐的内存，这意味着 returned 地址总是可以被 8 整除。你也应该这样做。（在 x86-64/IA-64 机器上，最大数据对齐为 8，但 malloc 实现 return 16 字节对齐内存。）

这个情况我有一个测试

// Check alignment of returned data.

 int main() 
 {
     double* ptr = (double*) malloc(sizeof(double));
     assert((uintptr_t) ptr % __alignof__(double) == 0);
     assert((uintptr_t) ptr % __alignof__(unsigned long long) == 0);

     char* ptr2 = (char*) malloc(1);
     assert((uintptr_t) ptr2 % __alignof__(double) == 0);
     assert((uintptr_t) ptr2 % __alignof__(unsigned long long) == 0);
  }

我的 malloc 代码分配的 space 比用户请求的多。 space 的第一部分用于存储有关分配的元数据，包括分配的大小。

sizeof(metadata) % 8 == 0

但是我的堆

 static char heap[Heap_Capacity];

从不除以 8 的值开始

metadata* block = (metadata*)heap;
(uintptr_t)block % 8 != 0

我的测试失败了，在这种情况下我该怎么办？如何确定数组以

的地址开头

metadata* block = (metadata*)heap;
(uintptr_t)block % 8 == 0

?

Answer 1

您可以使用联合来强制正确对齐（请参阅 Union element alignment）或计算正确对齐的分配起始索引（这可能会将您的堆容量减少最多 7 个字节）。

如何检查 malloc() 实现中返回数据的对齐？

How to check alignment of returned data in the malloc() implementation?

c

c++

memory-management