第5章 多线程和同步

在《第5章 多线程和同步》中，本页依据Hervé Guihot《Pro Android Apps Performance Optimization》独立重构，不复制原文。在《第5章 多线程和同步》中，原版锁定Apress 2012年1月版、282页、ISBN 9781430239994；中文版锁定人民邮电出版社2012年10月第1版、白龙译、226页、ISBN 9787115272416。

版本语境是Dalvik、Eclipse/ADT、Android 3.x至4.0、早期NDK与ARM/NEON，包含AsyncTask、TraceView、DDMS、layoutopt和RenderScript。课程先解释历史机制，再以ART、Benchmark、Perfetto、现代NDK与替代计算API建立迁移账本；不会把新工具倒填成原书目录。

学习目标

• 能解释“第5章 多线程和同步”全部15个正式节点的输入、正确性、执行边界、资源成本与2012年版本限制。
• 能实现“比较Thread、AsyncTask、Handler/Looper、并发容器与多核算法，并把结果交付绑定到Activity生命周期”的最小可重复实验，并保存源码、构建、设备、样本和原始测量。
• 能比较基线、优化、错误输入、设备差异和生命周期故障，分析“把后台线程等同于并行加速，或让AsyncTask、Handler和工作线程越过Activity销毁继续持有与回调UI”。
• 能设计反例并凭线程时序、消息队列、锁竞争、多核加速比、状态保存、取消与迟到结果测试完成独立复现与交接。

机制总览

第5章 多线程和同步：机制路径

1. 1

   从正确性与测量协议开始

   内存优化依赖 内存局部性 ，不只是“少用内存”。电池优化依赖 能耗预算 ，减少一段CPU时间却增加网络唤醒并不一定更省电。

   →
2. 2

   本章回顾

   本页从“第5章 多线程和同步”覆盖到“5.8 总结”，共15个正式节点。掌握标准是能沿“比较Thread、AsyncTask、Handler/Looper、并发容器与多核算法，并把结果交付绑定到Activity生命周期”解释执行与资源因果链，运行等价、边界和故障实验，并让另一位开发者凭线程时序、消息…

   →
3. 3

   原版目录概念补充核对

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

章级决策实验

第5章 多线程和同步：机制与证据

切换《第5章 多线程和同步》的三个关键教学阶段，先解释机制，再用运行与失败证据验证结论。

重置实验

选择推理阶段

1从正确性与测量协议开始2本章回顾3原版目录概念补充核对

当前阶段 · 从正确性与测量协议开始

内存优化依赖 内存局部性 ，不只是“少用内存”。电池优化依赖 能耗预算 ，减少一段CPU时间却增加网络唤醒并不一定更省电。

可核验证据

固定设备、版本、构建、输入与热状态，对「从正确性与测量协议开始」做预热和交错重复采样，同时保存正确性、P50/P95/P99 与分配、线程、能耗或帧证据。

检查这一阶段怎样失效

学完《第5章 多线程和同步》后，应能从输入和前置条件推导状态变化，并用可重复的构建、运行或边界测试证明结果。

失效—证据矩阵

第5章 多线程和同步：失效与核验

从正确性与测量协议开始

典型失效

若优化「从正确性与测量协议开始」时没有等价性断言、固定测量协议和资源边界，一次更快数字可能来自错误结果、热状态、缓存或插桩偏差。

核验证据

固定设备、版本、构建、输入与热状态，对「从正确性与测量协议开始」做预热和交错重复采样，同时保存正确性、P50/P95/P99 与分配、线程、能耗或帧证据。

本章回顾

典型失效

若优化「本章回顾」时没有等价性断言、固定测量协议和资源边界，一次更快数字可能来自错误结果、热状态、缓存或插桩偏差。

核验证据

固定设备、版本、构建、输入与热状态，对「本章回顾」做预热和交错重复采样，同时保存正确性、P50/P95/P99 与分配、线程、能耗或帧证据。

原版目录概念补充核对

典型失效

若优化「原版目录概念补充核对」时没有等价性断言、固定测量协议和资源边界，一次更快数字可能来自错误结果、热状态、缓存或插桩偏差。

核验证据

