详解C标准库堆内存函数

 更新时间:2021年06月07日 10:10:14   作者:可可西  
在C/C++语言中,我们知道内存分为这几种:程序全局变量内存、栈内存、堆内存。其中堆内存就是通过malloc(new)来分配的内存,本文我们来探讨一下C标准库堆内存函数。

概述

C标准库堆内存函数有4个:malloc、free、calloc、realloc,其函数声明放在了#include <stdlib.h>中,主要用来申请和释放堆内存。

堆内存的申请和释放(wiki,chs),需要发起系统调用,会带来昂贵的上下文切换(用户态切换到内核态),十分耗时。另外,这些过程可能是带锁的,难以并行化。

对于操作系统而言,内存管理的基本单位是页(通常为4K),而不是需要4 Bytes时,就给你分配4 Bytes,释放4 Bytes时,就给你释放4 Bytes。

因此,为了提升效率,操作系统会调用系统api(windows上是VirtualAlloc、VirtualFree,其他平台是mmap、munmap)来实现一个Ansi C内存分配器(工作在用户态),供C标准库堆内存函数来使用。

不同操作系统Ansi C内存分配器实现方案有所不同

  • windows:MSVCRT.DLL中使用NT heap实现
  • linux:glibc中使用ptmalloc实现
  • Android:使用jemalloc实现

内存碎片与碎片整理

(1)内存碎片(fragmentation):即空闲内存不能被利用。分为外部碎片(在分配单元间的未使用的内存);内部碎片(在分配单元中未使用的内存)

(2)内存碎片的罪魁祸首就是小块内存的频繁分配

(3)内存碎片无法避免,只能通过内存分配器算法来减少,例如:接近大小的内存就近分配,释放时能合并就合并,从而减少碎片

(4)上面讲的内存碎片指的是虚拟内存碎片,OS是不管的,OS只管物理内存。

(5)平时我们说的内存碎片整理(defragment)或内存紧缩(memory compaction),是指OS对物理内存进行的碎片整理,把分开小的物理内存页移动在一起形成一个大的整块。

OS整理完物理内存后,会用新的物理内存地址来更新虚拟内存与物理内存映射表,这些对于上层逻辑都是透明的。

虚拟内存是不能进行碎片整理的,主要原因是碎片整理会移动内存,上层逻辑的指针地址确还是指向老的地址,这会导致致命错误。

内存分配器的好坏标准

(1)分配和释放的效率

(2)内存分配器的利用率。包括以下几个方面:

① 内存对齐导致的不可使用的内存碎片(内部碎片)

② 内存碎片太严重,使得分配大块内存时,找不到空闲块,最后导致内存分配失败(外部碎片)

③ 内存页始终有被使用,导致分配器无法及时释放该页的内存占用,使得整个内存分配器的内存占用被撑得很大,缩不回去

void* malloc( size_t size )

形参size为要求分配的字节数。如果函数执行成功,malloc返回获得内存空间的首地址;如果函数执行失败,那么返回值为NULL。

由于 malloc函数值的类型为void型指针,因此,可以将其值类型转换后赋给任意类型指针,这样就可以通过操作该类型指针来操作从堆上获得的内存空间。

需要注意的是,malloc函数分配得到的内存空间是未初始化的。可通过调用memset来将其初始化为全0。

int* p = (int *) malloc(sizeof(int)*100);
 
if (p == NULL)
{
    printf("Can't get memory!\n");
}
 
memset(p, 0, sizeof(int)*100);

void free( void* ptr )

从堆上获得的内存,在程序结束之前,系统不会将其自动释放,需要程序员来自己管理,防止出现内存泄露。

free(p);
p = NULL;

void* calloc( size_t num, size_t size )

calloc函数的功能与malloc函数的功能相似,都是从堆分配内存。

函数返回值为void*。如果执行成功,从堆上获得size * num大小的堆内存,并返回该内存块的首地址。如果执行失败,函数返回NULL。

与malloc函数不同的是,calloc函数得到的内存块会被初始化为全0。由于提供了2个参数,比较适合为数组申请空间,可以将size设置为数组元素的空间长度,将num设置为数组的容量。

int* p = (int *) calloc(100,  sizeof(int));
 
if (p == NULL)
{
    printf("Can't get memory!\n");
}

void *realloc( void *ptr, size_t new_size )

为ptr重新分配大小为size的一块内存空间。下面是这个函数的工作流程:

① 如果ptr为NULL,则函数相当于malloc(new_size),试着分配一块大小为new_size的内存,如果成功将地址返回,否则返回NULL。

② 如果ptr不为NULL,查看ptr是不是在堆中,如果不是的话会抛出realloc invalid pointer异常。如果ptr在堆中,则查看new_size大小。

