既有适合小白学习的零基础资料,也有适合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
既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,涵盖了95%以上物联网嵌入式知识点,真正体系化!
由于文件比较多,这里只是将部分目录截图出来,全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、电子书籍、讲解视频,并且后续会持续更新
需要这些体系化资料的朋友,可以加我V获取:vip1024c (备注嵌入式)
上经验的小伙伴深入学习提升的进阶课程,涵盖了95%以上物联网嵌入式知识点,真正体系化!**
由于文件比较多,这里只是将部分目录截图出来,全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、电子书籍、讲解视频,并且后续会持续更新
需要这些体系化资料的朋友,可以加我V获取:vip1024c (备注嵌入式)