卷I 第5章 深入理解常见类

卷I 第5章 深入理解常见类:用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型,以android-2.2_r1源码、全节点机制图和故障恢复证据完成验收。

学习目标

  • 能在android-2.2_r1单一历史标签内解释用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型,不跨卷拼接文件与接口身份。
  • 能操作全节点机制图,让本页 17 个坐标都具备出现、解释、实验和练习四级证据。
  • 能使用章专属诊断切片保存入口、PID/TID、对象或状态、正常结果、错误返回与资源释放。
  • 能主动制造“把sp等同标准智能指针,或把Handler误认为自动创建工作线程”,再凭强弱计数轨迹、首次引用/最后引用回调、线程状态、锁顺序、Message入队与唤醒时间定位、恢复、复位并以同输入重放。

从一个可失败的问题开始

卷I 第5章 深入理解常见类不是类名清单,而是在android-2.2_r1中回答:用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型。先预测请求经过的线程、进程与对象所有者,再运行正常样本;如果强弱计数轨迹、首次引用/最后引用回调、线程状态、锁顺序、Message入队与唤醒时间不能指出首个变化,本页结论仍不可交接。

本章不变量是在android-2.2_r1固定输入下,用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型的入口身份、状态拥有者、成功结果、错误返回和资源释放均可重复观察。将“把sp等同标准智能指针,或把Handler误认为自动创建工作线程”作为反例,必须在同一版本、同一输入下看到确定的错误或状态分叉,并能恢复到基线。

来源范围、历史标签与当前迁移

卷I 第5章 深入理解常见类以卷I出版社合法公开样章核定可见正文、目录与Android 2.2范围;样章以外不宣称复现原书正文。

AOSP版本与构建号表用于核对2.2/API 8、4.0.1/API 14、4.2.2/API 17及正式源码标签;android-2.2_r1源码树提供本页历史机制的一手坐标。当前Android架构文档只用于迁移对照,ART、Treble、稳定AIDL、模块化系统服务和现代构建工具不得倒填为三卷历史实现。

六个机制检查点

。这六项把用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型落到强弱计数轨迹、首次引用/最后引用回调、线程状态、锁顺序、Message入队与唤醒时间,防止目录词出现却没有运行解释。

先预测,再操作三个专属实验

围绕卷I 第5章 深入理解常见类,先预测哪一个对象最先改变、“把sp等同标准智能指针,或把Handler误认为自动创建工作线程”应在哪个边界暴露,以及恢复后强弱计数轨迹、首次引用/最后引用回调、线程状态、锁顺序、Message入队与唤醒时间中的哪份证据必须回到原值;然后按全节点、版本因果、故障恢复的顺序操作。

分步1 / 3

1. 全节点机制与可执行探针

从卷I 第5章 深入理解常见类的 17 个正式坐标中选择任一节点与处理阶段,比较章专属机制说明和探针;列表完整保留,不截断节点。

正式节点 → 运行机制 → 可执行探针

卷I 第5章 深入理解常见类

选择目录节点和处理阶段,检查它怎样进入“用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型”的真实因果链。

正式目录坐标

17 个节点

第5章 深入理解常见类

第5章 深入理解常见类在“用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型”中的责任要翻译成一个可推翻的运行合同:明确入口、线程或进程、状态拥有者、正常结果和首个错误返回,再由强弱计数轨迹、首次引用/最后引用回调、线程状态、锁顺序、Message入队与唤醒时间复核。

当前动作

锁定历史基线

使用强弱计数轨迹、首次引用/最后引用回调、线程状态、锁顺序、Message入队与唤醒时间检查第5章 深入理解常见类的输入、状态变化、错误出口和释放结果

历史坐标

android-2.2_r1

platform/frameworks/base @ android-2.2_r1

课程实验只说明独立重写的验证方法;历史实现必须回到android-2.2_r1platform/frameworks/base @ android-2.2_r1 核对。

正式目录逐项深读

下面保留 17 个正式目录坐标,但不重复套用实验流程。每个条目只回答它在用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型中的独立责任;共同的定位、单变量注错、恢复和重放动作统一由上方实验与下方练习验收。

