面试回答
Golang 的内存分配机制借鉴了 Google 的 TCMalloc（Thread-Caching Malloc）算法，核心思想是多级缓存和按大小分类，目的是减少锁竞争，提高内存分配效率。
具体来说，Go 将内存分配分为三个层级：
- mcache（线程缓存）：每个 P（Processor）绑定一个
mcache，用于处理微小对象和小对象的分配。因为每个 P 在同一时刻只能运行一个 Goroutine，所以从mcache分配内存是无锁的，速度极快。 - mcentral（中心缓存）：当
mcache中的内存块用完时，会向mcentral申请。mcentral是全局共享的，按对象大小分类管理内存。访问mcentral需要加锁，但为了减少锁冲突，它将内存块按大小分为多个级别（Span Class），不同级别的分配互不影响。 - mheap（全局堆）：当
mcentral也没有足够的内存时，会向全局的mheap申请，mheap会以页（Page）为单位向操作系统申请内存。大对象（大于 32KB）的分配会直接跳过mcache和mcentral，直接在mheap上分配。
此外，Go 将对象按大小分为三类：
- 微小对象（Tiny，< 16B）：多个微小对象会被合并分配到一个 16B 的内存块中，以减少内存碎片。
- 小对象（Small，16B ~ 32KB）：按预设的多种大小规格（Size Class）进行分配，由
mcache和mcentral管理。 - 大对象（Large，> 32KB）：直接从
mheap分配。
这种机制通过无锁的本地缓存和精细的内存分级，极大地提升了高并发场景下的内存分配性能。
系统讲解
Go 语言的内存分配器是一个极其复杂的系统，其设计目标是解决传统内存分配器（如 glibc 的 malloc）在多线程高并发场景下的锁竞争和内存碎片问题。
核心组件
Go 的内存管理主要由以下三个核心组件构成：
| 组件 | 级别 | 是否需要加锁 | 作用 |
|---|---|---|---|
| mcache | P 级别（本地缓存） | 否 | 每个 P 独享，用于快速分配微小对象和小对象。 |
| mcentral | 全局级别（中心缓存） | 是（细粒度锁） | 按 Size Class 划分，为 mcache 提供内存补充。 |
| mheap | 全局级别（全局堆） | 是 | 管理整个堆内存，向操作系统申请内存，处理大对象分配。 |
内存管理单元
在理解分配流程前，需要了解 Go 内存管理的两个基本单位：
- Page（页）：Go 内存管理的基本物理单位，大小为 8KB。
- mspan（内存跨度）：Go 内存管理的基本逻辑单位。一个
mspan由一个或多个连续的 Page 组成，并被划分为大小相同的块（Size Class），用于分配特定大小的对象。
对象大小分类
Go 根据对象的大小采用不同的分配策略：
- Tiny 对象（< 16B 且无指针）
- 分配策略：使用 Tiny Allocator（微型分配器）。多个微小对象会被紧凑地拼凑在同一个 16B 的内存块中。
- 目的：极大地减少内存碎片，提高内存利用率。
- Small 对象（16B ~ 32KB）
- 分配策略：按预设的 67 种大小规格（Size Class）进行分配。例如，如果需要 20B 的内存，分配器会向上取整，分配一个 24B 的块。
- 流程：优先从本地
mcache分配；若不足，向mcentral申请；若仍不足，向mheap申请。
- Large 对象（> 32KB）
- 分配策略：直接绕过
mcache和mcentral，直接从mheap中分配对应数量的连续 Page。
- 分配策略：直接绕过
内存分配完整流程
当代码中执行 new(T) 或 make() 触发堆内存分配时，底层流程如下：
- 判定对象大小：首先判断对象属于 Tiny、Small 还是 Large。
- Tiny / Small 分配：
- 当前 Goroutine 所在的 P 尝试从本地的
mcache中找到对应 Size Class 的mspan。 - 如果
mspan中有空闲的内存块，直接分配并返回（无锁，极快）。 - 如果
mcache中没有可用的mspan，则向mcentral申请一个包含空闲块的mspan，并替换到mcache中（需要加锁）。 - 如果
mcentral也没有空闲的mspan，则向mheap申请内存来创建新的mspan。
- 当前 Goroutine 所在的 P 尝试从本地的
- Large 分配 / mheap 补充：
- 当分配大对象或
mcentral缺内存时，向mheap申请。 mheap会在全局的页分配器中寻找连续的 Page。- 如果
mheap内存不足，会通过系统调用（如mmap）向操作系统申请新的内存。
- 当分配大对象或
常见追问
追问 1：TCMalloc 机制如何解决内存碎片问题？
- 内部碎片：通过划分多种 Size Class（如 8B, 16B, 32B…），将对象分配到最接近其大小的块中，控制了内部碎片的比例（通常在 12.5% 以内）。Tiny 分配器更是将多个小对象合并，进一步减少了内部碎片。
- 外部碎片：通过
mspan机制，将连续的内存页划分为固定大小的块，避免了不同大小对象交替分配导致的外部碎片。
追问 2：为什么 mcache 不需要加锁？
因为 Go 的调度模型（GMP）中，每个 P（Processor）在同一时刻只能绑定一个 M（系统线程）并运行一个 G（Goroutine）。mcache 是绑定在 P 上的，因此在任何时刻，只有一个线程会访问该 mcache，天然保证了并发安全，无需加锁。
追问 3：内存分配器如何与垃圾回收（GC）配合？
mspan 中不仅包含了内存块，还维护了用于 GC 的位图（如 allocBits 和 gcmarkBits）。在垃圾回收的标记阶段，GC 会扫描这些位图；在清扫阶段，GC 会将未标记的内存块重新标记为可用，交还给 mcentral 或 mheap，供后续分配使用。