提示
题眼： 背会即可。等价于 Go 语言是如何做协程调度的。
GMP 模型是 Go 运行时里的核心调度模型，主要用于管理 goroutine 在多个线程上的执行。
它由三部分组成：
G（Goroutine）：表示一个 goroutine，本质上就是用户态协程，里面保存了栈、程序计数器、状态等信息。M（Machine）：表示一个内核线程，真正负责执行 goroutine。P（Processor）：表示调度器中的处理器上下文，负责维护本地队列、分配可运行的 goroutine，并和 M 配合完成调度。提示
题眼： 背会即可。
P 的数量通常相对固定，由 GOMAXPROCS 控制，默认一般等于当前机器可用 CPU 核心数。
M 的数量则不是固定的，它会随着运行时状态动态变化：
M 可能因为系统调用或阻塞被挂起。M 去接替执行任务。M 也可能被回收或放入空闲池中复用。提示
题眼： 背会即可。
work stealing 指的是工作窃取。
当某个 P 的本地运行队列空了，而且全局队列里也没有合适的任务时，它会尝试从其他 P 的本地队列中偷一部分 goroutine 过来执行。这样可以平衡不同处理器之间的负载，避免有的忙、有的闲。
hand off 指的是任务转交。
提示
题眼： 参照操作系统里的进程调度知识。
Go 运行时现在采用的是抢占式调度，而不是早期那种更偏协作式的方式。
它的核心目标是：
当前常见的调度手段包括：
提示
题眼： 背会即可。
GMP 中常见的阻塞场景主要包括：
time.Sleep。runtime.Gosched()。提示
题眼： 标记清除、STW。第六、七题常常合并作答。
Go 的垃圾回收器本质上是基于标记清除思想实现的并发 GC，核心是三色标记加并发清扫。
整体流程可以概括为：
提示
题眼： 必备。
Go 使用三色标记法来做并发垃圾回收。
三种颜色分别表示：
具体流程可以分成四步：
提示
题眼： 非常难、比较抽象，了解即可。
这里的屏障，指的是 GC 标记阶段用于维护对象可达性正确性的写屏障，不是日常并发编程里说的同步屏障。
它要解决的核心问题是：
常见概念包括：
提示
题眼： 对比 Java、Python、C 等语言。建议了解，主要四类：引用计数、分代回收、标记清除、手动管理。
除了 Go 常见的三色标记和标记清除思想之外，还可以了解几类常见的垃圾回收策略：
这一组内容已经按题目拆分到当前目录，下面是对应入口：
提示
题眼： 主动、被动、手动。
Go 中常见的 GC 触发时机主要有三类：
GOGC 有关。runtime.GC() 主动触发。常见的调优思路包括：
提示
题眼： 了解即可。
Go 的内存分配可以从堆和栈两个区域来理解：
Go 运行时会根据对象大小采用不同的分配策略，通常可以把对象粗略分成三类：
| 类别 | 大小 |
|---|---|
| 微对象 | (0, 16B) |
| 小对象 | [16B, 32KB] |
| 大对象 | (32KB, +∞) |
提示
题眼： 栈上内容分配到了堆上。
Go 编译器在编译时会判断一个变量应该放在栈上还是堆上，这个过程就叫逃逸分析。
一般来说：
常见的逃逸场景包括：
提示
题眼： Channel 有哪些危险操作。
Channel 俗称通道，是 Go 语言中用于协程间通信的重要类型，也是标准库层面支持并发安全使用的类型。它的底层结构体如下：
type hchan struct {
qcount uint // 当前通道中的元素个数
dataqsiz uint // 循环队列的长度
buf unsafe.Pointer // 指向缓冲区的指针
elemsize uint16 // 通道元素的大小
closed uint32 // 是否关闭
elemtype *_type // 通道元素的类型
sendx uint // 发送操作处理到的位置
recvx uint // 接收操作处理到的位置
recvq waitq // 被阻塞的接收操作队列
sendq waitq // 被阻塞的发送操作队列
lock mutex // 互斥锁
}提示
题眼： 哪些操作会阻塞。
关于 select，需要注意以下几点：
default 分支，并且所有 case 当前都不能执行，那么程序会阻塞在 select 上。default 分支，那么即使所有 case 都不满足条件，select 也不会阻塞，而是直接进入 default。select 本身只会执行一次，实际开发里通常会配合 for 一起使用。for + select 场景下，break 只会跳出 select，不会直接跳出外层 for，通常要用标签、return 或其他显式控制方式退出。case 同时满足执行条件，运行时会伪随机选择一个执行，不是严格按从上到下依次命中。提示
题眼： 通道 + 树状结构，重点讲源码和使用场景。
Context 主要用于父子协程之间同步状态和传递上下文信息，WaitGroup 主要用于让主协程等待多个子协程执行完成。
WaitGroup 的工作状态：
提示
题眼： 并发安全。
普通 map 不支持并发读写安全，sync.Map 支持并发安全。sync.Map 使用了读写分离的思路，通过互斥锁和原子操作配合来提升并发场景下的读写效率。其核心结构如下：
type Map struct {
mu Mutex
read atomic.Value // 本质上存的是 readOnly 结构体
dirty map[interface{}]*entry
misses int // 统计未命中的次数
}
type readOnly struct {
m map[interface{}]*entry
amended bool // dirty 中是否包含 read 中没有的数据
}
type entry struct {
p unsafe.Pointer // 指向 interface{} 的指针
}提示
题眼： 并发安全，重点理解 4 种状态、正常模式、饥饿模式和自旋。
Mutex 为 Go 提供了最基础的互斥锁能力。它内部主要有两个字段：state 和 sema。其中 state 是一个 int32，用于表示锁当前的状态；sema 是信号量，用于阻塞和唤醒 goroutine。
提示
题眼： 读写分离，提高并发。
Go 语言中的 RWMutex 是读写锁，允许多个读操作同时进行，但写操作仍然互斥。标准库中的 RWMutex 底层同样依赖互斥锁、原子变量和信号量等并发原语。
它的核心特点如下：
panic。提示
题眼： 了解即可。
Broadcast 和 Signal 常见于条件变量 sync.Cond 的使用场景中：
Signal 表示唤醒一个等待中的 goroutine。Broadcast 表示唤醒所有等待中的 goroutine。