并发编程深度考察：goroutine与channel、sync包、原子操作、并发模式

面试问题：Go中goroutine与channel的底层实现原理是什么？如何避免goroutine泄漏？

面试官考察点

• 是否理解GMP调度模型与goroutine轻量级本质
• 是否掌握channel的hchan结构、缓冲区与收发队列机制
• 是否具备goroutine生命周期管理的工程经验

回答框架

1. 本质定义：goroutine基于GMP模型，初始栈2KB，由Go运行时协作调度
2. 通信机制：channel底层为hchan结构，含循环缓冲区、sendq/recvq队列、mutex锁
3. 泄漏场景：无接收者向无缓冲channel发送、未关闭channel导致永久阻塞、forgotten cancel
4. 预防措施：select+default超时、context取消、sync.WaitGroup、pprof排查

简短示例回答

goroutine基于GMP模型，初始栈2KB，M与P绑定执行。channel底层是hchan，包含缓冲区、sendq/recvq、锁。泄漏常见于无接收者时向无缓冲chan发送、或未关闭chan导致阻塞。用select+default做超时、context.WithCancel控制生命周期、WaitGroup等待完成、pprof goroutine排查泄漏。

可能追问

• GMP模型中P的默认数量如何确定？
• channel关闭后还能读取数据吗？
• goroutine泄漏如何通过pprof定位？

面试问题：sync.Mutex与sync.RWMutex的底层实现与适用场景有何区别？WaitGroup的常见陷阱有哪些？

面试官考察点

• 是否理解互斥锁与读写锁的工程选型逻辑
• 是否了解Mutex的自旋与信号量两级阻塞机制
• 是否掌握WaitGroup的正确使用范式

回答框架

1. 选型原则：写多读少用Mutex，读多写少用RWMutex（读无竞争）
2. 底层实现：Mutex用CAS自旋+信号量两阶段；RWMutex基于Mutex+读计数器
3. WaitGroup陷阱：Add在go后调用 → 计数未增；Done次数不足 → 永久等待；值拷贝 → 状态不同步
4. 最佳实践：Add在goroutine启动前调用；defer Done；不使用copy

简短示例回答

Mutex用CAS自旋+信号量实现，短时等待自旋避免上下文切换。RWMutex在Mutex上加读计数器，读锁不互斥。WaitGroup陷阱：Add放在go之后导致计数未增加就返回；Done少调导致永久阻塞；结构体拷贝后使用两个不同的计数器。正确用法：Add在go前，defer Done，传指针而非值。

可能追问

• Mutex自旋的条件是什么？（自旋次数、核数、P数量）
• 什么场景下RWMutex性能反而不如Mutex？
• sync.Map与RWMutex+map如何选择？

面试问题：原子操作与互斥锁在实现并发安全时如何选型？Go中常用的并发模式有哪些？

面试官考察点

• 是否理解原子操作的硬件级实现（CAS / LL/SC）
• 能否区分原子操作与锁的适用边界
• 是否掌握工程中常见的并发设计模式

回答框架

1. 原子操作：通过CPU指令实现（CAS、LoadLinked/StoreConditional），无锁无上下文切换，适合int64、指针等简单操作
2. 互斥锁：保护临界区，适合map、slice等复杂结构或多字段更新
3. 并发模式：Fan-out/Fan-in（并行聚合）、Pipeline（流水线）、Or-Done（任意完成）、Context超时传播

简短示例回答

原子操作用CPU CAS指令实现无锁并发，适合计数器、状态标志，性能优于锁。互斥锁保护多字段临界区。常用模式：Fan-out/Fan-in用channel分发聚合任务；Pipeline用stage串联处理；Context.WithTimeout做超时传播。选型原则：简单状态用atomic，复杂逻辑用锁。

可能追问

• 原子操作能否保证顺序一致性？
• sync.Map在什么场景下性能最好？
• 如何实现一个无锁队列？