【C++】SGI-STL（空间配置器）

CV工程师小林

于 2024-03-27 15:31:18 发布

阅读量712

点赞数 10

分类专栏：及格家の C++养成录文章标签： c++ 开发语言

本文链接：https://blog.csdn.net/waluolandao/article/details/137071641

版权

及格家の C++养成录专栏收录该内容

19 篇文章 0 订阅

订阅专栏

vector、list、map等容器在使用时常常涉及空间的管理，虽然这些空间都可以通过malloc或new直接申请，但仍以下不足之处：

空间申请与释放需要用户自己管理，容易造成内存泄漏。
如果频繁向系统申请小块内存，容易造成内存碎片，影响程序运行效率。
通过malloc或new直接申请，在每块空间分配前会有额外的空间开销；
需要为空间申请失败的情况定制应对方案。

对于“频繁向系统申请小块内存造成的”，C++标准库中的空间配置器提供了更优质的方案，可以支持各个容器提供高效的空间管理（空间的申请与回收），提升程序运行的效率。

空间配置器是STL的六大组件之一，以128作为小块内存与大块内存的分界线，将其分为两级结构，一级空间适配器处理大块内存，二级空间适配器处理小块内存。

其中最重要的就是通过allocate()以开辟空间，和通过deallocate()以释放空间，它们被运用在许多容器中。

本篇博客整理空间配置器的相关知识和部分实现代码，旨在让读者更好地理解STL的设计和功能。

一、一级空间配置器

一级空间配置器原理较为简单，对malloc与free进行了封装，间接去使用malloc开辟空间、free释放空间，专门处理大块内存。

//一级空间配置器的部分源码
template <int inst>
class __malloc_alloc_template
{
private:
	static void* oom_malloc(size_t);
public:
	// 对malloc的封装
	static void* allocate(size_t n)
	{
		// 申请空间成功，直接返回，失败交由oom_malloc处理
		void* result = malloc(n);
		if (0 == result)
			result = oom_malloc(n);
		return result;
	}
	// 对free的封装
	static void deallocate(void* p, size_t /* n */)
	{
		free(p);
	}
};

SGI-STL默认使用一级空间配置器还是二级空间配置器，是通过USE_MALLOC宏进行控制的（但默认使用二级空间配置器）：

#ifdef __USE_MALLOC
typedef malloc_alloc alloc;
typedef malloc_alloc single_client_alloc;
#else
// 二级空间配置器定义
#endif

二、二级空间配置器

1.原理

二级空间配置器的原理相对复杂，采用了内存池来提高申请空间的速度和减少额外的空间开销，通过哈希桶来提高用户获取空间的速度和管理的效率，专门处理小块内存。

【补】内存池技术

事先申请一块较大的空间资源备用，需要内存时，直接从这块空间资源中获取。当空间不够时，再使用malloc申请补充，当空间不使用时，直接归还这块空间资源即可。这块事先申请的空间就是内存池，它避免了频繁向系统申请小块内存所造成的效率低、内存碎片、额外浪费等问题。

//二级空间配置器的部分源码
template <int inst>
class __default_alloc_template
{
    //...

    //二级空间配置器中存在3个成员变量：
	char* start;      //内存池的起始地址
	char* end;        //内存池的结束地址
	size_t heap_size; //内存池的大小
};

二级空间配置器的逻辑结构如上图，由内存池和哈希桶组成。内存池负责向系统申请空间资源并将它们集中保存起来，哈希桶负责对这些资源归类、编号等管理操作。哈希桶的每个哈希地址，对应这个位置上所挂的每个桶的大小（也就是申请的空间大小），它们之间存在对齐，且一定是8的倍数（但不超过128）。

（64位平台下，指针的大小为8个字节。联合体使指向下一个桶的指针变量和实际管理空间资源的指针数组，共用了这个指针数组的空间。这也是为什么哈希地址采用8的倍数来对齐）。

假设现在要为list对象new一个16字节大小的节点，而此时内存池是空的，哈希桶中也是空的：

首先去哈希桶中找到相应的哈希地址，查验是否有空间资源可以拿来用（目前哈希桶是空的，所以没有）；哈希桶没有，就去内存池中，查验是否有空间资源可以拿来用（目前内存池也是空的，所以没有）；内存池也没有，就通过malloc向系统申请，申请好后放在内存池中（但不是只申请16个字节，而是申请多组“16个字节”，这是因为STL中采样一次要20组“16个字节”的资源，也就是一共320个字节）。

此时内存池中就有20组“16个字节”的资源了。new一个16字节大小的节点需要用到一组资源，所以就拿走1组给list对象使用，剩下的19组就挂在哈希桶中相应的哈希地址下。如果之后还要new一个节点，就从哈希桶中拿走一组资源使用；如果要释放一个节点，就把一组资源归还到哈希桶中，如果之后还要new一个节点，就可以继续用归还的资源。如果new的是一个6字节大小的节点，就在哈希桶中找到哈希地址为8的桶，取走相应的资源。

【Tips】二级空间配置器的原理

为容器开空间时，会先去哈希桶中索要空间资源；如果哈希桶没有，就继续向内存池索要；如果内存池也没有，就通过malloc向系统申请；如果系统也没有了（即malloc失败），就去找还剩了资源（没用完）的桶，把用过的和剩下的部分分隔开，用剩下的资源；如果都没有了，就抛异常。