492-SGI STL二级空间配置器(allocate内存分配)

内存池管理函数

allocate 函数

传进去的参数 __n就是用户通过容器想开辟的内存的大小

如果大于128字节，就不受内存池管理，通过malloc去（一级空间配置器）。
如果小于等于128字节，就由内存池管理。


假设我们现在要申请13字节的内存块，用__my_freelist_list局部变量指向16字节大小的数组的位置1下标，图解如下：

我们看看函数定义的lock：

利用栈上对象出作用域自动析构的特点，lock出}，就进行析构锁了。

临界区代码段，通过锁控制保证线程安全，因为自由链表的增删改不是线程安全的，所以要保证。

对指针解引用，就是访问这个指针指向元素位的里面的元素值（Obj*)。

如果这个result是0，就是说明：刚开始的初始化为0，并没有给16的下面分配任何chunk块。所以就在这个1下标位置分配16字节大小的chunk块。
每一块都是16字节，都有头部信息。这个头部信息就被解析成Obj类型

图解如下：

分配完了之后，让ret指向最开始的块，然后返回。

如果这个16字节的chunk块不为空，也就是result不等于0
就把Obj*的值给到result，result指针指向下面的chunk块


__result最初指向当前节点的next域，next域放的是下一个节点的地址，它把下一个节点的地址赋值给__my_free_list
就是让自由链表的第一个元素指向下一个节点。

因为前面那个节点要被分配出去了，然后把result给ret

allocate 总结

首先，定义1个二级指针my_free_list遍历这个指针数组，根据用户想申请的内存大小定位到相应的chunk块，然后通过指针解引用，就是访问这个指针数组相应元素的值，赋给result，如果是空， 就证明相应大小的chunk块没有被分配过，这个chunk没有任何的内存池，就调用函数分配内存池，让ret指向新分配内存池的第一个chunk节点，然后把ret返回回去。

如果说指针数组相应元素的值不为空，有chunk块，它做下面几件事情：
result指向第一个chunk块，每个chunk块都有一个头部信息，这个头部就是Obj*类型，这个头部的_M_free_list_link相当于就是next指针，指向的就是下个节点的地址，现在让result指向第一个节点的next，也就是第二个节点的位置，赋值给my_free_list，就是指针数组的元素值，上面的节点指向给ret，返回给用户。

注意：是完全支持线程安全的！！！