4. 并发进阶与调优：深夜排障

第 4 章 · 并发进阶与调优：深夜排障

章节摘要：会用并发原语与写出能扛生产的并发服务，中间隔着经验与纪律。本章把它们补齐：五款经典模式解决"结构怎么搭"，竞态调查解决"为什么偶尔出错"，性能观测回答"慢在哪、耗在哪"，设计原则沉淀"怎么少犯错"，排错手册按症状索引"出事先查什么"。读完本章，你面对凌晨的告警不再靠猜——每一类症状都有已知的排查路径与修复套路。

本章的定位

第 3 章教的是零件，本章教的是装配与维修。值班工程师的真实日常很少是从零设计，更多是接手一个已有系统、判断它为什么偶尔出错、为什么越来越慢、怎么在不大改的前提下稳住它。所以本章的视角从"语法正确"转向"生产正确"：模式要考虑背压与优雅退出，竞态要能复现与定位，性能要能测量而不是猜，故障要有手册可查。

学习目标

1. 独立实现工作池、扇入扇出、信号量、流水线四类结构，并说出各自适用的负载特征。
2. 用竞态检测器定位数据竞争，读出交错窗口，并用缩小共享面或加锁两种手段修复。
3. 用 pprof 采集 CPU 与内存剖析，找出热点函数与分配大户，用基准测试验证优化是否有效。
4. 复述并发设计的守则清单：共享面最小化、退出路径全覆盖、超时预算逐层递减。
5. 面对 panic、死锁、goroutine 泄露三类事故，按手册步骤完成定位与修复。

核心概念速览

金句：并发 bug 的可怕不在难修，而在它平时装死、专挑流量高峰和深夜值班时发作——所以修它要靠仪器和手册，不靠祈祷。

子章节导航

• 4.1 常见并发模式：工作池控制并发度、扇入扇出重组数据流、信号量限流、流水线分阶段。每个模式配完整代码与适用边界。
• 4.2 竞态条件与并发安全：竞态检测器怎么读，交错窗口怎么复现，修复的两种姿势与取舍。
• 4.3 性能调优与观测：pprof 剖析 CPU 与内存，trace 看调度延迟，基准测试当裁判。
• 4.4 并发设计原则：把前面所有事故反推出的守则清单，评审并发代码时逐条对照。
• 4.5 并发陷阱排错手册：按"症状、定位、根因、修复"四栏组织的值班日志，覆盖 panic、死锁、泄露、竞态四大类。

子章节之间的逻辑关系

本章四章一册的编排遵循排障的时间线：先把结构搭对（4.1），错误率就降一半；出错了能定位（4.2）与测量（4.3），问题就从玄学变成工程；定位与测量的经验沉淀成原则（4.4），让下一版代码少踩坑；最后把所有已知的坑编成索引（4.5），出事时按症状翻到修复方案。4.5 是全章的出口与速查表，前三节的案例它都会再引用一次。

  4.1 搭对结构 ---> 4.2 定位竞态 ---> 4.3 测量性能
        |                 |                |
        +-------- 4.4 沉淀原则 <-----------+
                        |
                 4.5 手册速查（事故发生时从这里进）
​

本章知识点清单

• 实现固定 N 个员工的工作池，说清它与"每任务一个 goroutine"在内存与调度上的差异。
• 给出一段含数据竞争的代码，写出竞态检测器命令并解释其输出中读写两侧的交错点。
• 用 pprof 采集三十秒 CPU 剖析，按累计耗时排序找出热点，说出 top 与 web 两个视图的用途。
• 用基准测试对比加锁与传话两版计数器，解释为什么结论依赖负载特征。
• 对一份并发代码清单，逐条检查：退出路径是否全覆盖、超时是否逐层递减、共享状态是否封装。
• 按 4.5 手册复述 goroutine 泄露的三大来源与各自的检测手段。

前置知识与后续延伸

前置：第 3 章全部内容是本章的词汇表——工作池用到 channel 与 WaitGroup，竞态调查用到 3.1 的可见性常识，超时控制用到 3.4 与 3.6。第 2 章的指针语义在竞态分析里反复出场。

后续：第 5 章把本章的模式放进工程容器：目录怎么摆、测试怎么写、部署怎么扛流量。本章 4.3 的基准测试方法论会在 5.2 直接复用；4.5 手册会随你职业生涯持续加页——它本来就是一份"活文档"的骨架。