🔧 Go 内存模型可视化

📚 栈内存管理

Go 的栈是动态增长的，每个 Goroutine 起始只有 2KB， 按需扩张，最大可达 1GB。

• 函数调用时分配栈帧，返回时释放
• 栈内存访问速度极快（寄存器级别）
• 相比 C++ 手动管理，更安全且无泄漏
• 小栈帧避免内存浪费

🏠 堆内存管理

堆是 GC 的主战场，存储需要跨函数存活的对象。 Go 的堆分配采用多级管理。

• span: 8KB 页组成的内存块
• mcache: 每 P 私有的快速分配缓存
• mcentral: 跨 P 共享的分配中心
• mheap: 全局堆，管理大对象

🔍 逃逸分析

编译器静态分析决定变量应该分配在哪里。 能栈不堆是 Go 的核心理念。

• 返回局部变量指针 → 逃逸到堆
• interface{} 动态类型 → 必然逃逸
• 大结构体 (>64KB) → 强制堆分配
• channel 发送指针 → 可能逃逸

// 不会逃逸，栈分配
func add(a, b int) int { return a + b }

// 会逃逸，堆分配
func initMap() *map[int]int { m := make(map[int]int) return &m }

🧹 垃圾回收器

Go 1.5+ 采用并发三色标记 GC， 通过 Write Barrier 保证一致性。

• 标记阶段：并发遍历对象图
• 清除阶段：并发回收白色对象
• STW 时间极短 (~100μs)
• GOGC 环境变量控制回收节奏

🎛️ 调度器原理

Go 的调度器将百万级 Goroutine 映射到少量 OS 线程， 实现高效并发。

• Goroutine: 极轻量 (~2KB)，可创建百万个
• Work Stealing: 空闲 P 偷取其他 P 的任务
• 抢占式调度: 防止单个 G 饿死其他 G
• sysmon: 后台监控，回收阻塞 G

✓ 对比线程：创建快 1000x
✓ 切换快：只需切换 SP/PC/寄存器
✓ 调度灵活：用户态完成

⚡ 内存屏障与同步

Go 内存模型定义了Happens Before关系， 保证并发程序的可预测性。

• channel send → channel receive
• sync.Mutex Lock → Unlock
• sync.WaitGroup Done → Wait
• sync.Once Do → 后续调用

var a string
var done bool

func setup() {
  a = "hello"
  done = true
}

func main() {
  go setup()
  for !done {}
  print(a) // 可能打印空!