特邀专家在线答疑——名不正则言不顺 一网打尽C语言基本概念

contiguous

回复 109# DNFCF


    如果按你说的，那个我的指针指的是5个struct的大小，而free从我的指针类型上应该只能通知是一个struct的大小，所以free只会释放一个struct的空间，而另外的4个就丢了。

contiguous

回复 104# txdgtwpv


    按理说操作系统应该知道。但malloc不是在c库中实现的吗？有很多的不解。

DNFCF

回复 111# contiguous


   首先我承认 我错了！！！
看了一下free函数的原型：void free(void *)

omycle

回复 97# KBTiller


    我在ubuntu下面用gcc。运行会出现段错误。

KBTiller

回复 114# omycle


    所以，在个别编译器上编译通过且能执行的“未定义行为”是根本靠不住的

KBTiller

回复  KBTiller


    那free到底做了什么呢？？？他所谓的释放内存到底做了什么呢？？？
DNFCF 发表于 2011-04-26 12:35

    这个问题有点难度
    首先，这个问题没有统一的标准答案，在各个OS下必然有差异。
    其次，这个问题其实和malloc究竟是如何分配内存也有关系
    我这里只粗浅地从模型的角度谈一下一种可能的实现:首先把可用的内存块组织成链表，malloc到这个链表中寻找可用空间，然后修改链表。而free完成的是相反的过程，把不再使用的内存块重新加入到链表。

    欢迎两位版主和其他网友补充

PCliangtao

回复 107# rover12421


     malloc是如何告诉系统你要分配多少的内存？  说话要有根据...malloc只是libc里面的一个库函数. 实际上linux上提供的内存分配函数是sbrk和brk两个系统调用. 严格来说根本不算是内存

    分配函数. 只是扩大程序堆空间的系统调用. 底层具体分配内存的函数系统没有EXPORT出来...只能内核使用.

     而sbrk这样的函数肯定是不好用的. 所以libc里的malloc就在sbrk 上包裹了一层. 来提程序员管理分配及释放内存. 提供简单的调用接口.

     不知道现在的malloc是如何实现的. 只知道以前看过的malloc实现是基于桶的原理的. 它会有很多链表结构来管理空闲块以及分配出去的块. 每个块的开头会有指针.或者其他的记录信息.

     这样有时候malloc一块内存之后. 然后越界写. 然后free.或者malloc的时候有可能就会出现malloc memory corrupted之类的信息导致程序挂调. 这就是因为你把malloc用来管理内存的

     一些记录信息给覆盖调了.  

    为何free能够知道要free多少内存.这个再简单不过了. 比如malloc管理内存可能会以某各大小的内存块的倍数来管理.比如 N 2N 3N...等. 不足N的直接分配N就好了...

    有各种链表来管理分配出去的内存. 等大的内存块大小挂在同一个链表上. 自然就知道大小了.   具体实现也不清楚了...  至少slab是这么干的...原理都差不多.

mirnshi

大侠们，问个问题？
malloc分配完数据空间后，在用free释放的时候，free是怎么知道需要释放多大的空间的。 ...
contiguous 发表于 2011-04-26 09:45

OS获取控制权后，会将内存划分出不同大小的区块。例如申请者，申请一个字节，一般情况下，OS的内存管理程序会分配一个最接近于1字节的块给申请者，而不是只提供1字节内存空间给申请者。
内存管理程序知道哪些内存块被使用了，及这些内存块的大小等一些信息。也就是说，内存管理程序既然批准了内存的使用，自然知道被批准的内存块大小。

txdgtwpv

malloc.zip (8.57 KB, 下载次数: 18)

2011-04-27 08:25 上传

点击文件名下载附件

openbsd的malloc与free

KBTiller

前面几位网友的发言非常精彩，实在是为本贴增色不少。本人也感到受益匪浅