《STL源码剖析》第二章空间配置器学习笔记

SGI标准的空间配置器, std::allocator

这个空间配置器的效率不佳，很少被使用。主要是因为他只是把C++的::operator new和::opeator delete做了一层薄薄的包装而已。大概就这样：

template<class T>
T* allocator<T>::allocate(size_type n)
{
	if (n == 0)
	{
		return nullptr;
	}
	return static_cast<T*>(::operator new(n*sizeof(T)));
}

template<class T>
void allocator<T>::deallocate(pointer p)
{
	::operator delete(p);
}

SGI特殊的空间配置器, std::alloc

这个是比较常用的，效率比较高。
一般而言，我们习惯的C++内存配置操作和释放操作是这样的：

class Foo {...};
Foo* pf = new Foo; //配置内存，然后构造对象
delete pf; //将对象析构，然后释放内存

这其中的new内含两阶段操作：（1） 调用::operator new配置内存；（2）调用Foo::Foo构造对象内容。delete也内含两个阶段：（1）调用Foo::~Foo（）析构对象；（2）调用::opeator delete释放内存
为了精密分工，STL allocator将两个阶段的操作分开来，内存配置操作由alloc::allocate()负责，内存释放操作由alloc::deallocate()负责；对象构造由::construct()负责，对象析构由::destroy()负责。那么就先来说一说construct()和destroy()。
construct()是容易的，直接new就行了。

template<class T1,class T2>
inline void construct(T1* p, const T2& value)
{
	new(p)T1(value);
}

destory()有两个版本,一个是直接接受一个指针，所以直接析构就行了。第二个接受first和last两个迭代器 准备将范围内的都析构掉。如果每个对象都是析构函数都是trival destructor，那么一次一次调用对效率是伤害，所以就不管他。所以，就要先用value_type()获得迭代器所指对象的型别，再利用__type_traits<T>判断这个型别的析构函数是不是trival destructor。如果不是的话就一个一个析构掉。

空间的配置与释放，std::alloc

考虑到小型区块可能造成的内存破碎问题，SGI设计了双层级配置器，第一级配置器直接使用malloc()和free()，第二级则使用内存池方式。当申请内存超过128bytes时直接调用第一级，小于128bytes时候调用第二级。

第一级配置器还模拟了set_new_handler()处理内存不足的情况。也就是说，你可以要求系统在内存配置需求无法满足的时候，调用你所指定的函数oom_malloc(),oom_realloc。
再说一下第二级配置器。
当配置区块小于128bytes时，采用第二级配置器，采用复杂的memory pool。它实际上就是内部维护了16个free list，预先已经分配好了，每个链表中节点分别占用8、16、24、32、40、48、52、64、72、80、88、96、104、112、120、128字节。
当需要内存时候，直接从对应链表取出即可；当释放内存的时候，直接将内存插入合适的链表即可。
一旦free list中没有可用的空间的，就要调用refill()为free list填充空间。新的空间取自内存池。缺省值是取20个新节点。如果内存池中没有这么多，那么就能取多少取多少。如果只够需求的，那就不用加入到链表里了直接给就行了。如果连需求的都不够了就要去堆里面取内存malloc()。如果堆里面也没有了山穷水尽了那就调用第一级配置器里的oom_malloc(),oom_realloc看看行不行。