固定设备、版本、构建、输入与热状态，对「原版目录概念补充核对」做预热和交错重复采样，同时保存正确性、P50/P95/P99 与分配、线程、能耗或帧证据。

从正确性与测量协议开始

性能基线先于技巧。优化不能改变业务结果、线程安全、精度、生命周期或错误语义。每个实验先写输出断言和允许误差，再决定测量墙钟时间、CPU时间、分配、GC、唤醒、网络或帧；只取最快一次会系统性夸大收益。

测量协议要控制构建类型、Android版本、ABI、CPU调频、温度、电量和后台负载。原生边界有固定成本，只有热点工作量足够大时，原生计算收益才可能覆盖跨界开销。

内存优化依赖内存局部性，不只是“少用内存”。电池优化依赖能耗预算，减少一段CPU时间却增加网络唤醒并不一定更省电。

本单元主线是比较Thread、AsyncTask、Handler/Looper、并发容器与多核算法，并把结果交付绑定到Activity生命周期。在《第5章 多线程和同步》中，交互管线连接Java、JNI/NDK、内存线程、设备图形与用户结果；实验面板切换基线、优化、错误结果、热状态和生命周期；证据门要求正确性、时间、资源、设备和版本全部可重放。

本章回顾

本页从“第5章 多线程和同步”覆盖到“5.8 总结”，共15个正式节点。掌握标准是能沿“比较Thread、AsyncTask、Handler/Looper、并发容器与多核算法，并把结果交付绑定到Activity生命周期”解释执行与资源因果链，运行等价、边界和故障实验，并让另一位开发者凭线程时序、消息队列、锁竞争、多核加速比、状态保存、取消与迟到结果测试重放结论。

练习

问题 1：“第5章 多线程和同步”覆盖哪些正式节点与性能主线？

查看答案

覆盖15个节点，从“第5章 多线程和同步”到“5.8 总结”；主线是比较Thread、AsyncTask、Handler/Looper、并发容器与多核算法，并把结果交付绑定到Activity生命周期。

问题 2：怎样建立本章最小可重复实验？

查看答案

固定输入、正确输出、Release构建、设备、Android版本、ABI、电源和热状态，预热并重复交错采样，保存线程时序、消息队列、锁竞争、多核加速比、状态保存、取消与迟到结果测试。

问题 3：本章最需要推翻的错误假设是什么？

查看答案

错误假设是“把后台线程等同于并行加速，或让AsyncTask、Handler和工作线程越过Activity销毁继续持有与回调UI”。只改变算法、边界、线程、设备能力、生命周期或测量方式之一，结果或资源偏离即推翻。

问题 4：为什么一次更快数字不能证明优化？

查看答案

它没有证明结果等价、预热、样本分布、设备状态、跟踪开销、尾延迟与资源释放；必须保存原始样本和失败断言。

问题 5：怎样迁移到现代Android而不改写原书？

查看答案

在《第5章 多线程和同步》中，先保存2012年Dalvik、NDK、TraceView、AsyncTask和RenderScript机制，再一次只改变运行时、工具或API之一并比较行为。

问题 6：达到独立交接标准需要什么？

查看答案

需要源码与输入、正确性断言、构建与设备指纹、预热采样协议、时间/内存/线程/能耗/图形证据、失败测试及线程时序、消息队列、锁竞争、多核加速比、状态保存、取消与迟到结果测试。

名词解释

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

性能基线

在相同输入、环境与可观察结果下代表优化前行为和资源成本的参照实现。

测量协议

规定设备状态、输入规模、预热、采样、统计和失败判据的可复现实验合同。

原生边界

Java经JNI进入C/C++并承担数据转换、引用、异常、线程附着与ABI兼容的接口。

内存局部性

让连续计算访问相邻数据并减少缓存未命中和不必要对象分配的布局性质。

能耗预算

一次功能允许消耗的CPU、无线电、定位、传感器、图形与唤醒总成本。

← 上一页：第4章 高效使用内存 · 下一页：第6章 性能评测和剖析 →

原版目录概念补充核对

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

5.1 线程：机制、边界与证据

第5章 多线程和同步中的5.1 线程受调度、共享状态、取消和 Android 生命周期共同约束；平均更快可能掩盖竞争或迟到回调。用可控任务和重复压力样本记录线程、队列、锁等待、取消和 owner 状态，并验证异常、旋转/销毁及恢复路径。

