附录 G：Android 性能学习路线

这条路线面向已有 Android 开发经验、准备进入应用性能、Android Framework（系统应用框架）、系统性能或稳定性方向的读者。学习顺序围绕四个动作展开：记录现象、采集证据、解释机制、验证修改。章节阅读服务于当前实验，不以通读目录作为完成条件。

每次练习都应保留原始数据、采集配置、设备状态、分析过程和复测结果。只有结论，没有可复查证据的记录，无法判断结论来自机制分析还是偶然波动。

trace（系统跟踪）是按时间排列的线程调度、CPU、I/O、内存、图形与应用事件记录。dump 是某一时刻导出的线程、堆或系统状态快照；两者提供的时间信息不同，不能互相代替。

阅读基准与版本边界

AOSP（Android 开源项目）提供平台公共源码，ACK（Android Common Kernel）是 Android 设备共用的内核基线。tag 是不可变的源码版本标识；固定 tag 可以让不同时间的练习落在同一份代码上。

这份路线及其引用章节统一采用以下源码坐标：

厂商设备可能修改 Framework、HAL（Hardware Abstraction Layer，硬件抽象层）、内核配置和性能策略。

分析商用设备时，应同时记录 build fingerprint、API level、内核版本、SoC、刷新率、电源模式和温控状态。build fingerprint 是标识一次系统构建的字符串，SoC（System on Chip）指集成 CPU、GPU 等模块的片上系统。AOSP 路径用于定位公共机制，不能代替目标设备上的 trace、配置与符号。

本轮复核把 ACK 阅读坐标从 android17-6.18-2026-06_r6 更新到 2026-08-16 可见的 android17-6.18-2026-06_r39。文末仍保留 r6 链接，供复现旧实验；分析旧记录时，应先比较两个 tag 的差异，再决定能否沿用源码结论。

训练过程遵循这组证据关系。

图中的回路用于约束分析纪律：源码可以解释已经观察到的路径，却不能单独证明目标设备当时走过该路径。证据不足时，应调整采集项后重测。

阶段 0：定义可测量的问题

“慢”“卡”“耗电”都缺少可直接验证的度量。开始抓 trace 前，先把用户场景、时间窗口、度量单位和失败阈值写下来。

TTID（Time to Initial Display）表示从启动请求到首帧显示的时间；TTFD（Time to Full Display）表示到关键内容完整可用的时间，通常由 reportFullyDrawn() 标记。

Macrobenchmark 是 AndroidX 从应用进程外测量启动、滚动等完整场景的基准测试工具。

FrameTimeline 是 Perfetto 中连接应用帧与显示帧的时间线，可用来判断哪一阶段错过显示期限；deadline 指一帧必须完成的最晚时刻。

RenderThread 提交硬件加速绘制命令，SurfaceFlinger 负责系统显示合成。

ANR（Application Not Responding）表示应用未在系统规定时间内响应。PSS 是按共享比例分摊后的内存，RSS 是进程当前驻留在物理内存中的总页量；两者都不能直接等同于 Java 堆。

内存采集中，heap dump 保存托管堆对象及引用关系，heapprofd 对原生堆分配进行采样，smaps 记录进程各映射区的内存统计，meminfo 提供系统或进程内存摘要。LMKD 是 Android 的低内存终止守护进程。

I/O 采集中，ftrace 是 Linux 内核跟踪框架，page fault 表示访问的虚拟页尚未建立有效映射，reclaim 表示系统回收内存页，fsync 请求把文件修改持久化。page fault 和 D 状态都不自动等于存储设备过慢。

PowerStats 与 BatteryStats 都记录功耗相关信息：前者面向设备电源实体与能量统计，后者汇总应用和系统组件的电池使用事件。thermal 事件记录温控状态变化。

这一阶段要制作六张排查卡片。每张卡片包含：

1. 一句可测量的问题描述；
2. 设备、构建、数据集和操作脚本；
3. 一个主指标与两个防误判指标；
4. 需要开启的 trace 数据源；
5. 至少三个候选原因及各自的反证；
6. 触发补采或停止分析的条件。

