第13章 热修复原理

比较资源、代码与so三类修复:从Instant Run资源策略,到dex类加载/底层替换/Instant Run代码方案,再到System.load与nativeLoad

第13章 热修复原理

在《第13章 热修复原理》中,本课程对应刘望舒《Android进阶解密》,电子工业出版社2018年10月初版,468页、702千字,ISBN 9787121348389。原书以Android 8.0系统源码为主;本页不会用Android 10后的ATMS、现代ART实现、Perfetto或新隐藏API政策替换原书链路。

比较资源、代码与so三类修复:从Instant Run资源策略,到dex类加载/底层替换/Instant Run代码方案,再到System.load与nativeLoad。源码实验固定AOSP Android 8.0与作者出版仓库提交 3860d9e1;后续版本只作为迁移差异,不改变正式目录分母。

学习目标

  • 能解释“第13章 热修复原理”全部正式目录节点,并定位Android 8.0中的入口类、函数与源码路径。
  • 能绘制进程、线程、Binder/JNI/加载边界和关键状态转移,区分请求发出与系统完成。
  • 能设计单变量故障实验,验证“补丁必须在错误实现首次加载前生效,资源/类/so解析命中补丁且可回滚,并验证Android 8.0兼容、签名和进程重启边界”。
  • 能写出包含版本、源码、日志/追踪、反例、停止、恢复、回退和复核人的独立交接记录。

机制总览

第13章 热修复原理:机制路径

  1. 1

    从一条可证伪的调用链开始

    先预测:只验证补丁文件下载成功会遗漏类已加载、资源缓存、ABI、so依赖和进程状态,可能得到部分用户有效、重启后失效的不可控修复。把预测写成入口、对象身份、进程/线程、状态和完成回调五列,再去读源码。若结果与预测不同,先修正模型,不要选择性截取调用栈。

  2. 2

    核心词汇与版本门

    以上词汇都固定在Android 8.0语义。在《第13章 热修复原理》中,Android 7.0只在原书明确比较AMS家族时出现;Android 9以后反射/隐藏API限制、Android 10的ActivityTaskManager、现代Profiler/Perfetto等只能写进迁移备注,不能改写本页正式链路。

  3. 3

    原书目录核对清单

    本节把「原书目录核对清单」放回《第13章 热修复原理》的输入、状态变化与输出路径中理解。

先按顺序建立机制,再进入实验切换阶段并检查失效证据。

章级决策实验

第13章 热修复原理:机制与证据

切换《第13章 热修复原理》的三个关键教学阶段,先解释机制,再用运行与失败证据验证结论。

选择推理阶段

当前阶段 · 从一条可证伪的调用链开始

先预测:只验证补丁文件下载成功会遗漏类已加载、资源缓存、ABI、so依赖和进程状态,可能得到部分用户有效、重启后失效的不可控修复。把预测写成入口、对象身份、进程/线程、状态和完成回调五列,再去读源码。若结果与预测不同,先修正模型,不要选择性截取调用栈。

可核验证据

在固定 AOSP 8.0 标签上追踪「从一条可证伪的调用链开始」的入口与状态对象,用 PID/TID、源码符号、正常/单变量失败日志和最终系统状态交叉核对。

学完《第13章 热修复原理》后,应能从输入和前置条件推导状态变化,并用可重复的构建、运行或边界测试证明结果。

失效—证据矩阵

第13章 热修复原理:失效与核验

从一条可证伪的调用链开始

典型失效

若只背诵「从一条可证伪的调用链开始」的类名而不固定 Android 8.0 源码、进程线程、对象身份和完成回调,跨 Binder、JNI 或加载边界后就会把请求误判为结果。

核验证据

在固定 AOSP 8.0 标签上追踪「从一条可证伪的调用链开始」的入口与状态对象,用 PID/TID、源码符号、正常/单变量失败日志和最终系统状态交叉核对。

核心词汇与版本门

典型失效

