1. 为什么要用 Perf 做热点分析——先把思路理清楚
先交代一个背景:每次线上 CPU 被打满,我第一反应不是急着看业务代码,而是先掏出 Perf 抓热点。这句话听起来有点反直觉,但 Linux 服务器上的性能问题,大部分都能靠 Perf 这类采样型性能分析工具在几分钟内画出一条清晰的证据链:热点函数在哪个模块、热点区域内的最贵指令是什么、值不值得继续做汇编级优化。
很多人对 Perf 的认知停留在“知道这个工具,但平时不用”,或者“用过 perf top,但看不懂 report 里那一堆百分比”。这篇文章我会从一次完整实战入手,把从发现热点函数、解读调用链、再用 annotate 下钻到汇编层的过程完全摊开讲,每一步都给命令、给输出解读、给判断依据。适合正在排查线上 CPU 毛刺的运维研发、做性能调优的后端工程师,以及想搞清楚 Perf 到底怎么用的初学者。文章里所有命令基于 Linux 5.x 环境,Perf 工具版本较新的发行版基本都能直接跑。
先解释一下 Perf 能做什么、解决什么问题。它是一个基于内核 perf_event 子系统的事件采样工具,不像 gprof 那样需要在编译期插桩,也不像 Oprofile 那样需要额外加载内核模块。Perf 的核心逻辑是:以固定频率打断 CPU,记录当前正在执行的函数地址,攒够样本后,按“哪个函数出现的样本多”来推测 CPU 时间花在哪。这种思路朴素但极有效,因为性能优化最怕的就是“凭感觉猜热点”。我曾经见过团队花了一下午讨论是不是数据库连接池不够用,结果 perf top 一看,热点函数是一个字符串解析工具里的 memcpy,跟数据库完全没关系。
要理解 Perf 的价值,可以把它和另外两类常见方案对比:
- gprof:需要重新编译并链接 -pg,对线上二进制不友好,而且它用调用计数+平摊方式计算耗时,在存在内联、多线程时误差很大。Perf 不需要改代码、不需要重启进程,直接采样,更适合生产环境。
- 在代码里手工加计时点:能验证某个函数的耗时,但没法回答“全程序到底时间花在哪”,而且对第三方库和内核调用无能为力。Perf 给你的是全貌。
- top 看进程 CPU 占用:只告诉你哪个进程忙,没法告诉你进程内部哪个函数忙。Perf report 的调用链能一层层追下去。
Perf 也不是没有缺点。它的采样原理决定了它只能回答“时间大量花在哪”,不能直接回答“为什么慢”,比如慢是因为缓存未命中、分支预测失败、锁竞争、缺页,还是算法本身复杂度高。这些问题需要结合硬件事件、调用栈形态和代码上下文进一步分析,也就是这篇文章后半部分要重点讲的指令级下钻。一句话总结:Perf 负责缩小包围圈,把问题从“整个服务”缩小到“几十行代码甚至一条指令”,剩下的人工分析才是真正考验内功的地方。
1.1 Perf 和别的性能工具比,赢在哪
从使用体感上说,Perf 最让我离不开的原因有三个。第一,它随内核发布,绝大多数 Linux 发行版装上 linux-tools 包就能用,不需要引入重量级监控 agent。第二,采样开销可控。我曾经在每天几亿请求的网关机上用 99Hz 跑了 10 秒采样,服务端 RT 几乎没有肉眼可见波动。相比之下,开全量 trace 或者插桩类工具,对在线服务的影响常常大到不敢上。第三,Perf 能同时覆盖用户态和内核态,当热点发生在系统调用、网络协议栈、内存分配器内部时,依然能通过调用链看到“是谁发起的”。
举一个具体场景:某次 Java 服务 CPU 报警,常规思路是看 JVM 线程栈,但当时线程栈全被 IO 等待刷掉了,找不到真正吃 CPU 的线程。用 perf record 对 Java 进程采样后发现,热点集中在 JIT 生成的代码和 Native 内存分配路径上,再结合 JIT dump 看到其实是正则表达式反复编译导致的高频 Native 调用。这种跨语言的根因定位能力,是普通业务监控完全不具备的。
另一个容易被低估的优势是 Perf 的硬件事件支持。你不仅可以采样“CPU 周期”,还可以采样 cache-misses、branch-misses、page-faults 等 PMU 事件。这意味着当你怀疑一段热点代码不是被指令数量拖慢,而是被访存延迟拖慢时,可以直接用指令级热点配合 cache-misses 事件来验证,不需要反复改代码做 A/B 实验。
1.2 一套能复用的分析流程:从“CPU高”到“改哪一行”
这套流程我在多个项目里跑通过,按顺序执行基本不会跑偏。第一步,用 perf top 或者简单 top 确认 CPU 消耗集中在哪个进程上。第二步,对目标进程用 perf record 采样一段时间,拿到 perf.data。第三步,用 perf report 按 Children 和 Self 两个维度排序,找到热点函数和对应的调用链。第四步,如果热点函数是自主函数(Self 高),进入 perf annotate 视图,看样本集中在哪些汇编指令上,判断是计算密集、访存瓶颈还是分支预测问题。第五步,根据指令级证据决定优化方向:改算法、调编译器选项、做 SIMD 向量化,或者万不得已手写汇编。
你可能会问,既然最终要改到汇编层面,为什么前面还要花那么多时间做调用链分析?因为“优化汇编”这四个字很容易让人误解。真正工作中极少出现“一眼看出某段汇编不好,然后手工重写”的情况。绝大多数时候,我们需要的是先确认热点边界,再通过 annotate 看到热点循环的内部结构,最后用源码改动或编译选项去影响编译器生成的指令。如果跳过调用链直接盯着某个函数优化,可能费了半天劲,却发现它只占整体 CPU 的 2%。
这套方法论的最终目标是建立证据链:CPU 高 → 进程 A → 模块 B → 函数 C → for 循环第 10 行 → load 指令占比高 → 大概率 cache miss。有了这条链,任何优化决策都有底气。后文会围绕这条链逐步展开。
需要模型API调用? 免费领10W Token,多模型网关一键接入 Claude、DeepSeek 等主流模型。
2. 第一步实操:采样、聚合、定位热点函数
Perf 家族里日常使用频率最高的三条命令是 perf top、perf record、perf report。它们的定位很清晰:perf top 是“实时看”,perf record 是“录一段时间”,perf report 是“事后分析录制结果”。很多人一上来就用 perf record,但我会先建议你花 30 秒跑一下 perf top,确认热点是不是稳定出现在某几个函数上。如果热点在多个函数间反复横跳,说明存在锁竞争或定时任务扰动,这时候录 30 秒的数据反而更有说服力。
2.1 一次搞定采样:record 参数怎么选才不踩坑
最基础的一条采样命令长这样:
bash复制perf record -F 99 -g -p 12345 -- sleep 30
解释一下各参数含义。-F 99 表示每秒采样 99 次,-g 表示记录调用栈,-p 12345 表示只对 pid 为 12345 的进程采样,后面的 -- sleep 30 是让采样持续 30 秒。为什么用 99Hz 而不是 100Hz?一个流传很广的解释是避免与其他周期性任务共振,导致采样点落在固定相位上产生偏差。从工程实践看,99Hz 对绝大多数服务足够,且采样数据量可控,CPU 开销也低。
如果目标是全系统分析,比如不确定热点进程是谁,可以用:
bash复制perf record -F 99 -g -a -- sleep 10
-a 表示对所有 CPU 采样。但在高负载的多核机器上,全系统采样会产生较大数据,我一般会先 perf top 锁定进程,再对单进程采样。
调用栈的记录方式 -g 背后还有文章。现代编译器默认开启 -O2 时常会省略帧指针,传统的帧指针栈回溯只能拿到残缺调用链。Perf 支持三种调用栈采集方式:fp、dwarf、lbr。
- fp:依赖帧指针,编译时必须加 -fno-omit-frame-pointer,否则回溯很容易断。
- dwarf:利用调试信息在运行时展开栈,兼容性好,但采样开销更高,需要指定栈大小,例如 --call-graph dwarf,32768。
- lbr:利用 Last Branch Record 硬件记录最近分支,开销极低,但深度有限,适合栈不深且对开销敏感的场景。
因此,当你发现 perf report 里调用链只有孤零零一层函数时,先不要怀疑 Perf 坏了,先想想编译参数。建议在压测环境编译时加上 -fno-omit-frame-pointer,这能让 fp 方式快速且完整;如果线上二进制不满足,可以用 dwarf。我自己因为在容器环境采集过太多“断栈”,现在对新项目默认就加 -g -fno-omit-frame-pointer。
还有一个容易被忽略的参数是 --call-graph 的栈大小。使用 dwarf 时,如果栈帧很大或者递归很深,默认栈大小可能不够,Perf 会输出截断提示。可以显式写大一点:
bash复制perf record -F 99 --call-graph dwarf,32768 -p 12345 -- sleep 30
32768 表示允许展开 32KB 的用户栈,对绝大多数后端服务足够。注意栈大小不直接等价于调用深度,每次函数调用会往栈上压多帧信息,递归函数尤其吃空间。
采样时长怎么定?我的经验是:线上服务 CPU 毛刺明显时,采 10~30 秒足够;低频问题或周期任务需要更长。但千万别一次性采 10 分钟,perf.data 会膨胀到几个 GB,后续解析也慢。宁可先采 30 秒看趋势,再针对局部时间段采第二轮。
2.2 报告怎么读:self、children 和调用栈里藏的信息
采样结束后,跑 perf report 进入交互界面。默认按 Children 占比排序,它表示“该函数以及它调用的所有子函数”消耗 CPU 的比例;Self 占比则表示“函数自身指令”消耗的 CPU 比例。这两个概念的区分是读报告的分水岭。
举一个我调试过的例子。perf report 第一行是一个名为 ParseRequest 的函数,Children 显示 68%,Self 只有 2%。不懂的人会想当然去优化 ParseRequest 里的逻辑,但 Self 低说明函数体里的指令根本没什么耗时,真正慢的是它调用的子函数。顺着调用链往下看,发现 ParseRequest 调用了 FindHeaderValue,而后者 Self 高达 40%,进一步展开,热点又集中在 FindHeaderValue 内部的 strncasecmp 上。优化方向马上就明朗了:不是解析框架问题,而是字符串比较逻辑太频繁,可以考虑哈希预过滤或改二分查找。
判断热点函数是否值得动手,我一般按三个条件卡:
- Self 占比高,比如大于 20%。这种函数“自带热量”,优化它本身通常见效快。
- Children 占比高但 Self 低,一定要看调用链下一层,找真正的 Self 热点。否则容易优化错对象。
- 函数是否处于关键路径上。哪怕 Self 只有 10%,如果在每次请求必经路径上,优化收益也很大;反过来,如果只在异常分支出现,可以先放着。
perf report 界面里还可以按键盘 a 键直接进入该函数的 annotate 汇编视图,按 t 键可以把调用链拷出来,按 + 展开调用栈。这些交互操作有时候比命令行选项更高效。
2.3 如果热点函数全是“内存操作”,先别急着算函数慢
有一类热点很容易误导人。热点函数是 memcpy、memset、free 这类内存操作,或者更底层的 page_fault。这时候 Self 高并不代表 memcpy 写得差,而是代表程序的访存模式有问题。比如数据量太大导致 cache miss,或者频繁分配释放对象导致内存系统压力大。带着这种疑问,可以用 Perf 的硬件事件来验证:
bash复制perf record -e cache-misses -c 10000 -g -p 12345 -- sleep 10
perf report
-c 10000 表示每发生 10000 次 cache-misses 才记录一次,避免事件量过大。如果报告中热点调用链和普通 CPU 采样完全不同,而集中在某个分配函数里,说明程序大概率存在严重的分配路径缓存未命中。这时优化方向应该转向减少分配、对象池复用、调整数据结构布局,而不是盯着 memcpy 的长度做文章。
同理,如果怀疑锁竞争,可以用 -e spin_lock 或者直接观察调用栈中是否高频出现 futex、pthread_mutex_lock 相关函数。Perf 的 sched 事件也能帮你确认线程是否因为等待而频繁切换。总之,Perf 不只是 CPU 采样器,它是一套事件框架,分析思路要跟着证据走,不能被“哪个函数占比高就优化哪个函数”的惯性带偏。
3. 真正硬核的部分:用 annotate 下钻到汇编优化
到了这一章,热点函数已经确认,接下来要回答的问题是:函数内部哪几行代码烧掉了 CPU?这单靠源码级采样回答不了,因为编译器经过优化后,一行 C 代码可能对应好几条指令,而一条指令可能对应好几行逻辑。Perf annotate 的作用就是把采样到的指令地址映射回汇编代码,并标出每条指令的采样占比,让你看到火焰到底烧在哪个指令上。
3.1 annotate 怎么把热区映射到指令
有两种方式进入 annotate。第一种是直接在命令行跑:
bash复制perf annotate -i perf.data --symbol=ParseHeader
第二种是先进 perf report 交互界面,用方向键选中函数,再按 a。如果二进制包含调试信息和符号表,Perf 会同时展示对应的 C 源码行和汇编行,样本占比会显示在每一行旁边。
输出大致长这样(示意,不同机器指令略有差异):
asm复制 │ Disassembly of section .text:
│
│ ParseHeader:
0.52 │ push %rbp
│ mov %rsp,%rbp
│ mov 0x8(%rdi),%rdx
35.21 │ movzbl (%rdx),%eax
│ cmp $0x3a,%al
12.84 │ je 39
30.77 │ add $0x1,%rdx
2.31 │ cmp %rsi,%rdx
0.00 │ jb 28
关键是看百分比列。35.21% 的样本停在 movzbl 上,30.77% 停在 add 上,12.84% 停在分支上。这通常说明循环体正在做逐字节扫描,而且 load 指令占比最高。结合源码,这大概率是一个“for 循环里逐字节找冒号”的逻辑。此时你基本可以断定:代码把简单操作写成了 O(n) 的逐字节循环,并且每个字符都经过一次访存。
很多人到这一步还会踩一个坑:直接在源码里纠结“是不是 i++ 太慢”。其实从汇编看,add 指令本身极快,占 30% 往往是因为它和 load 指令共享同一个循环周期,等待访存返回时 add 的 retire 也停滞。真正的瓶颈是那行 movzbl,也就是 Load 指令。这就解释了为什么优化方向不是减少 add,而是减少访存次数或让访存批量进行。
3.2 样本扎堆在哪些指令上,分别说明什么问题
指令类型和性能问题的对应关系,是 annotate 分析最有价值的部分。整理一个速查表,是我每次给团队培训都会放的:
| 热点指令形态 | 可能原因 | 常见优化方向 |
|---|---|---|
| load/store 指令占比极高 | 缓存未命中、内存带宽瓶颈 | 改写数据结构布局(AoS→SoA)、预取、缓存行对齐 |
| div/idiv/sqrt 等复杂运算 | 整数除法/浮点运算昂贵 | 改乘法近似、查表、算法替换 |
| 分支指令占比高 | 分支预测失败率高 | 消除分支、分支条件按概率重排、查表替代 |
| call 指令占比高 | 函数调用开销本身过大 | 内联、减少虚函数间接调用 |
| 访存指令集中在某全局变量 | 伪共享 / Cache Line 竞争 | 变量对齐填充、原子变量拆分 |
先讲一个最迷惑人的案例:idiv。整数除法在某些 CPU 上延迟 20~40 个周期,热点上能很快看出来。优化方式往往不是手写除法汇编,而是看能否把除以常量转成乘法加移位。GCC 在不开启优化时可能生成真正的 idiv,开启 -O2 后会自动把除以常数优化为乘法,但除以变量时仍然昂贵。
再讲访存型热点。我优化过一个二进制协议解析函数,perf annotate 显示样本几乎全部集中在几个 mov 指令上。一开始以为是协议解析本身效率低,后来发现瓶颈是对结构体数组的遍历方式:字段分散存储导致访问每个元素时都要跳跃多个 Cache Line。改成结构体数组(平时常说的 AoS 到 SoA)后,把同一批数据连续放在内存里,热点指令占比直接下降 60%。这说明很多“指令热点”的本质是内存布局问题,Perf 负责把方向指给你,具体优化还要靠对数据访问模式的理解。
还有一种情况是分支预测问题。热点循环里的 if 分支经常出现,样本集中在 cmp/je 上,但分支方向又很难完全消除。这时可以考虑把常见的值放在 switch 的前面几个 case,或者用查表取代分支。GCC 有 __builtin_expect,C++20 有 [[likely]] / [[unlikely]],它们不会直接消灭成本,但能帮助编译器把大概率路径排布得更规整,减少跳转开销。
3.3 从汇编反推代码改法:几个高频优化窗口
Perf annotate 最有成就感的瞬间,就是看到样本扎堆在某条汇编指令上,然后你能在源码里精确找到对应的那一行,改掉它。但源代码改动要落地到汇编生成,通常有几个固定抓手。
第一个抓手是编译器选项。很多性能问题的根源不是代码差,而是编译目标没有贴近实际 CPU。比如在支持 AVX2 的机器上跑程序,却用默认 x86-64 编译,编译器只会生成 SSE2 指令。这时只要加上 -march=native,很多可以向量化的循环会自动生成 AVX/AVX2 指令。我在新版本镜像上排查过一个 Base64 编解码热点,perf annotate 看到循环还是逐字节处理,明显有自动向量化的空间,但 GCC 认为目标 CPU 太老,放弃了。加上 -march=native 后,耗时降了约 27%。注意,这要有前提:运行环境 CPU 型号统一,并且你能接受二进制不再兼容旧 CPU。
第二个抓手是帮助编译器做向量化。常见障碍是循环内存在指针别名。假设代码是:
c复制void add_array(int *a, int *b, int *c, int n) {
for (int i = 0; i < n; i++) {
c[i] = a[i] + b[i];
}
}
编译器无法确定 a、b、c 是否指向重叠区域,向量化风险太高,只好顺序执行。把函数签名改成:
c复制void add_array(int *restrict a, int *restrict b, int *restrict c, int n)
restrict 告诉编译器三个指针不重叠,循环可以被拆成批量 SIMD 加法。这种改动对性能的影响往往比手写汇编更显著,也更安全。
第三个抓手是减少函数调用和间接跳转。Perf annotate 中如果看到 call 指令频繁出现,并且占比较高,可以尝试将小函数声明为 inline,或者在类层次中使用 switch 代替虚函数。虚函数的代价不只在多一次指针跳转,还会破坏分支预测器对“下一个目标是哪里”的预判。热点路径上的多态调用,能用模板或 if 分支解决,就尽量别用虚函数。
第四个抓手是针对位运算。现代 CPU 提供 popcnt、lzcnt、tzcnt、crc32 等指令。GCC 在没有 -march=native 时,对 __builtin_popcountll 可能生成调用 libgcc 的辅助函数,而 libgcc 里的实现又是逐位迭代。Perf annotate 里你会看到一大串 shr/and/add 指令。我确实遇到过这种代码:热点函数的 Self 里 25% 都烧在“计算二进制中 1 的个数”上。换成 popcnt 指令之后,该函数耗时下降非常明显。这类场景就是典型的“编译器没有用上硬件能力”,Perf 把证据摆出来后,一个编译参数就能解决问题。
如果上面几种方法都用完还是不够,才轮到考虑手写汇编或 intrinsics。手写汇编的维护成本极高,能不用就尽量不用。实际工程中更推荐 intrinsics,它们既是 C 函数形式,又不会被编译器随意改写,例如:
c复制#include <immintrin.h>
__m256i sum_vec = _mm256_setzero_si256();
for (int i = 0; i < n; i += 8) {
__m256i data = _mm256_loadu_si256((const __m256i *)&src[i]);
sum_vec = _mm256_add_epi32(sum_vec, data);
}
这能明确让编译器生成 AVX2 指令,又保留寄存器分配、指令调度等编译器优化空间。不过使用 intrinsics 前,仍建议先用 annotate 确认循环本身是热点,并且瓶颈在算术指令而非访存。如果瓶颈是访存,向量化提升有限。
3.4 实测验证优化效果:别凭感觉说“变快了”
优化做完后,需要回到 Perf 工具链做效果验证。我见过太多人改完代码后只凭“压测 RT 好像降了”来下结论,这个习惯很危险。性能数据不过三:一要有基线,二要多轮取稳定值,三要关注关键指标而不是单一数字。
最直接的验证命令是 perf stat,它能统计一次程序运行中的周期数、指令数、缓存未命中等:
bash复制perf stat -e cycles,instructions,cache-misses,branches,branch-misses ./your_program
输出会给出 IPC(Instructions Per Cycle)。IPC 从 0.5 提升到 1.0,通常意味着代码对 CPU 流水线的利用明显变好;但如果是因为减少了指令条数,IPC 可能不变,cycles 总数仍然下降,这也是有效优化。最好结合两组数据看:同样的输入集下,优化前后的 cycles 总数、指令总数、cache-misses 各自变化多少。
还有几个细节会影响验证可信度。CPU 动态频率调节和超线程会让耗时数据抖动很大,对比时必须关闭动态调频,或者至少保证两组跑在同一环境且多次取中位数。我习惯把测试跑 5 遍,取中间三次的平均值,避免第一次冷缓存影响。如果是优化访存模式,还要保证输入数据在内存中的初始位置尽量一致,否则可能把缓存命中的偶然性误判成优化收益。
另外,小函数内联后符号会“消失”,如果你下次 perf report 找不到原函数名,不要惊讶。可以用 attribute((noinline)) 临时保留符号做对比,验证完再放开内联限制。
4. 常见问题速查:符号不显示、数据太大、抓不到根因
Perf 用多了,你会发现真正的拦路虎往往不是分析思路,而是环境问题。符号全变成 [unknown]、调用栈只有一层、perf.data 大得惊人、采样结果和 top 完全对不上。这些坑我基本都踩过,下面按排查链整理。
4.1 符号全是 unknown 的排查链路
如果 perf report 里大量函数名显示为 [unknown],先分两类判断:用户态还是内核态。用户态符号解析不到,大概率是二进制被 strip 了,或者采样时没有加载调试符号。你在编译线上可执行程序时,建议至少保留符号表,不一定需要完整 debuginfo,但 -g + strip 策略要谨慎,非要精简体积,也应该保留动态符号表并单独保存 debug 文件。
如果热点在 JIT 类运行时(JVM、Node、Python),符号缺失更常见。Perf 本身看不到 JIT 生成的代码,需要借助额外映射。JVM 场景可以开启 -XX:+PreserveFramePointer,并结合 perf-map-agent 生成符号映射;Python 场景则往往只能看到 C 扩展层调用。最直接的方法是把采样范围缩小到用户态:perf record -e cycles:u,这样至少能确认热点不在内核,避免被一堆内核符号干扰判断。
内核态符号是 [unknown] 的情况一般是缺少 kallsyms 权限或内核 debuginfo。先检查能不能读 /proc/kallsyms:
bash复制sudo head -1 /proc/kallsyms
如果显示 0000000000000000,说明权限受限。调低 perf_event_paranoid 或使用 root 用户运行 perf 可以缓解。注意这是系统安全配置,按需修改。
还有一个隐蔽原因:perf.data 是在别的机器上生成的,或者内核升级后 build-id 对不上。可以用 perf archive 把必要符号打包,复制到分析机器上再解包。日常建议在同一台机器上完成采样和分析,跨机分析会引入大量不必要的符号排查成本。
4.2 调用栈丢失或错乱:frame pointer 与 DWARF
调用栈缺失最常见的报错就是 perf report 里一个函数下面直接跟一个乱码地址,或者干脆没有调用链。逐条排查顺序:先确认采样命令带上了 -g;再确认程序编译时带上了帧指针或调试信息;然后检查调用栈展开方式是否匹配。Linux 上很多发行版的基础软件默认启用了 -fno-omit-frame-pointer,但你自己编译的 C/C++ 服务不一定,特别是 CMake 的 Release 配置,经常默认是 -O2 而不加帧指针。最稳妥的方案是同时加 -g 和 -fno-omit-frame-pointer,用 fp 方式展开,效率高,栈信息完整。
如果只能分析别人的二进制,无法重新编译,就用 DWARF 展开。但命令要写完整:
bash复制perf record -F 99 --call-graph dwarf,32768 -p 12345 -- sleep 30
DWARF 展开是修改运行时栈内容来解析,开销比 fp 方式高,但兼容性更好。另外,不要在新版本里省略 --call-graph,直接放一个 -g 的话,Perf 可能默认选择 fp,遇到没有帧指针的库还是会断。
还有一个与优化相关的细节:编译器内联会导致子函数符号消失。比如一个被 inline 的函数逻辑实际展开在父函数体内,父函数的 Self 就会变得很高。用 annotate 能看到被内联的代码混在父函数汇编里。判断是不是内联造成的热点,可以临时给函数加 noinline 属性,重新采样对比;也可以通过 perf report 的 --inline 选项展开内联帧。
4.3 数据太大如何降采样或限定采集范围
perf record -a 全系统采样 60 秒,perf.data 轻松超过 1GB,打开 perf report 都要等半天。降低数据量有几个常用策略。
- 降采样频率。99Hz 降到 49Hz,样本量直接减半,大多数场景下热点辨识度依然足够。
- 限定 CPU。如果服务绑核运行,可以只采几个 CPU 核:perf record -C 2,3。这样能大幅减少无关中断样本。
- 限定进程。用 -p 或 -u 指定目标,不采全系统。
- 用事件周期控制。默认 record 是按频率采样,也可以用 -c 指定每 N 个事件记一次,如 -e cycles -c 1000000。
如果 perf.data 已经很大,perf report 本身支持一些裁剪参数,比如只看前 N 个符号、限制调用栈最大深度:
bash复制perf report --max-stack 8
但更推荐的做法是采样阶段就控制数据量。记住 perf record 的数据量大概和采样率、运行时间、并发度成正比,不要图省事一次性录太久。
4.4 火焰图作为辅助视图怎么生成
Perf 自带 report 的树状视图已经能定位热点函数,但遇到调用链特别深、热点分散在多个分支时,很多人会看晕。这时候把数据导出成火焰图,能直观看到“底边越宽,函数越热”。
生成火焰图需要 FlamGraph 工具集。基本流程是:
bash复制perf script -i perf.data > out.perf
stackcollapse-perf.pl out.perf > out.folded
flamegraph.pl out.folded > out.svg
前提是你的系统装了 FlameGraph,GitHub 上可以拉到完整脚本。生成的 SVG 用浏览器打开,可以交互查看每一层的调用链宽度。火焰图对我最大的帮助不是替代 perf report,而是在给团队做技术分享时能指着图说“你看,90% 时间都消耗在这条宽块里”,沟通效率比贴一堆文本输出高得多。
但要注意,火焰图不能替代指令级分析。它只展示函数调用关系,看不到单条指令的成本。如果你已经通过火焰图锁定了热点函数,还是要回到 perf annotate 看汇编,不然就是在中粒度层面打转,始终差最后一公里。
另外还有一个非常实用的小技巧。遇到“CPU 高但找不到业务函数”的场景,可以同时抓用户态与内核态采样,并把调用栈合并起来看。比如网络收包热点如果大量出现在内核的 softirq 路径,业务层代码就不会出现在热点里,这时候业务代码再怎么 optimize 都没用,应该先确认是不是中断频率过高、网卡多队列配置不对。Perf 里可以这样快速判断:
bash复制perf record -F 99 -g -a -- sleep 10
然后看 report 里面内核态的占比和调用链。很多运维同学拿到的服务性能问题,最后都定位在网络栈和 CPU 亲和性配置上,perf 的全局采样能帮你在业务代码和内核之间划清边界。
使用 Perf 的过程中,我建议把每个阶段的输出都留档。perf.data 本身可能很大,不一定要保存,但把 perf report -g 的文本输出保存下来,后续做优化前后对比时非常有用。有时候你优化了一个函数,过两周忘了当初的基线长什么样,一翻记录马上能想起来。性能优化是个反复迭代的过程,数据和证据比记忆可靠得多。
最后再分享一个习惯。我在拿到一个陌生服务做性能分析时,不会一上来就想优化逻辑,而是先看 CPU 使用率曲线、看系统负载、看热点函数的稳定程度。如果热点函数每次都不同,或者 CPU 高但函数采样平均分散,那更可能是外部扰动而不是代码热点,比如定时任务、日志刷盘、GC 线程、监控采集。Perf 只是一个放大镜,能帮你把现象放大,但判断问题方向仍然要靠对系统整体的理解。放大镜本身不解决问题,解决问题的是你从放大镜里看到的那个细节,以及你愿意顺着它往下挖的耐心。