第5章 深入理解常见类

第5章 深入理解常见类在“用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型”中的责任要翻译成一个可推翻的运行合同:明确入口、线程或进程、状态拥有者、正常结果和首个错误返回,再由强弱计数轨迹、首次引用/最后引用回调、线程状态、锁顺序、Message入队与唤醒时间复核。

5.1 概述

5.1 概述在“用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型”中的责任是界定分析分母和结论边界。先列出它包含的入口、对象和退出条件,再用强弱计数轨迹、首次引用/最后引用回调、线程状态、锁顺序、Message入队与唤醒时间排除只凭类名或流程图得出的结论。

5.2 以“三板斧”揭秘RefBase、sp和wp

5.2 以“三板斧”揭秘RefBase、sp和wp在“用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型”中的责任要翻译成一个可推翻的运行合同:明确入口、线程或进程、状态拥有者、正常结果和首个错误返回,再由强弱计数轨迹、首次引用/最后引用回调、线程状态、锁顺序、Message入队与唤醒时间复核。

5.2.1 第一板斧——初识影子对象

5.2.1 第一板斧——初识影子对象在“用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型”中的责任是界定分析分母和结论边界。先列出它包含的入口、对象和退出条件,再用强弱计数轨迹、首次引用/最后引用回调、线程状态、锁顺序、Message入队与唤醒时间排除只凭类名或流程图得出的结论。

5.2.2 第二板斧——由弱生强

5.2.2 第二板斧——由弱生强在“用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型”中的责任要翻译成一个可推翻的运行合同:明确入口、线程或进程、状态拥有者、正常结果和首个错误返回,再由强弱计数轨迹、首次引用/最后引用回调、线程状态、锁顺序、Message入队与唤醒时间复核。

5.2.3 第三板斧——破解生死魔咒

5.2.3 第三板斧——破解生死魔咒在“用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型”中的责任要翻译成一个可推翻的运行合同:明确入口、线程或进程、状态拥有者、正常结果和首个错误返回,再由强弱计数轨迹、首次引用/最后引用回调、线程状态、锁顺序、Message入队与唤醒时间复核。

5.2.4 轻量级的引用计数控制类LightRefBase

5.2.4 轻量级的引用计数控制类LightRefBase在“用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型”中的责任要翻译成一个可推翻的运行合同:明确入口、线程或进程、状态拥有者、正常结果和首个错误返回,再由强弱计数轨迹、首次引用/最后引用回调、线程状态、锁顺序、Message入队与唤醒时间复核。

5.2.5 题外话——三板斧的来历

5.2.5 题外话——三板斧的来历在“用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型”中的责任要翻译成一个可推翻的运行合同:明确入口、线程或进程、状态拥有者、正常结果和首个错误返回,再由强弱计数轨迹、首次引用/最后引用回调、线程状态、锁顺序、Message入队与唤醒时间复核。

5.3 Thread类及常用同步类分析

5.3 Thread类及常用同步类分析在“用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型”中的责任由队列头时间、消费线程和唤醒源共同决定。固定消息与时钟后延迟一次消费,比较入队、唤醒、执行和释放四个时间点,不能把容器结构当调度语义。

5.3.1 一个变量引发的思考

5.3.1 一个变量引发的思考在“用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型”中的责任要翻译成一个可推翻的运行合同:明确入口、线程或进程、状态拥有者、正常结果和首个错误返回,再由强弱计数轨迹、首次引用/最后引用回调、线程状态、锁顺序、Message入队与唤醒时间复核。

5.3.2 常用同步类

5.3.2 常用同步类在“用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型”中的责任要翻译成一个可推翻的运行合同:明确入口、线程或进程、状态拥有者、正常结果和首个错误返回,再由强弱计数轨迹、首次引用/最后引用回调、线程状态、锁顺序、Message入队与唤醒时间复核。

5.4 Looper和Handler类分析

