TCMalloc的使用与源码剖析之六---------TCMalloc中内存分配流程

来源:互联网 发布:matlab 中文论坛 知乎 编辑:程序博客网 时间:2024/05/17 15:19


内存分配流程图如上图,具体流程如下:

1 Tcmalloc首先判断mallocsize是否大于kMaxSize,如果小于这个值,那么将size转换为想的obj class,然后从当前thread私有的cacheAllocate,转至第2步。如果请求的size大于kMaxSize那么跳至第10

2  首先判断当前的threadcacheobj calss对应的freelist中是否包含有空闲的obj,如果有直接pop出来,否则从CentralCache中拿,转下一步。

3CentralCacheThreadCache之间obj的转移采用batch方式,每次转移固定数量的obj,这个数量通过Static::sizemap()->num_objects_to_move定义,当然在决定最终转移数量时还是需要不能超过ThreadCache相应listmaxlength。然后通过CentralCache对应freelistRemoveRange函数将确定大小的obj转移出来,并通过对应listPushRange函数将这些obj插入ThreadCache对应的freelist

4  CentralCache通过RemoveRange将特定数量的obj移出,CentralCache将连续的内存看做一个SpanSpanCentralCache管理内存的一个主要数据结构。而Span又被切分成N个统一大小的obj

5  Allocate的过程中,首先判断需要Allocateobj数量是不是正好符合num_objects_to_move,如果是而且CentralCache用来存放spanslots不为空,那么直接从slots里面拿,否则从nonempty队列中的Span拿。

6   Nonempty队列存放了所有可用的Span,那么从头开始一个个拿,如果拿光了还是不能满足要求,那么只能通过向pageheap要求一个span,这个spansizeclass_to_pages决定,然后再将这个Span切成obj返回给CentralCache。然后再次尝试从Span分配。

7    Pageheap管理整个系统page级别的allocate,他通过两个数据结构管理所有的Spanfree_数组和large_列表),free_数组存放size小于kMaxPagesSpan,而large_列表存放大于等于kMaxPagesSpanPageHeap首先判断要求的pages是否大于等于kMaxPages,如果小于那么先从free数组中找,从要求大小的位置开始往后找,先找normal队列再找return对队列。如果在normal队列中找到且找到的Span状态为Span::ON_NORMAL_FREELIST,那么直接从里面切出需要的Span返回给CentralCache。如果在return队列中找到且找到的Span状态为Span::ON_RETURNED_FREELIST那么直接从里面切出需要的Span返回给CentralCache

8 如果需要的size不符合上述要求或者在上述队列中没有找到那么将从large_队列中找。从large_队列中查找时,首先从normal队列入手,然后再从return队列找,他将找到size最符合且地址在空闲Span中最小的Span,然后切出来返回。

如果large_队列中都没有找到合适的Span,那么将通过GrowHeap增长Heap的方式,通过TCMalloc_SystemAlloc向系统申请内存。并包装成Span,并插入heap中,然后再次进行分配。

10、来到此处代表分配的内存是大于32k的,那么将向heap直接请求跳到第7步。


0 0