golang内存分配原理

golang 中也实现了内存分配器，原理与tcmalloc类似，简单的就是说：
维护一块大的全局内存，每个线程(Golang中为P)维护一块小的私有内存，私有内
存不足再从全局申请。
另外，内存分配与GC（垃圾回收）关系密切，所以了解GC前有必要了解内存分配的原理。

基础概念

为了方便自主管理内存，做法便是先向系统申请一块内存，然后将内存切割成小块，通过一定的内存分配算法管理内存。
以64位系统为例，Golang程序启动时会向系统申请的内存如下图所示：
预申请的内存划分为spans、bitmap、arena三部分。
其中arena即为所谓的堆区，应用中需要的内存从这里分配。
arena的大小为512G，为了方便管理把arena区域划分成一个个的page，每个page为8KB,一共有512GB/8KB个页；
其中spans和bitmap是为了管理arena区而存在的。
spans区域存放span的指针，每个指针对应一个或多个page，所以span区域的大小为(512GB/8KB) * 指针大小8byte = 512M。
bitmap区域大小也是通过arena计算出来，不过主要用于GC。

span

span是用于管理arena页的关键数据结构， 每个span中包含一个或多个连续页，为了满足小对象分配， span中的一页会划分更小的力度，而对于大对象比如超过页大小，则通过多页实现。
span是内存管理的基本单位，每个span用于管理特定的class对象，根据对象大小，span将一个或多个页拆分成多个块进行管理。

src/runtime/mheap.go:mspan定义了其数据结构：

type mspan struct {
    next *mspan            // 链表后向指针，用于将span链接起来
    prev *mspan            // 链表前向指针，用于将span链接起来
    startAddr   uintptr    // 起始地址，也即所管理页的地址
    npages      uintptr    // 管理的页数
    nelems 		uintptr    // 块个数，也即有多少个块可供分配
    allocBits   *gcBits    // 分配位图，每一位代表一个块是否已分配
    allocCount  uint16     // 已分配块的个数
    spanclass   spanClass  // class表中的class ID
    elemsize    uintptr    // class表中的对象大小，也即块大小
}

以class 10为例，span和管理的内存如下图所示：

spanclass为10，参照class表可得出npages=1，nelems=56，elemsize为144。其中startAddr是在span初始化时就指定了某个页的地址。allocBits指向一个位图，每位代表一个块是否被分配，本例中有两个块已经被分配，其allocCount也为2。