📚 课程目录第4章 Go并发编程详解

第4章：Go并发编程详解：goroutine调度、channel模式、sync包、并发安全

并发编程是Go语言的核心优势，也是大厂面试的必考模块。面试官往往从底层调度机制、通信模式、同步工具和并发安全四个维度层层深入。本章帮你拆解高频考点，掌握回答框架与避坑要点。

能力维度	核心知识点	面试考察点
goroutine调度	GMP模型、调度时机、GOMAXPROCS、work stealing	原理讲解、调度效率、协程与线程关系
channel模式	有无缓冲、关闭原则、select多路复用、常见设计模式	通信语义、泄漏防范、超时控制
sync包	Mutex/RWMutex、WaitGroup、Once、sync.Map、Cond	正确使用、性能取舍、死锁预防
并发安全	数据竞争、原子操作、内存模型、race detector	问题排查、加锁粒度、无锁化思考

问题	Go语言中goroutine的调度机制是怎样的？请简述GMP模型。
考察点	对调度器核心模型的理解；goroutine与系统线程的关系；调度时机与效率。
回答框架	① 提出GMP三要素（Goroutine、Machine、Processor）；② M绑定P运行，P管理本地队列；③ 调度发生在syscall、channel阻塞、主动调用runtime.Gosched()；④ work stealing机制平衡负载。
示例回答	Goroutine基于GMP模型：G是协程，M是系统线程，P是处理器（逻辑CPU）。P绑定M，每个P有本地运行队列。调度优先执行本地G，无任务则从全局队列取或窃取其他P的G。发生在系统调用、channel阻塞等时机，属于协作式调度。
可能追问	GOMAXPROCS如何影响调度？调度器如何避免goroutine饿死？work stealing实现细节？
避坑提醒	不要只说“轻量级线程”，要落到GMP模型；避免混淆“阻塞”与“自旋”；要指出Go 1.14以后支持异步抢占。

问题	Go中channel有哪些使用模式？请举例说明。
考察点	channel的设计哲学（Do not communicate by sharing memory）；是否有缓冲的选用；关闭原则；select多路复用；常见设计模式（管道、扇出/扇入、超时、信号量）。
回答框架	① 分类：无缓冲（同步）和有缓冲（异步）channel；② 典型模式：同步信号、任务队列、select+default实现非阻塞、for-range接收直到关闭；③ 关闭原则：发送方负责关闭，接收方通过ok或range检测。
示例回答	无缓冲channel用于同步，如main等待goroutine完成。有缓冲可作为生产-消费队列。select配合time.After实现超时控制，default分支实现非阻塞。管道模式使用channel连接多个goroutine，形成数据流水线。注意由发送方关闭channel，避免panic。
可能追问	如何用channel实现工作池？channel泄漏的原因与检测？如何实现广播通知？什么场景下使用nil channel？
避坑提醒	不要对已关闭channel再发送（引发panic）；不要在接收方关闭channel；千万注意select中多个case的处理顺序；避免goroutine因channel未关闭而泄漏。

问题	sync包中常用工具（Mutex、RWMutex、WaitGroup、Once、Map）的使用注意事项？
考察点	各原语的适用场景；正确使用姿势；性能取舍（读多写少用RWMutex vs 普通Mutex）；常见错误（死锁、未解锁、竞态条件）。
回答框架	① Mutex：加锁解锁成对，使用defer；不可重入，注意锁粒度。② RWMutex：读锁可共享，写锁互斥，适合读多写少。③ WaitGroup：Add在go前，Done在goroutine内，Wait等待。④ Once：Do方法确保只执行一次，用于单例。⑤ sync.Map：高并发读、写较少时使用，支持Load/Store/Delete/Range。
示例回答	Mutex保护临界区，务必使用defer Unlock。RWMutex在大量读取、少量写入时性能更好。WaitGroup计数需在启动goroutine前Add，否则可能提前Done。Once用于懒加载或初始化，内部已处理双重检查。sync.Map适合读多写少的场景，底层使用分片+CAS。
可能追问	RWMutex与Mutex的具体性能差异？sync.Map如何实现并发安全？Cond的使用场景？如何避免死锁？
避坑提醒	Mutex不可复制（避免值传递）；WaitGroup传递必须用指针；不要对sync.Map进行值拷贝；Once不能嵌套调用，否则死锁。

  并发安全核心原则： 尽量使用channel通信来共享内存，而非通过共享内存通信；必须共享时，明确加锁或使用原子操作；始终启用 -race 标志进行竞态检测。