(a)如果new_size大小为0,则相当于free(ptr),将ptr指向的内存空间释放掉,返回NULL。

(b)如果new_size小于原大小,只有new_size大小的数据会保存,后面地址的数据可能会丢失;

(c)如果new_size等于原大小,什么都没有做;

(d)如果new_size大于原大小,则查看ptr指向的位置还有没有足够的连续内存空间,如果有的话,分配更多的空间,返回的地址和ptr相同;

如果没有的话,在更大的空间内查找,如果找到new_size大小的空间,将旧的内容拷贝到新的内存中,把旧的内存释放掉,则返回新地址,否则返回NULL。

int* p = (int*)malloc(sizeof(int));
*p = 3;
printf("p=%p\n", p);  // p=0000020B2966E310
printf("*p=%d\n", *p); // *p=3

p = (int*)realloc(p, sizeof(int));  // 什么也不做
printf("p=%p\n", p);  // p=0000020B2966E310
printf("*p=%d\n", *p); // *p=3

p = (int*)realloc(p, 1024 * sizeof(int)); // 创建4KB的内存块  注:4KB为一个页面的大小
printf("p=%p\n", p); // p=0000020B29673A50  注:由于不能在原来地址上扩容,会将原来地址内存释放,并在新地址申请内存块
printf("*p=%d\n", *p); // *p=3

realloc(p, 0);  // 相当于free(p)
p = NULL;

以上就是详解C标准库堆内存函数的详细内容,更多关于C标准库堆内存函数的资料请关注脚本之家其它相关文章!

相关文章

  • 详解利用C语言如何实现简单的内存池

    详解利用C语言如何实现简单的内存池

    这篇文章主要给大家介绍了关于C语言如何实现简单的内存池的相关资料,设计内存池的目标是为了保证服务器长时间高效的运行,通过对申请空间小而申请频繁的对象进行有效管理,减少内存碎片的产生,合理分配管理用户内存,需要的朋友可以参考下
    2021-08-08
  • C++多态的实现机制深入理解

    C++多态的实现机制深入理解

    这篇文章主要介绍了C++多态的实现机制理解的相关资料,非常不错,具有参考借鉴价值,需要的朋友可以参考下
    2016-07-07
  • C/C++实现图形学扫描线填充算法

    C/C++实现图形学扫描线填充算法

    这篇文章主要介绍了C/C++实现图形学扫描线填充算法,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2020-04-04
  • C语言实现共享单车管理系统

    C语言实现共享单车管理系统

    这篇文章主要为大家详细介绍了C语言实现共享单车管理系统,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2022-08-08
  • C++中字符串与整型及浮点型转换全攻略

    C++中字符串与整型及浮点型转换全攻略

    C++算法刷题等过程中经常会遇到字符串与数字类型的转换,在这其中虽然朴素的算法有不少,但是对于double等类型还是可以说遇到一些麻烦,所以今天就来说说使用C++标准库中的函数实现这些功能。感兴趣的小伙伴一起参与阅读吧
    2021-09-09
  • 素数判定算法的实现

    素数判定算法的实现

    这篇文章主要介绍了素数判定算法的实现,素数判定问题是一个非常常见的问题,本文介绍了常用的几种判定方法,需要的朋友可以参考下
    2014-08-08
  • c++显式类型转换示例详解

    c++显式类型转换示例详解

    这篇文章主要介绍了c++显式类型转换示例详解,需要的朋友可以参考下
    2014-04-04
  • C++学习之智能指针中的unique_ptr与shared_ptr

    C++学习之智能指针中的unique_ptr与shared_ptr

    吃独食的unique_ptr与乐于分享的shared_ptr是C++中常见的两个智能指针,本文主要为大家介绍了这两个指针的使用以及智能指针使用的原因,希望对大家有所帮助
    2023-05-05
  • 关于c++11与c风格路径拼接的速度对比

    关于c++11与c风格路径拼接的速度对比

    这篇文章主要介绍了关于c++11与c风格路径拼接的速度对比分析,具有很好的参考价值,希望对大家有所帮助。如有错误或未考虑完全的地方,望不吝赐教
    2022-07-07
  • C++中Qt的安装与配置步骤详解

    C++中Qt的安装与配置步骤详解

    Qt是一种C++编程框架,用于构建图形用户界面(GUI)应用程序和嵌入式系统,无论是初学者还是经验丰富的开发者,Qt都为构建高质量、可维护的应用程序提供了丰富的工具和支持,本文主要给大家介绍了C++中Qt的安装与配置步骤,需要的朋友可以参考下
    2023-12-12

最新评论