标准模板库的空间配置器 STL allocator

标准模板库中利用空间配置器来在幕后管理内存空间。之所以叫空间配置器，是因为可能在某种情况下，可以在内存以外的介质比如硬盘上进行分配。不过一般来讲是内存，有下面两种空间配置器。

一种是标准的空间配置器，std:allocator

一种是高级的空间配置器，std:alloc

allocator配置器

allocator的内存管理方式是一种简单的空间配置，只是在直接的new/delete操作和模板库对象之间加了简单一层，封装起了直接的动态空间申请和释放操作。

实现过程大致如下所示：

 

1. template <class T> 
2. inline T* allocate(ptrdiff_t size, T*) 
3. { 
4.     set_new_handler(0); 
5.     T* tmp = (T*)(::operator new((size_t)(size * sizeof(T)))); 
6.     if(tmp == 0) 
7.     { 
8.         cerr<<"out of memory"<<endl; 
9.         exit(1); 
10.     } 
11.     return tmp; 
12. } 
13.  
14. template <class T> 
15. inline void deallocate(T* buffer) 
16. { 
17.     ::operator delete(buffer); 
18. } 
19.  
20. template <class T> 
21. class allocator 
22. { 
23. public: 
24.     typedef T value_type; 
25.     typedef T* pointer; 
26.     typedef const T* const_pointer; 
27.     typedef T& reference; 
28.     typedef const T& const_reference; 
29.     typedef size_t size_type; 
30.     typedef ptrdiff_t difference_type; 
31.  
32.     pointer allocate(size_type n) 
33.     { 
34.         return ::allocate((difference_type)n, (pointer)0); 
35.     } 
36.  
37.     void deallocate(pointer p) 
38.     { 
39.         ::deallocate(p); 
40.     } 
41.  
42.     pointer address(reference x) 
43.     { 
44.         return (pointer)&x; 
45.     } 
46.  
47.     const_pointer const_address(const_reference x) 
48.     { 
49.         return (const_pointer)&x; 
50.     } 
51. } 

alloc配置器

alloc的内存管理方式要复杂的多，加入了自己设计的内存管理哲学，其目的是一方面为了避免内存碎片，另一方面也能减少系统调用的次数。

空间配置器分为两个层次。

第一级直接使用malloc/free来申请和释放堆空间，主要处理超过128字节的大对象；

使用malloc/free而不是C++的new/delete的原因主要是历史原因。

第二级利用内存池的方式来自治从内核申请来的空间，内存池中维护了16种不同尺寸的区块，每种区块组成自由链表，主要处理小于128字节的小对象。

空间配置函数allocate()

在分配空间时，先判断区块大小，如果超过128字节就直接用第一级的配置器；

否则的话，先寻找合适的slab尺寸，找到对应的空闲链表。

如果链表不空，就分配出一个结点；

如果为空，要重新为链表填充空间。新的空间是从内存池中取得的，内存池的作用就是为不同的空闲列表提供区块，当内存池空间不足时，也会动用第一级配置器来添加空间。