第17章 内存优化
从可控泄漏场景出发，依次使用Memory Monitor、Allocation Tracker、Heap Dump、MAT和LeakCanary形成发现到根因的证据链
第17章 内存优化
本课程对应刘望舒《Android进阶解密》，电子工业出版社2018年10月初版，468页、702千字，ISBN 9787121348389。原书以Android 8.0系统源码为主；本页不会用Android 10后的ATMS、现代ART实现、Perfetto或新隐藏API政策替换原书链路。
从可控泄漏场景出发，依次使用Memory Monitor、Allocation Tracker、Heap Dump、MAT和LeakCanary形成发现到根因的证据链。源码实验固定AOSP Android 8.0与作者出版仓库提交 3860d9e1；后续版本只作为迁移差异，不改变正式目录分母。
学习目标
- 能解释“第17章 内存优化”全部正式目录节点，并定位Android 8.0中的入口类、函数与源码路径。
- 能绘制进程、线程、Binder/JNI/加载边界和关键状态转移，区分请求发出与系统完成。
- 能设计单变量故障实验，验证“泄漏结论必须显示预期销毁对象仍被GC Root路径持有；优化后重复场景中对象可回收、堆稳态恢复且无功能回归”。
- 能写出包含版本、源码、日志/追踪、反例、停止、恢复、回退和复核人的独立交接记录。
从一条可证伪的调用链开始
先预测：把一次堆增长当泄漏或只贴LeakCanary结论会混淆缓存、抖动与真实不可达失败，也无法证明修复后的稳定状态。把预测写成入口、对象身份、进程/线程、状态和完成回调五列，再去读源码。若结果与预测不同，先修正模型，不要选择性截取调用栈。
原书面向应用开发者学习系统源码，重点不是抄完整函数，而是抓住跨层调用的关键节点。每个节点都要回答：谁发起、在哪个进程和线程执行、哪份状态被修改、后续如何被唤醒、失败如何返回、什么现象代表真正完成。
验收不变量是：泄漏结论必须显示预期销毁对象仍被GC Root路径持有；优化后重复场景中对象可回收、堆稳态恢复且无功能回归。只有源码版本、符号关系、运行轨迹与最终状态四类证据一致，结论才可以进入下一章。
核心词汇与版本门
↡内存泄漏是本页第1个源码概念，必须同时说明Android 8.0定义、调用者、进程线程、状态、失败反例与证据、↡Memory Monitor是本页第2个源码概念，必须同时说明Android 8.0定义、调用者、进程线程、状态、失败反例与证据、↡Allocation Tracker是本页第3个源码概念，必须同时说明Android 8.0定义、调用者、进程线程、状态、失败反例与证据、↡Heap Dump是本页第4个源码概念，必须同时说明Android 8.0定义、调用者、进程线程、状态、失败反例与证据、↡LeakCanary是本页第5个源码概念，必须同时说明Android 8.0定义、调用者、进程线程、状态、失败反例与证据
以上词汇都固定在Android 8.0语义。Android 7.0只在原书明确比较AMS家族时出现；Android 9以后反射/隐藏API限制、Android 10的ActivityTaskManager、现代Profiler/Perfetto等只能写进迁移备注，不能改写本页正式链路。
原书目录逐节点重构
17.1 避免可控的内存泄漏
先复现对象预期释放点，再从分配时间线和Heap Dump沿GC Root路径确认保留者，修复后重复场景验证堆稳态。 阅读时先预测正常轨迹，再只注入一个失败变量，并以“泄漏结论必须显示预期销毁对象仍被GC Root路径持有；优化后重复场景中对象可回收、堆稳态恢复且无功能回归”核验源码、日志和最终状态。
本节采用“入口 -> 关键对象 -> 状态转移 -> 跨进程/Native边界 -> 完成回调”的五列追踪法。保持Android 8.0镜像、样例和操作不变，只改变一个进程、线程、加载顺序或资源压力变量，避免把相关性误写成因果。
17.1.1 什么是内存泄漏
先复现对象预期释放点，再从分配时间线和Heap Dump沿GC Root路径确认保留者，修复后重复场景验证堆稳态。 阅读时先预测正常轨迹，再只注入一个失败变量，并以“泄漏结论必须显示预期销毁对象仍被GC Root路径持有；优化后重复场景中对象可回收、堆稳态恢复且无功能回归”核验源码、日志和最终状态。
源码核查： 记录版本、文件/符号、进程、线程、输入、状态变化、返回或回调；若只有概念图而没有一条运行证据，本节点不通过。
17.1.2 内存泄漏的场景
先复现对象预期释放点，再从分配时间线和Heap Dump沿GC Root路径确认保留者，修复后重复场景验证堆稳态。 阅读时先预测正常轨迹，再只注入一个失败变量，并以“泄漏结论必须显示预期销毁对象仍被GC Root路径持有；优化后重复场景中对象可回收、堆稳态恢复且无功能回归”核验源码、日志和最终状态。
源码核查： 记录版本、文件/符号、进程、线程、输入、状态变化、返回或回调；若只有概念图而没有一条运行证据，本节点不通过。
17.2 Memory Monitor
把“Memory Monitor”放回从可控泄漏场景出发，依次使用Memory Monitor、Allocation Tracker、Heap Dump、MAT和LeakCanary形成发现到根因的证据链的主链，明确入口、关键状态、跨进程或跨层边界与完成点。 阅读时先预测正常轨迹，再只注入一个失败变量，并以“泄漏结论必须显示预期销毁对象仍被GC Root路径持有；优化后重复场景中对象可回收、堆稳态恢复且无功能回归”核验源码、日志和最终状态。
本节采用“入口 -> 关键对象 -> 状态转移 -> 跨进程/Native边界 -> 完成回调”的五列追踪法。保持Android 8.0镜像、样例和操作不变，只改变一个进程、线程、加载顺序或资源压力变量，避免把相关性误写成因果。
17.2.1 使用Memory Monitor
把“使用Memory Monitor”放回从可控泄漏场景出发，依次使用Memory Monitor、Allocation Tracker、Heap Dump、MAT和LeakCanary形成发现到根因的证据链的主链，明确入口、关键状态、跨进程或跨层边界与完成点。 阅读时先预测正常轨迹，再只注入一个失败变量，并以“泄漏结论必须显示预期销毁对象仍被GC Root路径持有；优化后重复场景中对象可回收、堆稳态恢复且无功能回归”核验源码、日志和最终状态。
源码核查： 记录版本、文件/符号、进程、线程、输入、状态变化、返回或回调；若只有概念图而没有一条运行证据，本节点不通过。
17.2.2 大内存申请与GC
先由GC Roots构造可达集，再比较清除、复制、压缩和分代的空间、暂停与碎片代价，不能把一次堆增长直接认作泄漏。 阅读时先预测正常轨迹，再只注入一个失败变量，并以“泄漏结论必须显示预期销毁对象仍被GC Root路径持有；优化后重复场景中对象可回收、堆稳态恢复且无功能回归”核验源码、日志和最终状态。
源码核查： 记录版本、文件/符号、进程、线程、输入、状态变化、返回或回调；若只有概念图而没有一条运行证据，本节点不通过。
17.2.3 内存抖动
先复现对象预期释放点，再从分配时间线和Heap Dump沿GC Root路径确认保留者，修复后重复场景验证堆稳态。 阅读时先预测正常轨迹，再只注入一个失败变量，并以“泄漏结论必须显示预期销毁对象仍被GC Root路径持有；优化后重复场景中对象可回收、堆稳态恢复且无功能回归”核验源码、日志和最终状态。
源码核查： 记录版本、文件/符号、进程、线程、输入、状态变化、返回或回调；若只有概念图而没有一条运行证据，本节点不通过。
17.3 Allocation Tracker
先复现对象预期释放点，再从分配时间线和Heap Dump沿GC Root路径确认保留者，修复后重复场景验证堆稳态。 阅读时先预测正常轨迹，再只注入一个失败变量，并以“泄漏结论必须显示预期销毁对象仍被GC Root路径持有；优化后重复场景中对象可回收、堆稳态恢复且无功能回归”核验源码、日志和最终状态。
本节采用“入口 -> 关键对象 -> 状态转移 -> 跨进程/Native边界 -> 完成回调”的五列追踪法。保持Android 8.0镜像、样例和操作不变，只改变一个进程、线程、加载顺序或资源压力变量，避免把相关性误写成因果。
17.3.1 使用Allocation Tracker
先复现对象预期释放点，再从分配时间线和Heap Dump沿GC Root路径确认保留者，修复后重复场景验证堆稳态。 阅读时先预测正常轨迹，再只注入一个失败变量，并以“泄漏结论必须显示预期销毁对象仍被GC Root路径持有；优化后重复场景中对象可回收、堆稳态恢复且无功能回归”核验源码、日志和最终状态。
源码核查： 记录版本、文件/符号、进程、线程、输入、状态变化、返回或回调；若只有概念图而没有一条运行证据，本节点不通过。
17.3.2 alloc文件分析
把“alloc文件分析”放回从可控泄漏场景出发，依次使用Memory Monitor、Allocation Tracker、Heap Dump、MAT和LeakCanary形成发现到根因的证据链的主链，明确入口、关键状态、跨进程或跨层边界与完成点。 阅读时先预测正常轨迹，再只注入一个失败变量，并以“泄漏结论必须显示预期销毁对象仍被GC Root路径持有；优化后重复场景中对象可回收、堆稳态恢复且无功能回归”核验源码、日志和最终状态。
源码核查： 记录版本、文件/符号、进程、线程、输入、状态变化、返回或回调；若只有概念图而没有一条运行证据，本节点不通过。
17.4 Heap Dump
先复现对象预期释放点，再从分配时间线和Heap Dump沿GC Root路径确认保留者，修复后重复场景验证堆稳态。 阅读时先预测正常轨迹，再只注入一个失败变量，并以“泄漏结论必须显示预期销毁对象仍被GC Root路径持有；优化后重复场景中对象可回收、堆稳态恢复且无功能回归”核验源码、日志和最终状态。
本节采用“入口 -> 关键对象 -> 状态转移 -> 跨进程/Native边界 -> 完成回调”的五列追踪法。保持Android 8.0镜像、样例和操作不变，只改变一个进程、线程、加载顺序或资源压力变量，避免把相关性误写成因果。
17.4.1 使用Heap Dump
先复现对象预期释放点，再从分配时间线和Heap Dump沿GC Root路径确认保留者，修复后重复场景验证堆稳态。 阅读时先预测正常轨迹，再只注入一个失败变量，并以“泄漏结论必须显示预期销毁对象仍被GC Root路径持有；优化后重复场景中对象可回收、堆稳态恢复且无功能回归”核验源码、日志和最终状态。
源码核查： 记录版本、文件/符号、进程、线程、输入、状态变化、返回或回调；若只有概念图而没有一条运行证据，本节点不通过。
17.4.2 检测内存泄漏
先复现对象预期释放点，再从分配时间线和Heap Dump沿GC Root路径确认保留者，修复后重复场景验证堆稳态。 阅读时先预测正常轨迹，再只注入一个失败变量，并以“泄漏结论必须显示预期销毁对象仍被GC Root路径持有；优化后重复场景中对象可回收、堆稳态恢复且无功能回归”核验源码、日志和最终状态。
源码核查： 记录版本、文件/符号、进程、线程、输入、状态变化、返回或回调；若只有概念图而没有一条运行证据，本节点不通过。
17.5 内存分析工具MAT
先复现对象预期释放点，再从分配时间线和Heap Dump沿GC Root路径确认保留者，修复后重复场景验证堆稳态。 阅读时先预测正常轨迹，再只注入一个失败变量，并以“泄漏结论必须显示预期销毁对象仍被GC Root路径持有；优化后重复场景中对象可回收、堆稳态恢复且无功能回归”核验源码、日志和最终状态。
本节采用“入口 -> 关键对象 -> 状态转移 -> 跨进程/Native边界 -> 完成回调”的五列追踪法。保持Android 8.0镜像、样例和操作不变，只改变一个进程、线程、加载顺序或资源压力变量，避免把相关性误写成因果。
17.5.1 生成hprof文件
把“生成hprof文件”放回从可控泄漏场景出发，依次使用Memory Monitor、Allocation Tracker、Heap Dump、MAT和LeakCanary形成发现到根因的证据链的主链，明确入口、关键状态、跨进程或跨层边界与完成点。 阅读时先预测正常轨迹，再只注入一个失败变量，并以“泄漏结论必须显示预期销毁对象仍被GC Root路径持有；优化后重复场景中对象可回收、堆稳态恢复且无功能回归”核验源码、日志和最终状态。
源码核查： 记录版本、文件/符号、进程、线程、输入、状态变化、返回或回调；若只有概念图而没有一条运行证据，本节点不通过。
17.5.2 MAT分析hprof文件
先复现对象预期释放点，再从分配时间线和Heap Dump沿GC Root路径确认保留者，修复后重复场景验证堆稳态。 阅读时先预测正常轨迹，再只注入一个失败变量，并以“泄漏结论必须显示预期销毁对象仍被GC Root路径持有；优化后重复场景中对象可回收、堆稳态恢复且无功能回归”核验源码、日志和最终状态。
源码核查： 记录版本、文件/符号、进程、线程、输入、状态变化、返回或回调；若只有概念图而没有一条运行证据，本节点不通过。
17.6 LeakCanary
先复现对象预期释放点，再从分配时间线和Heap Dump沿GC Root路径确认保留者，修复后重复场景验证堆稳态。 阅读时先预测正常轨迹，再只注入一个失败变量，并以“泄漏结论必须显示预期销毁对象仍被GC Root路径持有；优化后重复场景中对象可回收、堆稳态恢复且无功能回归”核验源码、日志和最终状态。
本节采用“入口 -> 关键对象 -> 状态转移 -> 跨进程/Native边界 -> 完成回调”的五列追踪法。保持Android 8.0镜像、样例和操作不变，只改变一个进程、线程、加载顺序或资源压力变量，避免把相关性误写成因果。
17.6.1 使用LeakCanary
先复现对象预期释放点，再从分配时间线和Heap Dump沿GC Root路径确认保留者，修复后重复场景验证堆稳态。 阅读时先预测正常轨迹，再只注入一个失败变量，并以“泄漏结论必须显示预期销毁对象仍被GC Root路径持有；优化后重复场景中对象可回收、堆稳态恢复且无功能回归”核验源码、日志和最终状态。
源码核查： 记录版本、文件/符号、进程、线程、输入、状态变化、返回或回调；若只有概念图而没有一条运行证据，本节点不通过。
17.6.2 LeakCanary应用举例
先复现对象预期释放点，再从分配时间线和Heap Dump沿GC Root路径确认保留者，修复后重复场景验证堆稳态。 阅读时先预测正常轨迹，再只注入一个失败变量，并以“泄漏结论必须显示预期销毁对象仍被GC Root路径持有；优化后重复场景中对象可回收、堆稳态恢复且无功能回归”核验源码、日志和最终状态。
源码核查： 记录版本、文件/符号、进程、线程、输入、状态变化、返回或回调；若只有概念图而没有一条运行证据，本节点不通过。
17.7 本章小结
把“本章小结”放回从可控泄漏场景出发，依次使用Memory Monitor、Allocation Tracker、Heap Dump、MAT和LeakCanary形成发现到根因的证据链的主链，明确入口、关键状态、跨进程或跨层边界与完成点。 阅读时先预测正常轨迹，再只注入一个失败变量，并以“泄漏结论必须显示预期销毁对象仍被GC Root路径持有；优化后重复场景中对象可回收、堆稳态恢复且无功能回归”核验源码、日志和最终状态。
本节采用“入口 -> 关键对象 -> 状态转移 -> 跨进程/Native边界 -> 完成回调”的五列追踪法。保持Android 8.0镜像、样例和操作不变，只改变一个进程、线程、加载顺序或资源压力变量，避免把相关性误写成因果。
本页完整节点清单
本页承担20个目录或复习节点，正文、图解、实验和题目必须能反向定位每一项：
- 17.1 避免可控的内存泄漏
- 17.1.1 什么是内存泄漏
- 17.1.2 内存泄漏的场景
- 17.2 Memory Monitor
- 17.2.1 使用Memory Monitor
- 17.2.2 大内存申请与GC
- 17.2.3 内存抖动
- 17.3 Allocation Tracker
- 17.3.1 使用Allocation Tracker
- 17.3.2 alloc文件分析
- 17.4 Heap Dump
- 17.4.1 使用Heap Dump
- 17.4.2 检测内存泄漏
- 17.5 内存分析工具MAT
- 17.5.1 生成hprof文件
- 17.5.2 MAT分析hprof文件
- 17.6 LeakCanary
- 17.6.1 使用LeakCanary
- 17.6.2 LeakCanary应用举例
- 17.7 本章小结
分步追踪：源码、运行与反例
定位源码入口与责任边界
固定Android 8.0标签，从公开入口向下追踪，不跳过Binder代理、JNI注册、ClassLoader查找或system_server状态对象。
可复现实验
scenario loop -> destroy Activity -> force GC -> heap dump -> GC-root path -> fix -> repeatstatic final List<Activity> leaked = new ArrayList<>(); // controlled failing fixtureobject | expected release | actual root path | retained bytes | fix | repeat result动手试：在同一镜像、同一构建和同一输入上重复正常、冷启动/首次加载、热路径、单变量失败与恢复五轮。记录PID/TID、调用入口、对象或token、状态前后值、耗时、异常/返回码和最终可见结果；性能章再记录P50/P95/P99，内存章保留GC Root路径。
独立证据门
最小证据包包含：出版社目录、Android版本、源码文件和符号、调用/状态图、PID/TID或加载器身份、一条失败注入、日志/追踪/堆证据、最终结果、已知限制、停止、恢复、回退、责任人与复核人。
练习
练习
问题 1：为什么“第17章 内存优化”必须固定Android 8.0？
问题 2：怎样构造“把一次堆增长当泄漏或只贴LeakCanary结论会混淆缓存、抖动与真实不可达失败，也无法证明修复后的稳定状态”的最小反例？
问题 3：何时可以认为本页完成独立交接？
本章回顾
“第17章 内存优化”的核心是从可控泄漏场景出发，依次使用Memory Monitor、Allocation Tracker、Heap Dump、MAT和LeakCanary形成发现到根因的证据链。把一次堆增长当泄漏或只贴LeakCanary结论会混淆缓存、抖动与真实不可达失败，也无法证明修复后的稳定状态是必须保留的反证；源码阅读只有连接运行时的进程、线程、状态与最终结果，才从“知道类名”升级为“能诊断”。
名词解释
本章出现的专业名词，用大白话再讲一遍。
- 内存泄漏
内存泄漏服务于“从可控泄漏场景出发，依次使用Memory Monitor、Allocation Tracker、Heap Dump、MAT和LeakCanary形成发现到根因的证据链”。掌握标准是能定位Android 8.0源码、画出运行轨迹、构造单变量反例，并用“泄漏结论必须显示预期销毁对象仍被GC Root路径持有；优化后重复场景中对象可回收、堆稳态恢复且无功能回归”独立验收。
- Memory Monitor
Memory Monitor服务于“从可控泄漏场景出发，依次使用Memory Monitor、Allocation Tracker、Heap Dump、MAT和LeakCanary形成发现到根因的证据链”。掌握标准是能定位Android 8.0源码、画出运行轨迹、构造单变量反例，并用“泄漏结论必须显示预期销毁对象仍被GC Root路径持有；优化后重复场景中对象可回收、堆稳态恢复且无功能回归”独立验收。
- Allocation Tracker
Allocation Tracker服务于“从可控泄漏场景出发，依次使用Memory Monitor、Allocation Tracker、Heap Dump、MAT和LeakCanary形成发现到根因的证据链”。掌握标准是能定位Android 8.0源码、画出运行轨迹、构造单变量反例，并用“泄漏结论必须显示预期销毁对象仍被GC Root路径持有；优化后重复场景中对象可回收、堆稳态恢复且无功能回归”独立验收。
- Heap Dump
Heap Dump服务于“从可控泄漏场景出发，依次使用Memory Monitor、Allocation Tracker、Heap Dump、MAT和LeakCanary形成发现到根因的证据链”。掌握标准是能定位Android 8.0源码、画出运行轨迹、构造单变量反例，并用“泄漏结论必须显示预期销毁对象仍被GC Root路径持有；优化后重复场景中对象可回收、堆稳态恢复且无功能回归”独立验收。
- LeakCanary
LeakCanary服务于“从可控泄漏场景出发，依次使用Memory Monitor、Allocation Tracker、Heap Dump、MAT和LeakCanary形成发现到根因的证据链”。掌握标准是能定位Android 8.0源码、画出运行轨迹、构造单变量反例，并用“泄漏结论必须显示预期销毁对象仍被GC Root路径持有；优化后重复场景中对象可回收、堆稳态恢复且无功能回归”独立验收。