验收时随机抽取一张卡片，要求说明某项数据如何支持或排除候选原因，并指出现有数据还不能回答什么。

阶段 1：用 Perfetto 建立统一时间轴

Perfetto 的价值在于把应用 slice、线程调度、频率、Binder、内存、图形管线和系统事件放到同一时钟域。Binder 是 Android 的跨进程调用机制，slice 是带开始与结束时间的事件区段，track 是承载同类事件的时间线。学习时按“可靠采集、界面定位、SQL 复现”三个层次推进：

线程处于 Running 时正在 CPU 上执行；Runnable 表示具备运行条件但仍可能排队；Sleeping 表示等待定时器、锁或其他事件。不可中断等待通常显示为 D 状态，需要结合内核调用栈判断等待对象。

1. 阅读 Perfetto 概览 和 trace 采集，保存采集配置。
2. 阅读 线程 CPU 状态，区分 Running、Runnable、Sleeping 和不可中断等待。
3. 阅读 Perfetto SQL 手册，把界面上的判断转换成查询。

三个起步实验

fence 是表示缓冲区或 GPU 任务何时完成的同步信号，present 表示画面交给显示设备呈现的时刻。

GPU counter 是 GPU 硬件计数器，可反映忙碌程度、内存访问等信息，具体字段取决于设备。

atrace 和 TrackEvent 用于写入跟踪事件，sched 数据源记录线程调度行为。

这个查询列出 trace 中持续时间最长的 slice，作为进一步筛选的入口。

SELECT
  process.name AS process_name,
  thread.name AS thread_name,
  slice.name,
  slice.dur / 1e6 AS duration_ms
FROM slice
JOIN thread_track ON slice.track_id = thread_track.id
JOIN thread USING (utid)
LEFT JOIN process USING (upid)
WHERE slice.dur > 0
ORDER BY slice.dur DESC
LIMIT 50;

这份结果只是候选列表。异步 slice、调度等待和 GPU 工作未必表现为同一线程上的长 slice；后续仍要结合目标时间窗口、线程状态、flow 和 FrameTimeline 关系核对。flow 是 Perfetto 中连接相关事件的因果箭头。

采集质量检查

一份 trace 至少要回答这些问题：

• 开始和结束是否覆盖完整操作，是否包含预热或冷却阶段；
• trace buffer 是否发生丢包，关键数据源是否启用；
• 应用包名、PID、线程名和用户操作时间是否可对应；
• 目标进程是否为预期构建，编译状态是否已记录；
• CPU/GPU 频率、刷新率、电源模式和 thermal 状态是否在各轮一致；
• 问题能否连续复现，正常样本能否用同一配置采到。

阶段验收采用一份未见过的 trace。报告须包含时间窗口、关键 track/slice、线程状态、SQL 结果、候选原因、排除项和补采计划。截图可以辅助定位，不能负责全部论证。

阶段 2：从 trace 回到 Android 17 源码

源码阅读从一个观测事实出发，例如“主线程在 18 ms 内持续运行某段 traversal”“Binder reply 延迟 120 ms”“RenderThread 等待 acquire fence”。traversal 是 View 树的一轮测量、布局与绘制过程，Binder reply 是远端进程返回的响应。

接着查明事件由谁记录、调用关系经过哪些组件、跨进程或跨内核边界时使用什么对象。

源码导航表

HWUI 是 Android 的硬件加速二维渲染库，Skia 是其使用的图形引擎。BufferQueue 在画面生产方与消费方之间传递缓冲区，HWC 是硬件合成器，gralloc 负责图形缓冲区分配，dma-buf 用于跨驱动和进程共享缓冲区。

表中的 epoll 是 Linux 事件等待机制，evdev 是内核输入事件接口。

cgroup 用于分组管理进程资源，cached-app freezer 会暂停缓存进程。

service manager 是 Binder 服务注册表。

CFS 和 EEVDF 是 Linux CPU 调度机制，sched_ext 允许通过 BPF 程序扩展调度策略。

