到目前为止，我们已经分析了 Go 程序如何启动、初始化需要进行的关键步骤、初始化结束后， 主 goroutine 的运行流程。现在我们来看 Go 中第一重要的关键组件：内存分配器。
在阅读 Go 内存管理（分配器）的代码之前，我们首先建立几个基本的思想。 在计算机领域中，无外乎时间换空间、空间换时间。如果你有自己实现过内存池， 基本上能够非常轻松理解所谓「内存管理」的概念。所谓内存管理，无非是提前分配好一大块内存， 对其进行管理、分配与回收。这样带来的好处毋庸置疑：减少了向操作系统申请内存的开销，加快了内存分配的速度。
开始之前我们先了解一个编译器标志 go:notinheap。
go:notinheap 适用于类型声明。它表明一种不能从 GC 堆中分配的类型。具体来说，指向此类型必须让 runtime.inheap 检查失败。类型可能是用于全局变量，堆栈变量或用于对象非托管内存（例如使用 sysAlloc 分配、persistentalloc、fixalloc 或手动管理的范围）。特别的：
-
new(T),make([]T),append([]T, ...)以及 T 的隐式堆分配是不允许的（尽管运行时中无论如何都是不允许隐式分配的）。 -
指向常规类型（
unsafe.Pointer除外）的指针不能转换为指向go:notinheap类型，即使他们有相同的基础类型。 -
任何包含
go:notinheap类型的类型本身也是go:notinheap的。结构和数组中如果元素是go:notinheap的则自生也是。go:notinheap类型的 map 和 channel 是不允许的。为使所有事情都变得显式，任何隐式go:notinheap类型的声明必须显式的声明go:notinheap。 -
指向
go:notinheap类型的指针上的 write barrier 可以省略。
最后一点是 go:notinheap 真正的好处。运行时会使用它作为低级别内部结构使用来在内存分配器和调度器中避免 非法或简单低效的 memory barrier。这种机制相当安全且没有牺牲运行时代码的可读性。
虚拟内存是操作系统内核进行内存管理的一种技术，它本质上是在实体物理内存之上建立一个应用特定的内存视图。这种技术为程序带来的好处就是任何程序都能拥有看起来像是连续的大块内存，但本质上这些内存在操作系统的作用下零散的分布在了物理内存的各个位置。
TODO:
Go under the hood | CC-BY-NC-ND 4.0 & MIT © changkun