若只背诵「核心词汇与版本门」的类名而不固定 Android 8.0 源码、进程线程、对象身份和完成回调,跨 Binder、JNI 或加载边界后就会把请求误判为结果。

核验证据

在固定 AOSP 8.0 标签上追踪「核心词汇与版本门」的入口与状态对象,用 PID/TID、源码符号、正常/单变量失败日志和最终系统状态交叉核对。

原书目录核对清单

典型失效

若只背诵「原书目录核对清单」的类名而不固定 Android 8.0 源码、进程线程、对象身份和完成回调,跨 Binder、JNI 或加载边界后就会把请求误判为结果。

核验证据

在固定 AOSP 8.0 标签上追踪「原书目录核对清单」的入口与状态对象,用 PID/TID、源码符号、正常/单变量失败日志和最终系统状态交叉核对。

每个判断都必须能落到观测、测试或产物,不能只凭代码表面推测。

从一条可证伪的调用链开始

先预测:只验证补丁文件下载成功会遗漏类已加载、资源缓存、ABI、so依赖和进程状态,可能得到部分用户有效、重启后失效的不可控修复。把预测写成入口、对象身份、进程/线程、状态和完成回调五列,再去读源码。若结果与预测不同,先修正模型,不要选择性截取调用栈。

原书面向应用开发者学习系统源码,重点不是抄完整函数,而是抓住跨层调用的关键节点。每个节点都要回答:谁发起、在哪个进程和线程执行、哪份状态被修改、后续如何被唤醒、失败如何返回、什么现象代表真正完成。

验收不变量是:补丁必须在错误实现首次加载前生效,资源/类/so解析命中补丁且可回滚,并验证Android 8.0兼容、签名和进程重启边界。只有源码版本、符号关系、运行轨迹与最终状态四类证据一致,结论才可以进入下一章。

核心词汇与版本门

以上词汇都固定在Android 8.0语义。在《第13章 热修复原理》中,Android 7.0只在原书明确比较AMS家族时出现;Android 9以后反射/隐藏API限制、Android 10的ActivityTaskManager、现代Profiler/Perfetto等只能写进迁移备注,不能改写本页正式链路。

原书目录核对清单

本页承担13个目录或复习节点,正文、图解、实验和题目必须能反向定位每一项:

  • 13.1 热修复的产生
  • 13.2 热修复框架的种类和对比
  • 13.3 资源修复
  • 13.3.1 Instant Run概述
  • 13.3.2 Instant Run的资源修复
  • 13.4 代码修复
  • 13.4.1 类加载方案
  • 13.4.2 底层替换方案
  • 13.4.3 Instant Run方案
  • 13.5 动态链接库的修复
  • 13.5.1 System的load和loadLibarary方法
  • 13.5.2 nativeLoad方法分析
  • 13.6 本章小结

分步追踪:源码、运行与反例

分步1 / 3

定位源码入口与责任边界

固定Android 8.0标签,从公开入口向下追踪,不跳过Binder代理、JNI注册、ClassLoader查找或system_server状态对象。

可复现实验

patch.dex + original dex -> prepend patch element -> class resolution
System.load(absolutePatchSoPath); // exact path, ABI checked before load
patch id | app version | Android/ABI | process restart | rollback | checksum

动手试:在同一镜像、同一构建和同一输入上重复正常、冷启动/首次加载、热路径、单变量失败与恢复五轮。在《第13章 热修复原理》中,记录PID/TID、调用入口、对象或token、状态前后值、耗时、异常/返回码和最终可见结果;性能章再记录P50/P95/P99,内存章保留GC Root路径。

独立证据门

第13章 热修复原理 的在《第13章 热修复原理》中,最小证据包包含:出版社目录、Android版本、源码文件和符号、调用/状态图、PID/TID或加载器身份、一条失败注入、日志/追踪/堆证据、最终结果、已知限制、停止、恢复、回退、责任人与复核人。

练习