类名只是入口，不能替代调用点。每次源码练习都要记录 tag、仓库、相对路径、方法名以及对应的 trace 事件。平台代码用 android-17.0.0_r1；进入 Binder 驱动、调度器、reclaim 或文件系统后切换到 android17-6.18-2026-06_r39。

“trace → 源码”六步练习

1. 在 trace 中固定一个时间范围和一个可命名事件。
2. 找到事件的生产者；优先查 trace category、TrackEvent 名称或 atrace 调用点。
3. 从调用点向上还原业务入口，向下跟到线程、进程或内核边界。
4. 标注同步调用、异步消息、Binder transaction、BufferQueue 和 fence 等边界。
5. 将每个耗时区间对应到 Running、Runnable 或等待对象。
6. 改变一个条件复测，例如移除初始化、降低并发、替换数据集或固定刷新率。

渲染案例应完整覆盖以下路径：

Choreographer#doFrame → ViewRootImpl#performTraversals → HWUI/RenderThread → BufferQueue → SurfaceFlinger → HWC/GPU → present fence。

这条表示责任传递顺序，不代表每帧都由一个同步调用栈贯穿。应用绘制、buffer 提交、系统合成和显示呈现运行在不同线程或进程中，依靠队列、时间线与 fence 协调。

阶段验收产物为四张带证据的调用链图：启动、帧、Binder、内存或调度任选其一。图上每条跨层箭头都要附源码位置或 trace 关系。

阶段 3：完成可重复的应用优化实验

应用侧练习要把基线、变量、收益和副作用放进同一实验。测试对象应尽量接近发布构建；debuggable 构建开放了调试能力，IDE 附加调试器和随机后台负载也会改变结果。

Macrobenchmark 的被测应用通常要使用 profileable、non-debuggable 的发布式构建。profileable 允许受控性能分析，non-debuggable 表示未启用调试能力。

基准实验记录模板

每个实验至少记录以下内容：

• 设备型号、build fingerprint、API level、内核、刷新率；
• APK version、variant、签名、R8 和 profile 状态；
• 电量、充电状态、thermal status、网络和后台负载；
• 操作脚本、数据集、预热方式、迭代次数；
• 每轮原始数据、P50/P90/P95、离散程度；
• 对应 trace、benchmark JSON 和构建产物；
• 单变量修改、收益范围、回归风险和不适用场景。

P50、P90、P95 分别表示 50%、90%、95% 的样本不超过该数值。

分位数在样本很少时容易产生误导；不要用三到五轮结果宣称稳定收益。先检查设备是否进入热稳定区，再根据噪声大小增加迭代或拆分实验。

阶段验收选择两个实验：一个启动实验，一个帧、内存、功耗或二进制体积实验。每个实验都要能由另一位工程师按文档复现，并得到方向一致的结果。

阶段 4：把观测能力带入生产环境

生产环境的采集能力受开销、功耗、隐私、平台权限和数据成本约束。线下 trace 可以持续数十秒并包含大量系统事件，生产采集通常先用轻量信号发现异常，再对少量会话请求开销较高的 trace 或 heap dump。

tombstone 是系统保存的原生崩溃转储，heapprofd 是 Perfetto 的原生堆采样器，unwind 用于还原原生调用栈。MTE（Memory Tagging Extension，内存标记扩展）可帮助发现越界访问和释放后使用等内存错误。

一个生产事件至少要带上应用版本、构建 ID、设备/SoC、系统版本、内核、会话、场景、时间、进程状态和采集配置版本。缺少版本归属的数据很难与发布变更对应。

生产方案验收包含四项：

1. 在低端、中端、高端设备上测量 CPU、内存、I/O、功耗和包体开销；
2. 说明采样规则、限流、失败率和数据保留周期；
3. 对路径、文本、堆数据、账号和设备标识做隐私评审；
4. 用一次故障演练证明轻量信号可以关联到重样本与发布版本。

阶段 5：进入系统与 OEM（设备厂商）问题

