SGI STL第二级空间配置器__default_alloc_template的chunk_alloc函数

最新推荐文章于 2022-12-11 19:57:36 发布

chengonghao

最新推荐文章于 2022-12-11 19:57:36 发布

阅读量1.2k

点赞数 1

分类专栏：简单C++标准模板库（STL）的实现

本文链接：https://blog.csdn.net/chengonghao/article/details/51346511

版权

本文探讨了SGI STL中二级空间配置器的工作原理，特别是针对小于128 bytes内存分配的精细管理。二级空间配置器维护内存池，并通过free_list数组管理，以提高效率。当free_list无法提供合适内存时，会调用refill和_S_chunk_alloc进行内存块分配。文章详细解释了allocate、refill和_S_chunk_alloc的交互过程。

摘要由CSDN通过智能技术生成

SGISTL默认使用二级空间配置器，当需要配置的区块大于128 bytes时SGI STL调用一级空间配置器，一级空间配置器的allocate函数直接使用malloc分配内存，deallocate函数直接使用free释放内存。当需要配置的区块小于128 bytes时SGI STL调用二级空间配置器。

相比于一级空间配置器简单粗暴的内存使用方法，二级空间配置器对内存的使用显得精细很多。

二级空间配置器的具体用法请看书，我就不抄书了，只对二级空间配置器中容易糊涂的地方写一下我的理解。

内存池和free_list到底什么关系？

二级空间配置器维护了一个内存池，有一个名为free_list的数组负责管理内存池。free_list的每个元素构成一个链表，同一个链表的每个元素指向的内存大小相同，free_list的所有链表节点指向的内存大小 <= 内存池。

之所以使用数组而不是链表，我猜测有两个原因：1. 二级空间配置器把内存池分为固定的16个大小等级，即free_list的长度（16）是固定的；2.既然free_list的长度固定那么采用数组无疑是时间效率更高的方法（O(1)），如果采用链表，free_list的查询效率为O(n)。

一下是我理解的二级空间配置器执行过程，时间关系，不画程序流程图了。

1. 二级空间配置器在索要内存时调用allocate函数，如果索要的内存大于128字节，调用一级空间配置器，否则allocate查free_list数组，从free_list中某个元素指向的链表中取出一块内存后返回。

2. 当free_l