练习

问题 1:为什么“第13章 热修复原理”必须固定Android 8.0?

问题 2:怎样构造“只验证补丁文件下载成功会遗漏类已加载、资源缓存、ABI、so依赖和进程状态,可能得到部分用户有效、重启后失效的不可控修复”的最小反例?

问题 3:何时可以认为本页完成独立交接?

本章回顾

“第13章 热修复原理”的核心是比较资源、代码与so三类修复:从Instant Run资源策略,到dex类加载/底层替换/Instant Run代码方案,再到System.load与nativeLoad。只验证补丁文件下载成功会遗漏类已加载、资源缓存、ABI、so依赖和进程状态,可能得到部分用户有效、重启后失效的不可控修复是必须保留的反证;源码阅读只有连接运行时的进程、线程、状态与最终结果,才从“知道类名”升级为“能诊断”。

名词解释

本章出现的专业名词,用大白话再讲一遍。

资源修复

资源修复服务于“比较资源、代码与so三类修复:从Instant Run资源策略,到dex类加载/底层替换/Instant Run代码方案,再到System.load与nativeLoad”。掌握标准是能定位Android 8.0源码、画出运行轨迹、构造单变量反例,并用“补丁必须在错误实现首次加载前生效,资源/类/so解析命中补丁且可回滚,并验证Android 8.0兼容、签名和进程重启边界”独立验收。

类加载方案

类加载方案服务于“比较资源、代码与so三类修复:从Instant Run资源策略,到dex类加载/底层替换/Instant Run代码方案,再到System.load与nativeLoad”。掌握标准是能定位Android 8.0源码、画出运行轨迹、构造单变量反例,并用“补丁必须在错误实现首次加载前生效,资源/类/so解析命中补丁且可回滚,并验证Android 8.0兼容、签名和进程重启边界”独立验收。

底层替换

底层替换服务于“比较资源、代码与so三类修复:从Instant Run资源策略,到dex类加载/底层替换/Instant Run代码方案,再到System.load与nativeLoad”。掌握标准是能定位Android 8.0源码、画出运行轨迹、构造单变量反例,并用“补丁必须在错误实现首次加载前生效,资源/类/so解析命中补丁且可回滚,并验证Android 8.0兼容、签名和进程重启边界”独立验收。

Instant Run

Instant Run服务于“比较资源、代码与so三类修复:从Instant Run资源策略,到dex类加载/底层替换/Instant Run代码方案,再到System.load与nativeLoad”。掌握标准是能定位Android 8.0源码、画出运行轨迹、构造单变量反例,并用“补丁必须在错误实现首次加载前生效,资源/类/so解析命中补丁且可回滚,并验证Android 8.0兼容、签名和进程重启边界”独立验收。

nativeLoad

nativeLoad服务于“比较资源、代码与so三类修复:从Instant Run资源策略,到dex类加载/底层替换/Instant Run代码方案,再到System.load与nativeLoad”。掌握标准是能定位Android 8.0源码、画出运行轨迹、构造单变量反例,并用“补丁必须在错误实现首次加载前生效,资源/类/so解析命中补丁且可回滚,并验证Android 8.0兼容、签名和进程重启边界”独立验收。

← 上一页:第12章 理解ClassLoader · 下一页:第14章 Hook技术 →

原版目录概念补充核对

以下条目补齐官方目录中容易被示例主线掩盖的概念。它们不重复罗列目录,而是明确每项概念的机制、适用边界和验收证据。

13.2 热修复框架的种类和对比:机制、边界与证据

第13章 热修复原理中的13.2 热修复框架的种类和对比涉及 Java、Native、加载器身份与运行时内存边界;同名类型、引用或方法在不同加载器和线程中并不自动等价。用源码符号、类加载日志、JNI 引用计数、堆/GC 轨迹或正反加载案例验证对象身份、生命周期和释放条件。

13.3 资源修复:机制、边界与证据

