C++内存分配详解六:malloc()详解_c++ malloc

img
img

既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,涵盖了95%以上物联网嵌入式知识点,真正体系化!

由于文件比较多,这里只是将部分目录截图出来,全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、电子书籍、讲解视频,并且后续会持续更新

需要这些体系化资料的朋友,可以加我V获取:vip1024c (备注嵌入式)

如果你需要这些资料,可以戳这里获取


前言

由于malloc()的源码十分的繁琐,并且会调用OS所提供的API,所以我不在对malloc()的源码进行分析了,而只是会分析malloc()的动作,这就已经足够了。


一、malloc()分配出的内存空间

在前边的文章中已经提及到了,当malloc()分配空间时,并不是要多少就分配多少,而是会额外的加上首部和尾部,其中一些较为简单的部分我会在这里进行解释,而较为重要的部分我会在本文下面的分析中逐步的完善。
图片取自侯捷C++内存分配系列教程讲义
在这里插入图片描述

这张图片去除掉了上下两块cookie和下边的填补区pad。

浅绿色的fill是调用malloc()时向系统申请的内存,该函数返回时,也会返回这块区域开头的指针。这里申请了0x100 byte的内存.

fill上下两块gap预先被填充为了0xfdfdfdfd,用来分隔客户可以使用的内存区和不可使用的内存区,同时,当这块内存被归还时,编辑器也可以通过下gap的值区判断当前内存块是否被越界使用了。

上gap向上连续的7个内存空间共同组成了debug header,从上向下标号为1-7

  • 1、2两块空间保存了两根指针,目的是使多个内存块连接成链表。
  • 3空间保存了申请本内存块的文件名
  • 4空间保存了申请本内存块的代码行数
  • 5空间记录了本内存块中实际可以被用户使用的内存空间的大小
  • 6空间记录了当前内存块的流水号,即是链表中的第几个,从1开始
  • 7空间记录了当前内存块被分配的形式,后边会进行分析

二、内存分配


1.内存管理所用到的结构层次

首先,在进入程序之前,系统就已经分配出了一个结构去管理内存,我们先来看看这个结构
在这里插入图片描述代码比较难看懂,我这里分析一下。

系统首先会调用__cdecl_heap_init()函数去分配一个堆空间,用在这里分配的堆空间去管理程序中会产生的动态分配内存的请求。而在__cdecl_heap_init()这个函数中,回去创建一个长度为16的类型为HEADER的链表,这个链表的每个节点将在以后的程序中去管理1MB的内存。

我们去看下这个链表的节点的结构:
在这里插入图片描述
这里需要重点关注的是两根指针:

  • 指针pHeapData将被指向这个header所管理的那1MB的内存空间的开头。
  • pRegion将会被指向一个管理用的结构,这个结构将会在下边展开

在这里插入图片描述
这张图对应了上边的关系

在这个图中显示的,pHeapData指向的是虚拟地址空间,没错,现在还是虚拟的,并没有为其分配内存,我们可以将他想象成门牌号的集合。这里只保存了门牌号,但是房子还没有建起来。这里以后将要分配的空间一共是1MB,将被分为32个32KB的内存段。

接下来我们详细去看pRegion所指向的结构,也就是tagRegion;
在这里插入图片描述
在这里插入图片描述

  • indGroupUse表示了当前会提供内存的group编号,从0开始
  • cntRegionSize[64]用64个字节去对应后边group所将会展开链表,当对应链表挂在有内存时,将会变成1.
  • bitvGroupHi和bitvGroupLo共同构成了一个的byteMap共64个byte(分为32组),将来用于对应每个group中所挂载的64条双向链表,当对应的位置挂载有内存时,会变成1.
  • grpHeadList就是32个group,每个group负责32KB
    在这里插入图片描述
    在这里插入图片描述
  • 这里的cntEntries代表当前链表中挂载的内存块被切分的次数
  • listHead对应64对指针,也就是形成了64条链表,用于挂载不同大小的内存块,间隔为16byte,最后一条链表将挂载所有大于等于1K的内存块

在这里插入图片描述

  • 编号1就是上边所说的每grop中的那64条双向链表现在只有最后一条双向链表中挂载有内存页.
  • 编号2是这个group所对应的那32K的内存段,将他分为了8份,每份就是4K,将这8个内存页串成链表,由于每一个内存页都大于1K,所以都将挂载在最后一条链表上

当一切准备好,挂载的对应方式如下图:
在这里插入图片描述

  • 编号1是当前header所管理的1MB的空间,将其32等分,每一份的32KB由一个group去负责分配
  • 编号2是一个group所管理的32K的空间,将其分为8个4KB大小的内存页挂载于最后一条链表上
  • 编号3是分割好的内存页链表,他们被串成一个双向链表。
  • 编号4是一个group中的64条链表

2.内存页的划分

下面我们来看每个崭新的内存页的内容
在这里插入图片描述

