Go语言内存管理（二）：Go内存管理.pdfVIP

Go语⾔内存管理（⼆）：Go内存管理 介绍 了解操作系统对内存的管理机制后，现在可以去看下 Go 语⾔是如何利⽤底层的这些特性来优化内存的。Go 的内存管理基本上参考 tcmalloc 来 实现的，只是细节上根据⾃⾝的需要做了⼀些⼩的优化调整。 Go 的内存是⾃动管理的，我们可以随意定义变量直接使⽤，不需要考虑变量背后的内存申请和释放的问题。本⽂意在搞清楚 Go 在⽅⾯帮我们做 了什么，使我们不⽤关⼼那些复杂内存的问题，还依旧能写出较为⾼效的程序。 本篇只介绍 Go 的内存管理模型，与其相关的还有逃逸分析和垃圾回收内容，因为篇幅的关系，打算后⾯找时间各 ⾃整理出⼀篇。 池 程序动态申请内存空间，是要使⽤系统调⽤的，⽐如 Linux 系统上是调⽤ mmap ⽅法实现的。但对于⼤型系统服务来说，直接调⽤ mmap 申请 内存，会有⼀定的代价。⽐如： 1. 系统调⽤会导致程序进⼊内核态，内核分配完内存后（也就是上篇所讲的，对虚拟地址和物理地址进⾏映射等操作），再返回到⽤户态。 2. 频繁申请很⼩的内存空间，容易出现⼤量内存碎⽚，增⼤操作系统整理碎⽚的压⼒。 3. 为了保证内存访问具有 良好的局部性，开发者需要投⼊⼤量的精⼒去做优化，这是⼀个很重的负担。 如何解决上⾯的问题呢？有经验的⼈，可能很快就想到解决⽅案，那就是我们常说的对象池 （也可以说是缓存）。 假设系统需要频繁动态申请内存来存放⼀个数据结构，⽐如 [10]int。那么我们完全可以在程序启动之初，⼀次性申请⼏百甚⾄上千个 [10]int。这 样完美的解决了上⾯遇到的问题： 1. 不需要频繁申请内存了，⽽是从对象池⾥拿，程序不会频繁进⼊内核态 2. 因为⼀次性申请⼀个连续的⼤空间，对象池会被重复利⽤，不会出现碎⽚。 3. 程序频繁访问的就是对象池背后的同⼀块内存空间，局部性 良好。 这样做会造成⼀定的内存浪费，我们可以定时检测对象池的⼤⼩，保证可⽤对象的数量在⼀个合理的范围，少了就提前申请，多了就 ⾃动释放。 如果某种资源的申请和回收是昂贵的，我们都可以通过建⽴资源池的⽅式来解决，其他⽐如连接池，内存池等等，都是⼀个思路。 Golang 内存管理 Golang 的内存管理本质上就是⼀个内存池，只不过内部做了很多的优化。⽐如⾃动伸缩内存池⼤⼩，合理的切割内存块等等。 内存池 mheap Golang 的程序在启动之初，会⼀次性从操作系统那⾥申请⼀⼤块内存作为内存池。这块内存空间会放在⼀个叫 mheap 的 struct 中管 理，mheap 负责将这⼀整块内存切割成不同的区域，并将其中⼀部分的内存切割成合适的⼤⼩，分配给⽤户使⽤。 我们需要先知道⼏个重要的概念 ： page : 内存页，⼀块 8K ⼤⼩的内存空间。Go 与操作系统之间的内存申请和释放，都是以 page 为单位的。 span : 内存块，⼀个或多个连续的 page 组成⼀个 span 。如果把 page ⽐喻成⼯⼈， span 可看成是⼩队，⼯⼈被分成若⼲个队伍，不同的 队伍⼲不同的活。 sizeclass : 空间规格，每个 span 都带有⼀个 sizeclass ，标记着该 span 中的 page 应该如何使⽤。使⽤上⾯的⽐喻，就是 sizeclass 标志 着 span 是⼀个什么样的队伍。 object : 对象，⽤来存储⼀个变量数据内存空间，⼀个 span 在初始化时，会被切割成⼀堆等⼤的 object 。假设 object 的⼤⼩是 16B ， span ⼤⼩是 8K ，那么就会把 span 中的 page 就会被初始化 8K / 16B = 512 个 object 。所谓内存分配，就是分配⼀个 object 出 去。 ⽰意图： 上图中，不同颜⾊代表不同的 span ，不同 span 的 sizeclass 不同，表⽰⾥⾯的 page 将会按照不同的规格切割成⼀个个等⼤的 object ⽤作分 配。 使⽤ Go1.11.5 版本测试了下初始堆内存应该是 64M 左右，低版本会少点。 测试代码： package main import runtime var stat runtime.MemStats func main() { runtime.ReadMemStats(stat) println(stat.HeapSys) } 内部的整体内存布局如下图所⽰：