我们看看这3个枚举
_ALIGN:以8字节对齐,增长
_MAX_BYTES:最大的字节数128
_NFREELISTS:自由链表的个数16
也就是说,对于二级空间配置器的内存池的实现:
有一个数组空间,这个数组空间里面有很多元素,第一个是从8字节开始,第二个是从16字节开始,每一个都是以加8的方式来记录。
128除以8=16个元素
每个数组下标都是挂着1个自由链表。
自由链表每个节点的大小和数组下标值对应的大小是一样的。最大的是最后一个,128字节。
内存块也称作chunk,就是一个小的节点的内存块,最大是128字节。
如果大于128字节,就不会放在内存池来管理了。它认为大于128字节就是大块内存,还是通过原来的malloc和free来管理。
每一个节点块chunk的头信息
自由链表的连接,自由链表看做静态链表,_M_free_list_link指针看做next,当前节点的指针域保存了下一个节点的地址。
第三个重要类型
数组
这是静态的指针数组,在数据段上,加VOLATILE,防止多线程给这个数组的元素进行缓存,导致一个线程对它的修改另外一个线程无法及时看到。
所以在多线程环境下,在源码上,都在堆或者数据段上都会加VOLATILE,用来防止线程缓存造成多个线程无法及时看到对共享内存的修改。
示意图:数组元素是16个。
数组的每一个元素都解析成一个Obj类型的指针:
数组长度为16个元素,数组的每一个元素都是Obj类型的指针:
既然是静态的成员变量, 在外面肯定有所定义:
每个元素都初始化为0,也就是说数组的每个Obj指针都是空的
动态链表每一个节点是单独new出来的,节点和节点之间不是连续的,静态链表的节点与节点之间是连续的。
重要的3个记录
起始的内存地方,末尾的内存地方,堆的大小
我们看看它们的初始化:都是0