COURSE · golang

Go 语言与运行时内核深度剖析

本课程系统剖析 Go 语言从汇编自举、GMP 调度器模型、TCMalloc 内存管理到并发三色标记与混合写屏障的完整运行时内核。深度拆解核心数据结构（Slice, Map, Interface, Channel）的物理内存布局与渐进式扩容机制。剖析硬件弱内存模型（x86-TSO / ARM）、D…

12 篇编号讲义 · 12 篇内容 · 45 个已标注 tags

LECTURE NOTES · 12

来自目录与 frontmatter

#TITLESTATUSTAGSUPDATED

来自课程 index.md

Go 语言以其极简的语法表面隐藏了极度精密的运行时内核。很多开发者能够熟练书写业务逻辑，但在面对高并发长尾延迟突增、GC 停顿抖动、内存泄漏排查或微妙的并发重排序 Bug 时，往往缺乏直击底层的体系化洞察力。

本系列笔记旨在穿透语法表层，深入 Go 编译期优化与运行时（Runtime）源码底层，系统梳理四大核心支柱：

基础环境与编译自举：从 Go Modules、交叉编译与工具链生态，到机器指令级的 rt0_go 汇编入口与系统常驻监控线程 sysmon。
核心数据结构物理布局：值传递本质、切片内存对齐与共享底层数组陷阱、Map 桶布局与渐进式扩容、Interface 的 itab 分派与 Channel 状态机。
并发引擎与调度内核：GMP 调度器架构演进、任务窃取（Work-Stealing）、阻塞系统调用与 P 解绑（handoffp）、协作式向信号异步抢占的跨越。
内存体系与垃圾回收：硬件 TSO 与弱内存一致性、Happens-Before 同步偏序法则、TCMalloc 三级缓存分配器、并发三色标记法与混合写屏障（Hybrid Write Barrier）。

第 0 讲 · 环境搭建、工具链与工程实践 版本管理、Go Modules 依赖 MVS 算法、交叉编译参数、静态检查工具链与最小工程交付流。
第 1 讲 · 运行时启动流程与汇编自举 汇编入口 rt0_go、主线程 m0 与 g0 栈绑定、系统自检 schedinit、栈检查抢占伪装与 sysmon 守护流程。

第 2 讲 · 核心数据结构底层实现 一切皆值传递心智模型、Slice 三元组与 1.18+ 平滑扩容、Map 桶哈希分布与增量迁移、eface/iface 接口分派与 Channel 环形队列。

第 3 讲 · GMP 调度器模型与架构设计 单全局队列三大历史缺陷、GMP 架构全景、Goroutine 生命周期与 gFree 池复用、g0 系统栈切换、P 本地 256 环形队列与 runnext 直通槽。
第 4 讲 · 调度进阶：系统调用、抢占与工作窃取 快慢系统调用与 handoffp 解绑、1.14+ SIGURG 信号异步抢占、Work-Stealing 工作窃取算法策略、容器 CPU 配额与 automaxprocs。

第 5 讲 · Go 内存模型与并发重排序 硬件内存一致性基线、x86-TSO 与写缓冲队列（Store Buffer）、DRF-SC 定理、Go 的“无数据竞争即顺序一致性”契约与 Happens-Before 偏序法则全集。
第 6 讲 · 内存管理与分配器实现 TCMalloc 三级缓存体系（mcache / mcentral / mheap）、134 种 spanClass 与 noscan 优化、微对象/小对象/大对象分配路径、静态逃逸分析与动态连续栈。
第 7 讲 · 垃圾回收机制与写屏障 GC 演化全景、并发三色标记法、Dijkstra 与 Yuasa 屏障对比、Go 1.8+ 混合写屏障、两次微 STW 阶段、Mark Assist 标记协助与 GOMEMLIMIT 软限制。
第 8 讲 · 并发同步原语与 Context 机制 sync/atomic 硬件原语、sync.Mutex 正常与饥饿双模切换、noCopy 静态检查哨兵、sync.Pool 局部无锁池、sync.Map 读写分离与 Context 树形级联取消。

第 9 讲 · 性能调优、代码检查与测试艺术 pprof CPU 采样与火焰图实战、Havlak 算法优化实验剖析、ThreadSanitizer 竞态检测与影子内存机制、Go 1.18+ 原生 Fuzzing 模糊测试与表驱动测试。
第 10 讲 · 语言高级机制与编程技法 defer 开放编码（Open-coded）与命名返回值改写边界、panic/recover 调用栈展开法则、Go 1.22 循环变量每次迭代独立作用域变革、反射三大定律与泛型替代。
第 11 讲 · Go 核心机制与面试速查全景 全书高频考点浓缩清单、底层核心“为什么”深度对齐表、常用诊断与排查指令速查。