Golang 底层原理剖析笔记-内存模型

1. 内存划分

golang 内存管理采用的连续内存管理的动态内存管理的运作机制,三级结构。思想主要基于 Two LevelSegregated Fit（TLSF 算法描述），具体实现基于 tcmalloc 算法。

Span ： 一段连续内存空间，共分为 67 个级别。不同级别的 span 中元素大小不同，最小的元素大小为 8B，span 大小为 8KB（一级）
Span 的管理结构分为了： mcache、mcentral、mheap

• mcache ：每个 P 的局部缓存，具体对应管理 mspan，每个级别的 span 缓存一个，管理的 span 来自 mcentral，使用位图管理，每个位图标志的一个 page 是否被使用，
• mcentral ： P 共享的缓存，每个级别的 span 被统一管理在相同级别的 mcentral 中，mcentral 使用空闲列表法管理多个级别的 span
• mHeap ： 管理了虚拟内存的线性地址空间的映射、span 的分配、大对象的分配，使用一个 treap 树 来管理内存空间
  

---

2. 对象分配过程

golang 对对象划分为了 微小对象（< 16B）、小对象(< 32KB)、大对象（> 32KB）三个级别。
分配方法见 mallocgc，微小对象的划分和单独管理在于实验统计可以减少内存分配次数和堆的浪费。

2.1. 微小对象分配

1. 查看前一个分配的元素的span中是否还有可用空间
2. 确定 span 级别，微小对象 span 级别为 1，2
3. 内存对其 （2，4，8 字节倍数对齐）
4. mcache 寻找连续可用空间，利用缓存位图（ uint64 ）来查找，位图记录的是 span 中元素是否被分配。
5. mcache 不满足：mcentral 遍历空闲列表，没有则遍历繁忙列表（非空闲列表可能已经标记为空闲了，但是尚未清理和移动）
6. mcentral 将空闲表赋值到 mcache 中。
7. mcentral 依然不满足：mheap 中进行查找，heap 中以 page 为单位，查找连续的可以构成 span 的空间，并赋值给 mcentral
8. mheap 不满足：需要从操作系统进行内存申请，每次为 heapArena（64MB） 的整数倍

小对象和大对象的分配过程类似，大对象直接由 mcentral 负责管理，小对象从 mcache 开始依次查找。新申请内存会进行缓存。

---

3. 操作系统内存管理策略

深入理解操作系统：内存管理优化策略与基础算法

1. 连续内存管理

a. 单一连续内存管理：主要用在嵌入式场景
b. 分区式内存管理
i. 固定分区管理：主要用在嵌入式场景
ii. 动态分区内存管理，需要配合空闲链表的方式

2. 非连续内存管理，

a. 分页
b. 分段
c. 分段分页结合