- malloc与free是C++/C语言的标准库函数,new/delete是C++的运算符。它们都可用于申请动态内存和释放内存。
- 由与malloc/free是库函数而不是运算符,不在编译器控制权限之内,不能够把执行构造函数和析构函数的任务强加于malloc/free。
- new出来的指针是直接带类型信息的。而malloc返回的都是void*指针。
- 使用new操作符申请内存分配时无须指定内存块的大小,编译器会根据类型信息自行计算。而malloc则需要显式地指出所需内存的尺寸。
- new内存分配失败时,会抛出bac_alloc异常。malloc分配内存失败时返回NULL。
相同点:都可用于申请动态内存和释放内存
malloc
void* malloc(size_t size);
调用时候需要显示的指定分配空间的大小,分配成功会返回void *
的指针,需要自己进行强制转换,不安全,失败返回NULL
malloc分配规则
- 当开辟的空间小于 128K 时,调用 brk()函数,其主要移动指针 _enddata(此时的 _enddata 指的是 Linux 地址空间中堆段的末尾地址,不是数据段的末尾地址)。
- 当开辟的空间大于 128K 时,mmap()系统调用函数来在虚拟地址空间中(堆和栈中间,称为“文件映射区域”的地方)找一块空间来开辟。
brk()分配的内存只有当高地址的内存被释放了低地址的才能被释放。
mmap申请的内存是可以单独释放的
当我们频发的调用malloc的时候,会调用上面函数中的一个,这些就会产生系统开销,同时也会产生大量的内存碎片。这时候就需要一个内存池帮助我们管理内存,减少内存碎片的产生
内存池
为了减少内存碎片和系统调用的开销,malloc其采用内存池的方式。先申请大块内存作为堆区,然后将堆区分为多个内存块,以块作为内存管理的基本单位。当用户申请内存时,直接从堆区分配一块合适的空闲块。Malloc采用隐式链表结构将堆区分成连续的、大小不一的块,包含已分配块和未分配块;同时malloc采用显示链表结构来管理所有的空闲块,即使用一个双向链表将空闲块连接起来,每一个空闲块记录了一个连续的、未分配的地址。
当进行内存分配时,Malloc会通过隐式链表遍历所有的空闲块,选择满足要求的块进行分配;当进行内存合并时,malloc采用边界标记法,根据每个块的前后块是否已经分配来决定是否进行块合并。
malloc底层实现
- 将所有空闲内存块连成链表,每个节点记录空闲内存块的地址、大小等信息
- 分配内存时,找到大小合适的块,切成两份,一分给用户,一份放回空闲链表
- free时,直接把内存块返回链表
- 解决外部碎片:将能够合并的内存块进行合并