跨层分析要回答“应用线程为何在这一刻得不到资源”以及“应用能控制哪些变量”。Runnable 表示线程具备运行条件但可能仍在等待 CPU；cpuset 限制线程可使用的 CPU 集合，uclamp 约束调度器估算的利用率范围，IRQ 是硬件中断请求。

竞争线程、CPU 容量、温控降频与厂商策略也会增加等待时间，不能只凭线程状态选定原因。

内存术语中，compaction 表示移动内存页以形成连续空间，zram 是位于内存中的压缩交换设备，direct reclaim 表示申请内存的线程直接参与回收。F2FS 是面向闪存设计的文件系统。

runqueue 是等待 CPU 的可运行线程队列，on-CPU 表示线程正在处理器上执行。

Binder transaction/reply 分别表示请求和响应。

Power HAL 的 mode/boost 是系统向电源管理实现发送的模式或短时加速提示，thermal zone 代表一个温度监测区域。

设备 overlay 是厂商覆盖 AOSP 默认资源或配置的机制。

这一阶段至少完成两个案例，其中一个进入 ACK 源码。每个案例要标出：

• 用户可感知现象和业务时间窗口；
• 应用、Framework、native/HAL、内核各层证据；
• AOSP/ACK tag 与目标设备源码或符号的差异；
• 应用可改项、系统可改项及各自验证方式；
• 对功耗、温度、内存、公平性和兼容性的副作用。

十二周训练安排

每周只设一个问题。阅读、改 demo、采集、分析和复测围绕同一场景进行；未通过验收的交付物在下一周补齐，避免把未证实结论带到后续案例。

案例报告模板

一份可复查的性能报告应包含：

1. 问题定义：用户场景、指标、阈值、发生比例。
2. 实验条件：设备、软件版本、构建、数据、网络、温控和操作脚本。
3. 证据时间轴：问题窗口、线程状态、系统资源与跨进程关系。
4. 源码解释：Android 17 / ACK 对应路径，事件记录点和版本差异。
5. 候选与反证：哪些原因被数据支持，哪些已排除，哪些仍待补采。
6. 修改内容：单变量改动和预期影响。
7. 复测数据：原始样本、统计分布、trace 对照和功能回归。
8. 适用边界：设备差异、副作用、回退条件与后续监控。

任何一项关键结论都应能指向 trace、dump、benchmark 输出、构建产物或源码位置。仅凭工具截图中的一条长条，无法判定阻塞对象、调度原因或最终责任组件。

最小作品集与完成标准

完成路线后，作品集至少包含：

• 三份 Perfetto 分析：冷启动、滑动、ANR；
• 一个 Macrobenchmark + Baseline Profile / Startup Profile 项目；
• 一个初始化治理或 16 KB page size 构建验证；
• 一个卡顿、ANR、Java/native 内存中的生产观测 demo；
• 四张 trace 对应源码的调用链图，其中一张进入 ACK；
• 一份覆盖 App、Framework、native/HAL、kernel 的跨层案例；
• 一份采集开销、隐私、采样和版本归属说明。

完成标准由复现能力决定。另一位工程师应能依据记录还原环境、运行实验、找到同一证据区间，并判断修改是否改善目标指标。结果方向不一致时，报告需要解释噪声来源或缩小结论范围。

一手资料

• AOSP android-17.0.0_r1 tag
• Android 17 SDK（API 37）
• ACK android17-6.18-2026-06_r39 tag
• ACK android17-6.18-2026-06_r6 tag（旧基线，保留用于复现）
• Perfetto system tracing
• Perfetto trace analysis
• PerfettoSQL 入门
• Macrobenchmark 概览
• 生成 Baseline Profile
• 测量 Baseline Profile
• ProfilingManager API
• ProfilingManager 采集指南
• Android Dynamic Performance Framework
• PerformanceHintManager API

正文《Android 技术内幕》作者 高建武（Gracker），原仓库 Gracker/android-internals-wiki，以 CC BY-NC-SA 4.0 授权。本站是个人非商业阅读版改编，非官方站点。正文字体 霞鹜文楷（SIL OFL 1.1，授权全文）。