深入理解 GC 原理、调度与调优

1. 内存管理

        操作系统将虚拟内存分隔为虚拟页（大小为 4KB)，当进程向操作系统申请内存时，操作系统通常以页为单位分配内存。即使进程申请 3KB 内存，操作系统也会分配一个 4KB 虚拟页给进程。而程序开发时申请的内存往往都比较小，甚至只有几个字节，总不能也分配一个 4KB 虚拟页吧。

1.1 如何设计动态内存分配器

        Go 语言自己实现的内存分配器一次向操作系统申请一块大内存（如64MB)。当 Go 程序申请内存时，只需要向 Go 语言内存分配器申请即可。那么该如何设计内存分配器呢？

        因为内存分配与释放的时机、大小等完全是随机的，所以随着内存的分配与释放，最初的整块大内存将会被 “分割” 为若干个小块内存。有些小块内存处于已分配状态，有些小块内存处于空闲状态。也就是说，需要额外的内存空间来维护这些信息（内存块的大小以及状态）。如何维护这些信息呢？

        第一种思路是，当程序申请内存时，多分配几个字节用于维护内存块状态以及内存块大小。

        第二种思路是，单独维护一份二进制数据，使用 1 比特存储每一个 8 字节内存的分配状态，其中 1 表示内存已分配，0 表示内存空闲。内存分配情况示意图如下所示：

1.2 Go 语言内存分配器

        Go 语言内存分配的基本单元是 mspan,每一个 mspan 维护着若干个页内存，当 Go 程序申请内存时，底层实际上是从 mspan 中查找分配的。结构体 mspan 的定义如下所示：

type mspan struct {
    //页数， Go 语言定义页大小为