5.4 Looper和Handler类分析在“用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型”中的责任由队列头时间、消费线程和唤醒源共同决定。固定消息与时钟后延迟一次消费,比较入队、唤醒、执行和释放四个时间点,不能把容器结构当调度语义。

5.4.1 Looper类分析

5.4.1 Looper类分析在“用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型”中的责任由队列头时间、消费线程和唤醒源共同决定。固定消息与时钟后延迟一次消费,比较入队、唤醒、执行和释放四个时间点,不能把容器结构当调度语义。

5.4.2 Handler分析

5.4.2 Handler分析在“用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型”中的责任由队列头时间、消费线程和唤醒源共同决定。固定消息与时钟后延迟一次消费,比较入队、唤醒、执行和释放四个时间点,不能把容器结构当调度语义。

5.4.3 Looper和Handler的同步关系

5.4.3 Looper和Handler的同步关系在“用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型”中的责任由队列头时间、消费线程和唤醒源共同决定。固定消息与时钟后延迟一次消费,比较入队、唤醒、执行和释放四个时间点,不能把容器结构当调度语义。

5.4.4 HandlerThread介绍

5.4.4 HandlerThread介绍在“用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型”中的责任由队列头时间、消费线程和唤醒源共同决定。固定消息与时钟后延迟一次消费,比较入队、唤醒、执行和释放四个时间点,不能把容器结构当调度语义。

5.5 本章小结

5.5 本章小结在“用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型”中的责任是界定分析分母和结论边界。先列出它包含的入口、对象和退出条件,再用强弱计数轨迹、首次引用/最后引用回调、线程状态、锁顺序、Message入队与唤醒时间排除只凭类名或流程图得出的结论。

章专属复现实验

mkdir -p aosp-android-2.2_r1
cd aosp-android-2.2_r1
repo init -u https://android.googlesource.com/platform/manifest -b android-2.2_r1
repo sync -c
 
# 只在可恢复的同版本模拟器或测试机采集
adb shell ps
adb logcat -d -v threadtime

复现卷I 第5章 深入理解常见类前先保存主机工具链、manifest与产品目标;android-2.2_r1历史分支通常需要隔离的旧工具链环境。与用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型有关的诊断命令只在可恢复模拟器或测试机执行,账号、媒体与设备标识使用隔离样本;现代设备输出不得冒充android-2.2_r1结果。

练习、答案与四级证据

练习

问题 1:历史边界。 怎样证明本页没有把当前Android实现倒灌到 android-2.2_r1?

问题 2:逐节点证据。 本页 17 个正式坐标如何通过出现、解释、实验与练习四级验收?

问题 3:故障恢复。 面对把sp等同标准智能指针,或把Handler误认为自动创建工作线程,如何确认修复而不是掩盖症状?

术语复核与本章回顾

名词解释

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

版本基线

版本基线在本页用于锁定android-2.2_r1的事实坐标与允许输入。

正常轨迹

正常轨迹在本页用于标出用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型由谁创建、修改与释放状态。

首错断点

首错断点在本页用于保存能复现正常路径的对象身份和时序。

对象所有权

对象所有权在本页用于暴露把sp等同标准智能指针,或把Handler误认为自动创建工作线程发生的第一个边界。

恢复条件

恢复条件在本页用于声明故障后重新接收请求所需的恢复条件。

回归证据

回归证据在本页用于让独立读者凭强弱计数轨迹、首次引用/最后引用回调、线程状态、锁顺序、Message入队与唤醒时间得到同一结论。

完成卷I 第5章 深入理解常见类意味着:能解释用RefBase、sp/wp、Thread、同步类、Looper和Handler建立对象与任务寿命模型,能操作全节点图与诊断切片,能制造把sp等同标准智能指针,或把Handler误认为自动创建工作线程,还能凭强弱计数轨迹、首次引用/最后引用回调、线程状态、锁顺序、Message入队与唤醒时间恢复、复位和交接,而不是只在目录中找到关键词。

阅读导航

← 上一页:卷I 第4章 深入理解zygote · 下一页:卷I 第6章 深入理解Binder →

讨论

评论区加载中…