第13章 热修复原理中的13.3 资源修复必须落回 Android 8.0 源码中的入口、对象、进程/线程、状态变化与完成点。固定版本和输入,先预测正常链路,再只注入一个失败条件,以源码符号、运行日志和最终系统状态三方核对。

13.3.1 Instant Run概述:机制、边界与证据

第13章 热修复原理中的13.3.1 Instant Run概述通过改变加载、查找或分发路径实现,必须区分 Android 8.0 的可行机制、隐藏实现依赖与现代平台限制。记录被替换的入口、原对象和代理对象身份、加载顺序与回滚点,再用补丁缺失、签名不符或进程重建样本确认失败不会静默污染状态。

13.3.2 Instant Run的资源修复:机制、边界与证据

第13章 热修复原理中的13.3.2 Instant Run的资源修复通过改变加载、查找或分发路径实现,必须区分 Android 8.0 的可行机制、隐藏实现依赖与现代平台限制。记录被替换的入口、原对象和代理对象身份、加载顺序与回滚点,再用补丁缺失、签名不符或进程重建样本确认失败不会静默污染状态。

13.4 代码修复:机制、边界与证据

第13章 热修复原理中的13.4 代码修复必须落回 Android 8.0 源码中的入口、对象、进程/线程、状态变化与完成点。固定版本和输入,先预测正常链路,再只注入一个失败条件,以源码符号、运行日志和最终系统状态三方核对。

13.4.1 类加载方案:机制、边界与证据

第13章 热修复原理中的13.4.1 类加载方案涉及 Java、Native、加载器身份与运行时内存边界;同名类型、引用或方法在不同加载器和线程中并不自动等价。用源码符号、类加载日志、JNI 引用计数、堆/GC 轨迹或正反加载案例验证对象身份、生命周期和释放条件。

13.4.2 底层替换方案:机制、边界与证据

第13章 热修复原理中的13.4.2 底层替换方案必须落回 Android 8.0 源码中的入口、对象、进程/线程、状态变化与完成点。固定版本和输入,先预测正常链路,再只注入一个失败条件,以源码符号、运行日志和最终系统状态三方核对。

13.4.3 Instant Run方案:机制、边界与证据

第13章 热修复原理中的13.4.3 Instant Run方案通过改变加载、查找或分发路径实现,必须区分 Android 8.0 的可行机制、隐藏实现依赖与现代平台限制。记录被替换的入口、原对象和代理对象身份、加载顺序与回滚点,再用补丁缺失、签名不符或进程重建样本确认失败不会静默污染状态。

13.5 动态链接库的修复:机制、边界与证据

第13章 热修复原理中的13.5 动态链接库的修复必须落回 Android 8.0 源码中的入口、对象、进程/线程、状态变化与完成点。固定版本和输入,先预测正常链路,再只注入一个失败条件,以源码符号、运行日志和最终系统状态三方核对。

13.5.1 System的load和loadLibarary方法:机制、边界与证据

第13章 热修复原理中的13.5.1 System的load和loadLibarary方法必须落回 Android 8.0 源码中的入口、对象、进程/线程、状态变化与完成点。固定版本和输入,先预测正常链路,再只注入一个失败条件,以源码符号、运行日志和最终系统状态三方核对。

13.5.2 nativeLoad方法分析:机制、边界与证据

第13章 热修复原理中的13.5.2 nativeLoad方法分析必须落回 Android 8.0 源码中的入口、对象、进程/线程、状态变化与完成点。固定版本和输入,先预测正常链路,再只注入一个失败条件,以源码符号、运行日志和最终系统状态三方核对。

13.6 本章小结:机制、边界与证据

第13章 热修复原理中的13.6 本章小结必须落回 Android 8.0 源码中的入口、对象、进程/线程、状态变化与完成点。固定版本和输入,先预测正常链路,再只注入一个失败条件,以源码符号、运行日志和最终系统状态三方核对。

讨论

评论区加载中…