posix_memalign/malloc在第一次免费拨打电话后分配较低地址

Question

我有点担心posix_memalign（）和malloc（）在我的系统上的行为。我有以下的测试代码：

#include <stdio.h> 
#include <stdlib.h> 
#include <assert.h> 

int 
main() 
{ 
    int i; 
    float *data; 
    for (i = 0; i < 5; i++) { 
    assert(!posix_memalign((void**) &data, 16, 100000 * sizeof(float))); 
    printf("data = %p\n", data); 
    } 
    free(data); 
    for (i = 0; i < 5; i++) { 
    assert(!posix_memalign((void**) &data, 16, 100000 * sizeof(float))); 
    printf("data = %p\n", data); 
    } 
    return 0; 
} 

在第一5次分配，posix_memalign（）返回高电平地址。后我调用free（），它突然切换到低地址：

% ./aligned 
data = 0x7f74f9974010 
data = 0x7f74f9912010 
data = 0x7f74f98b0010 
data = 0x7f74f984e010 
data = 0x7f74f93c4010 
data = 0x929010 
data = 0x98aaa0 
data = 0x9ec530 
data = 0xa4dfc0 
data = 0xaafa50 

的行为是相同的，如果我编译成C程序（.C，GCC）和作为C++程序（.C，克++ ）。如果我用malloc（）替换posix_memalign（），行为是一样的。

任何想法是怎么回事？谢谢！

我使用Linux 3.2.0/x86_64（Ubuntu）和gcc 4.6.3。

Answer 1

此行为是完全有效的，您的代码不应该依赖于以任何特定模式分配的内存。

它归结为分配功能的内部实现细节，但一个可能的解释是：

• 的free功能着眼于多少内存已分配给进程与它是多么的实际使用，以决定是否应释放某些内存（供其他进程使用）。
• 在分析过程中，free更改了分配器使用的一些内部状态变量，即使没有实际释放内存。
• 因此，将来调用分配函数的行为与未调用free时的行为不同。