双重自由或腐败的原因

时间:2014-05-09 13:39:30

标签: c

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

    main() {
        int *ptr, *tmp;
        ptr = (int *)malloc(sizeof(int) * 60);
        tmp = ptr;
        printf("tmp  %u ptr %u\n", tmp, ptr);
        int i =0;
        for (i = 0; i < 76; i ++)
        {
            *ptr = i;
            ptr++;
        }

    printf("tmp  %u ptr %u\n", tmp, ptr);
    free (tmp);
    }

this program crahes when we run it 





{124}: ./a.out 
tmp  23134224 ptr 23134224
tmp  23134224 ptr 23134528
*** glibc detected *** ./a.out: double free or corruption (!prev): 0x0000000001610010 ***
======= Backtrace: =========
/lib64/libc.so.6[0x333ce750c6]
./a.out[0x4005e0]
/lib64/libc.so.6(__libc_start_main+0xfd)[0x333ce1ecdd]
./a.out[0x400499]
======= Memory map: ========
00400000-00401000 r-xp 00000000 00:2b 26388454                           /users/home40/rnadakud/cpract/a.out
00600000-00601000 rw-p 00000000 00:2b 26388454                           /users/home40/rnadakud/cpract/a.out
01610000-01631000 rw-p 00000000 00:00 0                                  [heap]
333c600000-333c620000 r-xp 00000000 fd:00 1253867                        /lib64/ld-2.12.so
333c81f000-333c820000 r--p 0001f000 fd:00 1253867                        /lib64/ld-2.12.so
333c820000-333c821000 rw-p 00020000 fd:00 1253867                        /lib64/ld-2.12.so
333c821000-333c822000 rw-p 00000000 00:00 0 
333ce00000-333cf97000 r-xp 00000000 fd:00 1253879                        /lib64/libc-2.12.so
333cf97000-333d197000 ---p 00197000 fd:00 1253879                        /lib64/libc-2.12.so
333d197000-333d19b000 r--p 00197000 fd:00 1253879                        /lib64/libc-2.12.so
333d19b000-333d19c000 rw-p 0019b000 fd:00 1253879                        /lib64/libc-2.12.so
333d19c000-333d1a1000 rw-p 00000000 00:00 0 
333ee00000-333ee16000 r-xp 00000000 fd:00 1253886                        /lib64/libgcc_s-4.4.6-20110824.so.1
333ee16000-333f015000 ---p 00016000 fd:00 1253886                        /lib64/libgcc_s-4.4.6-20110824.so.1
333f015000-333f016000 rw-p 00015000 fd:00 1253886                        /lib64/libgcc_s-4.4.6-20110824.so.1
7f085a471000-7f085a474000 rw-p 00000000 00:00 0 
7f085a492000-7f085a495000 rw-p 00000000 00:00 0 
7ffffddb2000-7ffffddc7000 rw-p 00000000 00:00 0                          [stack]
7ffffddff000-7ffffde00000 r-xp 00000000 00:00 0                          [vdso]
ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0                  [vsyscall]
Abort (core dumped)

我知道我正在覆盖阵列,但是这里观察是崩溃发生在我自由时(tmp) 现在即使我在写ptr,但是当我自由(ptr)时应该只释放前60个字节

所以请帮助我理解这个错误。

2 个答案:

答案 0 :(得分:8)

覆盖会调用未定义的行为。

在您的情况下,您会丢弃堆的数据结构,导致free()执行崩溃的操作。这就是为什么它被称为“未定义的行为”,因为你无法知道何时,如何或是否会有任何可观察的“证据”表明你做错了什么。或者,当程序执行看似无关的事情时,它可以在以后出现。

另外,please don't cast the return value of malloc() in C

答案 1 :(得分:5)

您正在编写超出您分配的内存块的末尾并且行为未定义。

  

我知道我正在覆盖数组,但是这里观察是崩溃发生在我自由(tmp)现在即使我在写ptr,但是当我自由(ptr)它应该只释放前60个字节。 / p>

堆分配的内存通常通过在内存块旁边存储有关内存块的元数据来工作。这是必需的,以便堆管理器知道如何释放内存块。毕竟,当您将指针传递给free时,堆管理器确实需要一些方法来确定如何释放内存。

这里发生的是您正在破坏该元数据,并且在调用free时会检测到该元数据。它看起来非常像您正在使用调试堆管理器,它在您的运行时实现调试代码以检测此类堆损坏。