GO运行组件浅析-内存分配

概念介绍

page

大小为8Kb的内存块

span

由多个地址连续的页(page)组成的大块内存.分配器按照页数来区分不同大小的span.

但是span大小不是固定不变的,可能发生裁剪和合并操作:

• 如果获取闲置span的时候没有找到大小合适的,就会找到一个更大的span,然后对其做裁剪操作,多余部分构成新的span被放回管理数组.
• 如果有地址相邻的空闲span,分配器就会试图合并来构建更大的内存块

object

将span按照特定大小切分成多个小块,每个小块可以存储一个对象(object)

对象按照8字节的倍数被划分为若干种,大小为24的对象可以存储17-24字节的对象,这种方式虽然会造成一定的内存碎片,但是分配器因此只需要处理若干规格(size class)的小块内存,方便回收和复用

对象总的来说分为三类:微小对象(Tiny, 小于16字节),小对象(Small, 不超过32KB),大对象(Large,超过32KB). 其中小对象还可以细分为约70种规格

管理组件

go的分配器直接借鉴了tcmalloc的架构,分为三个组件:cache, central, heap

cache

每一个工作线程都会绑定一个缓存(mcache). mcache本质上是一个span数组, 对于每一个规格, 都提供了对应的span¹. 由于工作线程同时只会执行一个goroutine, 因此在cache上的分配可以是无锁的,从而大大提高了性能.