深入学习STL第二级配置器_c++二级配置器-CSDN博客

本文链接：https://blog.csdn.net/ouyangjinbin/article/details/51085335

深入学习STL第二级配置器

相比第一级配置器，第二级配置器多了一些机制，避免小额区块造成内存的碎片。不仅仅是碎片的问题，配置时的额外负担也是一个大问题。因为区块越小，额外负担所占的比例就越大。

额外负担是指动态分配内存块的时候，位于其头部的额外信息，包括记录内存块大小的信息以及内存保护区（判断是否越界）。

1、SGI STL第二级配置器具体实现思想

如下：

如果要分配的区块大于128bytes，则移交给第一级配置器处理。
如果要分配的区块小于128bytes，则以内存池管理（memory pool），又称之次层配置（sub-allocation）：每次配置一大块内存，并维护对应的自由链表（free-list）。下次若有相同大小的内存需求，则直接从free-list中取。如果有小额区块被释放，则由配置器回收到free-list中。

2、下面详细节介绍内存池管理技术。
在第二级配置器中，小额区块内存需求大小都被上调至8的倍数，比如需要分配的大小是30bytes，就自动调整为32bytes。系统中总共维护16个free-lists，各自管理大小为8,16，...，128bytes的小额区块。

为了维护链表，需要额外的指针，为了避免造成另外一种额外的负担，这里采用了一种技术：用union表示链表节点结构：

union obj {
union obj * free_list_link;//指向下一个节点
char client_data[1]; /* The client sees this. */
};

union能够实现一物二用的效果，当节点所指的内存块是空闲块时，obj被视为一个指针，指向另一个节点。当节点已被分配时，被视为一个指针，指向实际区块。

注意：所谓union就是一种特殊的类，一个union可以有多个数据成员，但任意时刻只能有一个数据成员可以有值。当我们给其中一个成员赋值之后，其他成员变成未定义状态了。

3、空间配置函数allocate()

具体实现如下：

要分配的区块小于128bytes，调用第一级配置器。
否则，向对应的free-list寻求帮助。

对应的free list有可用的区块，直接拿过来用。
如果没有可用的区块，调用函数refill()为free list重新填充空间。

这里需要注意的是，每次都是从对应的free list的头部取出可用的内存块。

4、refill()-为free list填充空间

当发现对应的free list没有可用的空闲区块时，就需要调用此函数重新填充空间。新的空间将取自于内存池。内存池的管理后面会讲到。

缺省状况下取得20个新区块，但是如果内存池空间不够，取得的节点数就有可能小于20.

5、chunk_alloc-从内存池中取空间供free list使用

具体实现思想如下：

内存池剩余空间完全满足20个区块的需求量，则直接取出对应大小的空间。
内存池剩余空间不能完全满足20个区块的需求量，但是足够供应一个及一个以上的区块，则取出能够满足条件的区块个数的空间。
内存池剩余空间不能满足一个区块的大小，则

首先判断内存池中是否有残余零头内存空间，如果有则进行回收，将其编入free list。
然后向heap申请空间，补充内存池。
- heap空间满足，空间分配成功。
- heap空间不足，malloc()调用失败。则
  - 搜寻适当的free list（适当的是指：尚有未用区块，并且区块足够大），调整以进行释放，将其编入内存池。然后递归调用chunk_alloc函数从内存池取空间供free list。
  - 搜寻free list释放空间也未能解决问题，这时候调用第一级配置器，利用out-of-memory机制尝试解决内存不足问题。如果可以就成功，否则排除bad_alloc异常。

程序一开始，客户调用chunk_alloc（32,20），因为此时内存池和free list空间均不够，于是调用malloc从heap配置40个32bytes区块，其中一个供使用，另一个交给free_list[3]维护。剩余的20个留给内存池。接下来调用chunk_alloc(64,20)，此时 free_list[7] 空空如也，必须向记忆池要求支持。记忆池只够供应 (32*20)/64=10 个 64bytes区块，就把这 10 个区块传回，第 1 个交给客端，余 9个由 free_list[7] 维护。此时记忆池全空。接下来再呼叫chunk_alloc(96, 20)，此时 free_list[11] 空空如也，必须向记忆池要求支持，而记忆池此时也是空的，于是以malloc()配置 40+n（附加量）个 96bytes 区块，其中第 1 个交出，另 19 个交给 free_list[11] 维护，余 20+n（附加量）个区块留给记忆池……。

万一山穷水尽，整个system heap 空间都不够了（以至无法为记忆池注入活水源头），alloc()行动失败，chunk_alloc()就到处寻找有无可用区块，且区块够大之free lists。找到的话就挖一块交出，找不到的话就调用第一级配置器。第一级配置器其实也是使用malloc()来配置内存，但它有 out-of-memory 处理机制（类似 new-handler 机制），或许有机会释放其它的内存拿来此处使用。如果可以，就成功，否则发出bad_alloc异常。