一、STL空间配置器
STL中空间配置包括内存分配、启用构造函数、析构对象、内存回收/释放。
new_allocator.h中,construct()如下所示:
template<typename _Up, typename... _Args>
void
construct(_Up* __p, _Args&&... __args)
noexcept(std::is_nothrow_constructible<_Up, _Args...>::value)
{ ::new((void *)__p) _Up(std::forward<_Args>(__args)...); }
destroy()调用析构函数,如下所示:
template<typename _Up>
void
destroy(_Up* __p)
noexcept(std::is_nothrow_destructible<_Up>::value)
{ __p->~_Up(); }
STL中内存分配分为一级分配器与二级分配器。一级分配器使用malloc分配内存,负责为128k以上的空间分配内存;二级分配器则采用内存池的形式,为128k以下的空间分配内存。
二、内存分配
1、在进行内存分配时,要考虑:
●从堆上分配空间
●小型内存申请导致的内存碎片问题:一级分配器与二级分配器
●内存不足时的措施
●线程安全问题
2、一级分配器
一级分配器使用malloc(),free(),realloc()等C函数进行空间的分配,并且类似于c++的new_handler(new的oom操作)机制,在分配失败后,调用oom_alloc()或者oom_realloc()。
template<int inst>
class __malloc_alloc_template{
private:
static void*oom_malloc(size_t);
static void*oom_realloc(size_t);
static void(*_malloc_alloc_oom_hanlder)();
public:
// 对malloc的封装
static void * Allocate(size_t n)
{
//一级空间配置器直接使用malloc(),申请空间成功,直接返回,失败则交由oom_malloc函数处理
void *result = malloc(n);
//内存空间申请失败时,调用 oom_malloc()
if (0 == result)
result = Oom_Malloc(n);
return result;
}
// 对free的封装 这个size_t完全可以不要,但是为了统一接口,加上了这个size_t
static void Deallocate(void *p, size_t /* n */)
{
//一级空间配置器直接使用free()
free(p);
}
// 对realloc的封装
static void * Allocate(void *p,size_t n)
{
void *result = realloc(p,n);
//内存空间申请失败时,调用 oom_malloc()
if (0 == result)
result = oom_realloc(n);
return result;
}
// 模拟set_new_handle
// 该函数的参数为函数指针,返回值类型也为函数指针
// void (* set_malloc_handler( void (*f)() ) )()
typedef void(*PFUNC)();
static PFUNC set_malloc_handler(PFUNC f)
static void(*set_malloc_handler(void(*f)()))()
{
void(*old)() = __malloc_alloc_oom_handler;
__malloc_alloc_oom_handler = f;
return(old);
}
}
3、二级分配器(内存池)
二级分配器由节点大小分别为8kb、16kb、24kb、...、196kb的链表(free_list)组成,并且由一个数组来存储每个链表的头部。如下图所示,实际上是采用拉链法解决哈希冲突的哈希桶。
3.1 链表的维护
使用union维护每一个链表节点,可以节省空间
union obj{
obj * my_free_list;
char client_data[1];
}
3.2 空间的申请
①请求分配n bytes空间,将n补充为8的倍数。
②找到对应大小的链表。
③取对应的内存块,并更新链表,让新的头节点存储在数组中。
3.3 空间的释放
将空间重新加入链表,更新数组中的头节点。
3.3 链表用完时
从内存池中重新分配空间。一般直接分配20个节点,不够20个节点空间时分配能分配的节点数。