Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

附录 G:Android 性能学习路线

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

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

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

阅读基准与版本边界

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

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

范围阅读坐标使用规则
Android 平台Android 17、API 37、AOSP tag android-17.0.0_r1当前机制和路径以该 tag 为准
Android 内核ACK tag android17-6.18-2026-06_r39调度、Binder、内存与文件系统问题以该 tag 为准
版本演进Android 17 及更早版本用于解释 API 引入、机制替换和兼容分支

厂商设备可能修改 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 的差异,再决定能否沿用源码结论。

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

flowchart LR
    A["定义现象与指标"] --> B["固定设备和实验条件"]
    B --> C["采集 benchmark、trace 或 dump"]
    C --> D["从时间线定位线程与系统资源"]
    D --> E["回到 Android 17 / ACK 源码"]
    E --> F["提出单变量修改"]
    F --> G["复测分布与边界"]
    G --> H["形成可复查案例"]
    G -->|证据不支持| C

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

阶段 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 事件记录温控状态变化。

问题族现象定义主证据常见混淆项推荐入口
启动冷、温、热启动下的 TTID 与 TTFD 分布Macrobenchmark、启动 trace、reportFullyDrawn()把首帧当作内容全部可交互;混用不同编译状态启动分析Baseline Profile 实践
卡顿特定交互中的慢帧比例、帧时长分布FrameTimeline、主线程与 RenderThread slice、SurfaceFlinger timeline只按主线程耗时归因;忽略刷新率与 deadline卡顿定义FrameTimeline 分析
ANRANR 类型、触发时间、目标进程与系统负载系统 ANR 记录、线程栈、Perfetto、Binder 状态把事后主线程栈当成触发瞬间;只看应用进程ANR 设计
内存PSS/RSS、Java heap、native heap、GPU/共享内存或资源数量的异常增长heap dump、heapprofd、smaps、meminfo、对象/FD/线程计数把 PSS 增长全部归入 Java 泄漏;忽略缓存与共享页内存基础
功耗与发热固定工作量下的能量、功率、温度、频率和完成时间PowerStats/BatteryStats、CPU/GPU 频率、thermal 事件、工作量计数用电量百分比比较短实验;忽略屏幕、信号和温控阶段Android 功耗
I/O业务操作的 I/O 延迟、吞吐、fsync 与阻塞时间ftrace/Perfetto I/O 数据源、系统调用、文件系统事件把内核不可中断等待 D 状态都归为存储慢;忽略 page fault 与 reclaim存储架构

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

  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 数据源记录线程调度行为。

实验必备数据必须回答的问题
冷启动atrace/TrackEvent、sched、进程状态、CPU 频率、Binder、FrameTimeline时间消耗位于进程创建、Provider、Application、Activity 创建、首次 traversal、渲染提交中的哪一段
列表滑动FrameTimeline、主线程、RenderThread、SurfaceFlinger、GPU counter 或 fenceApp deadline 和 present deadline 哪一个错过;对应线程当时在运行、排队还是等待
ANR 复盘主线程、Binder、锁、I/O、CPU/内存压力、系统服务线程trace 时间窗口是否覆盖触发点;主线程阻塞是否由远端服务或系统压力放大

这个查询列出 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 程序扩展调度策略。

主线Android 17 平台入口内核或 native 入口配套章节
进程与组件启动ActivityThreadLoadedApkContentProviderZygoteInitframeworks/base/cmds/app_process、ART 运行时启动分析
消息与帧调度LooperMessageQueueHandlerChoreographerViewRootImplandroid_os_MessageQueue.cpp、epollChoreographer
View 渲染ViewRootImplThreadedRenderer、HWUI RenderThreadSkia、libhwui、sync fence渲染总览主线程与 RenderThread
合成与显示WindowManager、DisplayManagerSurfaceFlinger、HWC、BufferQueue、gralloc、dma-bufSurfaceFlingerBufferQueuedma-buf/gralloc
输入与 ANRInputManagerService、ActivityManagerService、WindowManagerServiceInputReaderInputDispatcher、evdevANR 设计
BinderJava Binder、system service、service managerframeworks/native/libs/binderdrivers/android/binder.cBinder 基础
内存与进程优先级ActivityManagerService、OomAdjuster、cached-app freezerART、lmkd、cgroup、reclaim、zram内存基础
调度、功耗、热PowerManagerService、Power HAL、Thermal HALCFS/EEVDF、uclamp、cpuset、thermal、sched_extAndroid 功耗sched_ext

类名只是入口,不能替代调用点。每次源码练习都要记录 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#doFrameViewRootImpl#performTraversals → HWUI/RenderThread → BufferQueue → SurfaceFlinger → HWC/GPU → present fence。

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

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

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

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

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