5.2 AsyncTask：机制、边界与证据

第5章 多线程和同步中的5.2 AsyncTask受调度、共享状态、取消和 Android 生命周期共同约束；平均更快可能掩盖竞争或迟到回调。用可控任务和重复压力样本记录线程、队列、锁等待、取消和 owner 状态，并验证异常、旋转/销毁及恢复路径。

5.3 Handler和Looper：机制、边界与证据

第5章 多线程和同步中的5.3 Handler和Looper受调度、共享状态、取消和 Android 生命周期共同约束；平均更快可能掩盖竞争或迟到回调。用可控任务和重复压力样本记录线程、队列、锁等待、取消和 owner 状态，并验证异常、旋转/销毁及恢复路径。

5.3.1 Handler：机制、边界与证据

第5章 多线程和同步中的5.3.1 Handler受调度、共享状态、取消和 Android 生命周期共同约束；平均更快可能掩盖竞争或迟到回调。用可控任务和重复压力样本记录线程、队列、锁等待、取消和 owner 状态，并验证异常、旋转/销毁及恢复路径。

5.3.2 Looper：机制、边界与证据

第5章 多线程和同步中的5.3.2 Looper受调度、共享状态、取消和 Android 生命周期共同约束；平均更快可能掩盖竞争或迟到回调。用可控任务和重复压力样本记录线程、队列、锁等待、取消和 owner 状态，并验证异常、旋转/销毁及恢复路径。

5.4 数据类型：机制、边界与证据

第5章 多线程和同步中的5.4 数据类型必须在 2012 年 Android 工具链和设备语境中解释，再单列现代迁移。先写结果等价与资源预算，固定环境后只改变一个实现条件，用原始时间、分配、线程、能耗或帧证据验证。

5.5 并发：机制、边界与证据

第5章 多线程和同步中的5.5 并发受调度、共享状态、取消和 Android 生命周期共同约束；平均更快可能掩盖竞争或迟到回调。用可控任务和重复压力样本记录线程、队列、锁等待、取消和 owner 状态，并验证异常、旋转/销毁及恢复路径。

5.6 多核：机制、边界与证据

第5章 多线程和同步中的5.6 多核受调度、共享状态、取消和 Android 生命周期共同约束；平均更快可能掩盖竞争或迟到回调。用可控任务和重复压力样本记录线程、队列、锁等待、取消和 owner 状态，并验证异常、旋转/销毁及恢复路径。

5.6.1 为多核修改算法：机制、边界与证据

第5章 多线程和同步中的5.6.1 为多核修改算法先保证优化前后结果、异常与线程语义等价，再讨论时间或分配。固定输入规模、构建和设备状态，完成预热与交错采样，并用边界输入、缓存失效或查询计划证明收益不是偶然数据或错误结果造成的。

5.6.2 使用并发缓存：机制、边界与证据

第5章 多线程和同步中的5.6.2 使用并发缓存先保证优化前后结果、异常与线程语义等价，再讨论时间或分配。固定输入规模、构建和设备状态，完成预热与交错采样，并用边界输入、缓存失效或查询计划证明收益不是偶然数据或错误结果造成的。

5.7 Activity生命周期：机制、边界与证据

第5章 多线程和同步中的5.7 Activity生命周期受调度、共享状态、取消和 Android 生命周期共同约束；平均更快可能掩盖竞争或迟到回调。用可控任务和重复压力样本记录线程、队列、锁等待、取消和 owner 状态，并验证异常、旋转/销毁及恢复路径。

5.7.1 传递信息：机制、边界与证据

第5章 多线程和同步中的5.7.1 传递信息必须在 2012 年 Android 工具链和设备语境中解释，再单列现代迁移。先写结果等价与资源预算，固定环境后只改变一个实现条件，用原始时间、分配、线程、能耗或帧证据验证。

5.7.2 记住状态：机制、边界与证据

第5章 多线程和同步中的5.7.2 记住状态必须在 2012 年 Android 工具链和设备语境中解释，再单列现代迁移。先写结果等价与资源预算，固定环境后只改变一个实现条件，用原始时间、分配、线程、能耗或帧证据验证。