这是一个4K大小的内存页:

  • 中间的空白区域代表了可共malloc()索取的4080byte的内存空间
  • 空白的最下边和红色的最上边,两个标有4080的空间是用来记录剩余可用空间大小的cookie
  • 剩余的两块红色部分是两根指针,指向链表中前边和后边的内存页
  • 黄色的标有0xfdfdfdfd的是两根分割区域,具体作用上边已经提及
  • 最上边的保留区域是为了让下边空白区域成为16byte的整数倍

内存页划分的规则

当申请一个内存空间时,首先先去符合的链表中寻找,如果链表中没有挂载内存块,就从编号较大的链表中最近的挂有内存块的链表中划分。

内存页被划分之后的情况
在这里插入图片描述

最左边原先是一个崭新的内存页(4K = ff0),然后我们从内存页中划分出0x130 byte的空间:

  • 编号为1的是被划分出的实际空间
  • 编号2是实际可以为用户所使用的实际空间,这个空间应该是0x100
  • 上下两根cookie记录了被划分出去的实际空间,至于为什么是0x131,之前的文章有提及
  • 内存被划分出去后,malloc()再对其进行复写,然后将实际空间交付给客户。

当这块内存被分配出去之后,原来内存页中的cookie = ff0-130 = ec0,此时仍然大于1KB,所以不用转移挂载的位置。


3.内存分配的动作

我们刚刚分配出了0x130的空间,我们先看看这个空间分配出去之后的动作

在这里插入图片描述

  • 编号1:此时由group0分配内存,所以Region 中的 indGroupUse被设置为0
  • 编号2:整个group的内存页被划分了一次,所以Group 中的 cntEntries被置为1
  • 编号3:此时group0只有最后一个链表空间上挂载了链表,所以Region 中对应的byte被置为1

此时page1中剩余空间为ec0 byte;

在这里插入图片描述当某一次分配时,group0中没有比当前需求大的内存块了,此时就需要开辟另一个group去服务了

  • 编号1:由于当前是group1再分配内存,所以Region 中的 indGroupUse设置为1
  • 编号2:将group1中最后一条链表再bitMap中对应的位设置为1
  • 编号3:group1整个的内存页被划分了一次,所以Group 中的 cntEntries被置为1

此时再分配内存就会从group中去分配了


4.内存归还的动作

当多次连续分配之后,出现了一次归还空间的动作
在这里插入图片描述

  • 编号1:当前group分配出的内存块-1

img
img

既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,涵盖了95%以上物联网嵌入式知识点,真正体系化!

由于文件比较多,这里只是将部分目录截图出来,全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、电子书籍、讲解视频,并且后续会持续更新

需要这些体系化资料的朋友,可以加我V获取:vip1024c (备注嵌入式)

如果你需要这些资料,可以戳这里获取

上经验的小伙伴深入学习提升的进阶课程,涵盖了95%以上物联网嵌入式知识点,真正体系化!**

由于文件比较多,这里只是将部分目录截图出来,全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、电子书籍、讲解视频,并且后续会持续更新

需要这些体系化资料的朋友,可以加我V获取:vip1024c (备注嵌入式)

如果你需要这些资料,可以戳这里获取

在C语言中,malloc函数用于在堆中动态分配内存空间。它的原型为void * malloc(size_t size),需要传入参数size表示需要分配的内存大小。malloc函数会在堆中找到足够大的连续内存空间,然后返回这块内存空间的起始地址。 例如,可以使用int *p = (int *)malloc(2*sizeof(int))来分配一块大小为2个整型变量的内存空间,并将其起始地址赋值给指针变量p。在这个例子中,malloc函数会返回一块连续的内存空间,大小为2个int变量的大小。可以通过指针p来访问这块内存空间存储的数据。 为了确保内存分配成功,可以在分配内存后进行判断。如果分配失败,malloc函数会返回NULL。因此,可以使用if语句来判断分配是否成功。例如,if(p)表示如果p不为NULL,说明内存分配成功。 在使用完malloc分配的内存后,应该使用free函数来释放这块内存空间,以便将其返回给堆供其他程序使用。free函数的原型为void free(void * ptr),需要传入一个指向分配内存起始地址的指针作为参数。 总结来说,malloc函数用于在堆中动态分配内存空间,而free函数用于释放已分配的内存空间。这样可以在程序运行期间根据需要动态地分配和释放内存。<span class="em">1</span><span class="em">2</span><span class="em">3</span> #### 引用[.reference_title] - *1* *3* [malloc函数详解](https://blog.csdn.net/xw13106209/article/details/4962479)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v93^chatsearchT3_2"}}] [.reference_item style="max-width: 50%"] - *2* [C++malloc()和free()函数的理解](https://download.csdn.net/download/weixin_38639615/14871158)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v93^chatsearchT3_2"}}] [.reference_item style="max-width: 50%"] [ .reference_list ]
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值