主题学习入口实验目标边界条件
MacrobenchmarkJetpack Benchmark固定启动模式、CompilationMode、迭代次数和设备状态,输出原始样本及分位数被测应用需满足 profileable/non-debuggable 要求
Baseline ProfileBaseline Profile 实践BaselineProfileRule 生成关键用户路径,比较无 profile、首次安装和 profile 已编译状态每个发布版本都要重新生成并验证;收益依赖代码路径和设备
Startup Profile / DEX layoutBaseline Profile 与 Startup Profile 实战检查生成文件、R8/D8 消费结果和主 dex 布局,再用启动 trace 验证类加载变化文件存在不能证明已进入最终产物
App Startup启动分析把无依赖的首帧前初始化移后,检查功能正确性与启动分布延迟初始化可能把耗时转移到首次交互
16 KB page size16 KB page size检查 APK/AAB 中 ELF LOAD segment 对齐、打包对齐和目标设备加载纯 Java/Kotlin 应用与包含预编译原生库的检查范围不同
ADPF(Android Dynamic Performance Framework)PerformanceHintManager创建 PerformanceHintSession,稳定报告工作时长和 target duration(目标时长),观察性能及能耗hint(提示)是应用与系统的协作信号,不承诺固定频率或调度结果
ProfilingManagerProfilingManager在 API 35+ 请求 system trace、heap dump、heap profile 或 stack sampling,记录回调与失败多数场景优先使用 AndroidX 高层封装;请求受限流且可能被拒绝

基准实验记录模板

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

  • 设备型号、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。

能力可用信号取证方式必须记录的限制
帧性能FrameMetrics、JankStats、业务场景与刷新率采样 trace、现场指标及条件不同刷新率的帧期限;系统负载;后台帧
ANR系统退出原因、主线程心跳、消息与 Binder 摘要系统 ANR 痕迹、受控 trace、服务端日志现场时间偏移;OEM 行为;权限与可用性
Java 内存堆指标、GC、对象或页面生命周期采样 heap dump、LeakCanary/Shark 分析dump 暂停、文件大小、隐私字段
原生内存与崩溃分配器统计、RSS、signal/tombstoneheapprofd、unwind、符号化符号版本、采样偏差、MTE 设备覆盖
方法与系统 trace自定义 TrackEvent、关键路径耗时Perfetto 或 ProfilingManager 请求trace 缓冲区、限流、拒绝、上传成本
功耗与热工作量、温度、thermal status、前后台状态BatteryStats/PowerStats 汇总、抽样 trace设备电池老化、网络、亮度和环境温度

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 默认资源或配置的机制。

方向平台与内核证据练习目标
CPU 调度sched_switchsched_wakeup、runqueue、CPU frequency、uclamp、cpuset分开 on-CPU 执行时间与 Runnable 等待,比较同工作量在不同 CPU/thermal 状态下的完成时间
Bindertransaction/reply、客户端与服务端线程状态、线程池、驱动等待找出延迟位于客户端排队、驱动传递、服务端执行还是 reply 调度
内存回收page fault、reclaim、compaction、zram、LMKD、cached-app freezer把 GC、进程回收、direct reclaim 和 swap I/O 分开
存储block I/O、fsync、页缓存(page cache)、F2FS、线程 D 状态追踪一次业务写入从系统调用到文件系统和块层的等待
图形与显示FrameTimeline、BufferQueue、fence、SurfaceFlinger、HWC/GPU区分 App deadline、合成 deadline、GPU 完成和 present
功耗与温控Power HAL mode/boost、ADPF、thermal zone、频率与工作量解释性能下降来自工作增加还是单位工作可用算力下降
厂商策略Framework/HAL 差异、内核配置、设备 overlay、性能服务将 AOSP 公共路径与设备扩展分别标注,避免用单一品牌结论覆盖 Android

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

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

十二周训练安排

周次主问题阅读与实验当周交付物
1trace 是否可信Perfetto 采集、buffer、线程状态一份采集检查表和一份正常样本
2冷启动慢在哪里Macrobenchmark + 启动 trace冷启动报告,包含 TTID/TTFD 与源码入口
3慢帧由谁错过 deadlineFrameTimeline + 主线程/RenderThread一份滑动案例和帧归因 SQL
4ANR 现场是否偏移ANR 记录 + Binder/调度 trace一份带时间轴的 ANR 复盘
5帧请求如何到达显示Choreographer、HWUI、BufferQueue、SurfaceFlinger一张渲染跨进程调用链图
6Binder 延迟在哪里Java/native Binder + ACK 驱动一张 transaction/reply 证据图
7编译状态如何影响启动Baseline Profile + CompilationMode可重复 benchmark 与原始 JSON
8DEX 与初始化怎么调整Startup Profile + App Startup构建产物检查和启动复测
9线上卡顿如何低成本发现FrameMetrics/JankStats + 采样取证最小监控 demo 和开销报告
10内存异常如何分类heap、heapprofd、smaps、GCJava 或 native 内存案例
11调度与温控如何改变完成时间sched、frequency、thermal、ADPF一个固定工作量的跨层实验
12结论能否被他人复查选择前述案例重做并补全边界一份完整案例和一次同行复核记录

每周只设一个问题。阅读、改 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 的跨层案例;
  • 一份采集开销、隐私、采样和版本归属说明。

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

一手资料