Go 并发编程深入：goroutine 调度、channel 原理、sync 包、死锁与 race
并发是 Go 语言的核心优势，面试中几乎必问。本节拆解 GMP 调度模型、channel 底层实现、同步原语及竞态检测，帮助你在高频考点上建立结构化回答体系。
核心知识对比：goroutine vs OS 线程
| 维度 | goroutine | OS 线程 |
|---|---|---|
| 栈大小 | 初始 2KB，动态伸缩 | 固定 1~8MB |
| 创建/销毁开销 | ～几微秒，用户态管理 | ～毫秒级，内核态切换 |
| 调度器 | Go 运行时 M:N 调度 | OS 内核调度 |
| 抢占方式 | 协作式 + 异步抢占 | 完全抢占 |
| GOMAXPROCS | 控制并行 M 数量 | CPU 核数决定 |
面试问答卡片
问题1：Go 的 goroutine 调度模型 GMP 具体是如何工作的？
考察点：是否理解 M（线程）、P（上下文）、G（协程）三者关系；能否讲清调度循环和抢占机制。
回答框架：1）GMP 定义与分工；2）GOMAXPROCS 控制并行 M 数；3）调度循环（findRunnable → 执行 → 阻塞/系统调用 → 再调度）；4）协作式调度（主动挂起） + 异步抢占（信号）；5）优势：轻量、高并发。
示例回答：M 对应 OS 线程，P 是本地队列和资源持有者，G 是协程。运行时将 G 调度到 M 上执行，通过 GOMAXPROCS 限制并发 M 数量。调度循环包含 schedule() 从本地/全局队列取 G，协作式通过 morestack 检查栈，Pre-Go 1.14 后增加信号实现抢占。
可能追问：什么是“异步抢占”？如何阻塞一个 goroutine？系统调用时 P 怎么处理？
问题2：Go channel 的底层实现原理是什么？如何避免 channel 死锁？
考察点：是否深入源码级别理解 hchan 结构、锁和等待队列；能否分析死锁场景。
回答框架：1）核心结构 hchan（buf、sendx/recvx、sendq/recvq、lock）；2）发送流程：有等待接收者 → 直接复制；否则缓冲未满 → 入队；否则阻塞入 sendq；3）接收流程镜像；4）死锁原因：无缓冲 channel 需同时就绪；缓存 channel 写入满后阻塞；关闭后读取零值。
示例回答：chan 底层通过循环队列和双端等待列表实现。发送时若 recvq 非空则直接复制数据并唤醒接收 goroutine；否则缓冲可用时入队；否则当前 goroutine 封装为 sudog 放入 sendq 等待。死锁通常因 goroutine 全部阻塞在 chan 操作上，利用 close() 或 select 默认分支避免。
可能追问：chan 是线程安全的吗？为什么读关闭的 chan 返回零值？select 如何实现随机选择？
问题3：sync 包中 Mutex 和 RWMutex 的使用场景及注意事项？如何用 race detector 检测数据竞态？
考察点：是否掌握锁的性能模型、公平性与饥饿问题；能否正确使用竞态检测工具。
回答框架：1）Mutex：互斥锁，适合写多读少场景；2）RWMutex：读写锁，适合读多写少场景（写独占，读共享）；3）注意：Mutex 不可复制；RWMutex 写锁优先级高于读锁（Go 1.8+ 公平）；4）race detector：-race 编译运行时检测，底层通过 ThreadSanitizer 插入内存访问指令。
示例回答：Mutex 通过 CAS 自旋 + 信号量实现，写多场景直接用。RWMutex 在写锁被获取后，后续读锁会等待，防止写饥饿。数据竞态可使用 go run -race main.go 检测，编译时插桩内存访问，输出冲突栈。线上建议集成 CI 定期跑。
可能追问：Mutex 有哪两种模式？RWMutex 为什么不能重入？race detector 对性能影响多大？
公司侧重点提示
大厂面试中，字节跳动常考调度模型与网络 I/O 结合（如 netpoller 如何与 GMP 配合）；腾讯侧重 chan 在高并发中间件中的使用（如消息队列）；阿里喜欢问 sync.Map 与 RWMutex 的对比及适用场景。建议结合自身项目中的并发优化案例（如连接池、协程池）进行准备。