第17章 设备与模块
第17章 设备与模块覆盖23个正式目录层级,用对象版本合同、可执行探针与轨迹门交付设备对象图、模块/引用状态、sysfs/uevent与release轨迹
学习目标
- 把设备类型、模块构建加载、参数符号、设备模型、sysfs与事件落实为内核对象、版本身份、执行上下文、trace信号与恢复条件
- 只注入“对象仍可达时卸载模块、错误引用计数或把sysfs当任意配置接口”,定位第17章 设备与模块相对参考构建的首个分岔
- 交付设备对象图、模块/引用状态、sysfs/uevent与release轨迹,明确区分Linux 2.6.34成书轨、当前上游轨与发行版轨
为什么从这个问题开始
第17章 设备与模块围绕“模块、kobject/ktype/kset、sysfs与uevent怎样形成设备生命周期?”建立贯穿任务。先冻结构建和对象身份,再以小输入观察状态与trace,最后用单故障和同输入恢复验收;只有守住“注册、绑定、引用、用户可见属性与反向释放顺序闭合”并交付设备对象图、模块/引用状态、sysfs/uevent与release轨迹,目录术语、源码字段或一次成功启动才可能升级为机制证据。
来源合同、授权边界与三条版本轨
第17章 设备与模块以机械工业出版社典藏版完整目录核对Robert Love著、陈莉君与康华译《Linux内核设计与实现(原书第3版)》的20章404个正式层级;InformIT英文第3版页面核对2010年英文版、ISBN 9780132629560与20章结构。中文版2011年版ISBN为9787111338291。
InformIT官方70页样章开放完整英文目录、前言和局部正文,允许核对作者目标、Linux 2.6时代声明与开放章节讲法,因此本站来源访问级别是authorized-sample。样章不授权其余正文、代码、图表或练习;第17章 设备与模块是中文独立教学重构,不复制未开放内容。
第17章 设备与模块把三条轨道分开:成书轨以Linux 2.6.34附近对象和API解释原书;当前上游轨以docs.kernel.org和目标源码核对变化;发行版轨还记录补丁集、配置、工具链和支持策略。当前对象不能倒写成作者观点,同名接口也不能证明语义未变。
第17章 设备与模块涉及构建启动、模块、中断、锁、分配、映射、回写、块I/O、SysRq和故障注入。页面只给实验协议;破坏性步骤仅允许在可丢弃虚拟机或专用测试机执行,并必须具备快照、备份、串口/带外控制台、旧内核启动项、超时与停止条件。
本页独立事实来源
- 机械工业出版社典藏版完整目录:第17章 设备与模块用它核对Robert Love、中文版版次、ISBN与20章404个正式层级。
- InformIT英文第3版官方页面:第17章 设备与模块用它核对2010年英文第3版、ISBN 9780132629560、20章结构与Linux 2.6主题范围。
- InformIT官方70页授权样章:第17章 设备与模块用它局部核对完整英文目录、前言、Linux 2.6时代声明和开放正文样例;不扩大整书授权。
- Linux驱动API上游文档:第17章 设备与模块用它核对设备模型、模块、sysfs、引用与驱动生命周期。
- Linux内核Core API:第17章 设备与模块用它核对当前核心对象、容器、并发辅助与生命周期接口。
- Linux开发流程上游文档:第17章 设备与模块用它核对编码、补丁、审阅、维护者与提交当前规则。
- Linux追踪上游文档:第17章 设备与模块用它核对ftrace、tracepoint与调试捕获边界。
正式目录层级逐项解释
第17章 设备与模块
坐标 1/23:第17章 设备与模块。稳定证据键 LKD3-C17-A。 第17章 设备与模块把第17章 设备与模块映射到“设备类型、模块构建加载、参数符号、设备模型、sysfs与事件”中的对象身份、所有者、引用与执行上下文。 第17章 设备与模块必须交付设备对象图、模块/引用状态、sysfs/uevent与release轨迹中的对应记录;目录标题证明范围,授权样章只支持局部核对,上游文档支持当前接口,三者都不能替代目标构建的运行证据。
17.1 设备类型
坐标 2/23:17·1 设备类型。稳定证据键 LKD3-C17-B。 第17章 设备与模块为17·1 设备类型分别记录2.6.34对象、目标源码对象和发行版配置,形成显式迁移差分。 第17章 设备与模块必须交付设备对象图、模块/引用状态、sysfs/uevent与release轨迹中的对应记录;目录标题证明范围,授权样章只支持局部核对,上游文档支持当前接口,三者都不能替代目标构建的运行证据。
17.2 模块
坐标 3/23:17·2 模块。稳定证据键 LKD3-C17-C。 第17章 设备与模块对17·2 模块预注册输入、唯一控制和首个trace信号,不以最终日志或平均值替代状态链。 第17章 设备与模块必须交付设备对象图、模块/引用状态、sysfs/uevent与release轨迹中的对应记录;目录标题证明范围,授权样章只支持局部核对,上游文档支持当前接口,三者都不能替代目标构建的运行证据。
17.2.1 Hello,World
坐标 4/23:17·2·1 Hello,World。稳定证据键 LKD3-C17-D。 第17章 设备与模块用17·2·1 Hello,World触发一个可撤销反例,撤销后以同构建和输入重新验收“注册、绑定、引用、用户可见属性与反向释放顺序闭合”。 第17章 设备与模块必须交付设备对象图、模块/引用状态、sysfs/uevent与release轨迹中的对应记录;目录标题证明范围,授权样章只支持局部核对,上游文档支持当前接口,三者都不能替代目标构建的运行证据。
17.2.2 构建模块
坐标 5/23:17·2·2 构建模块。稳定证据键 LKD3-C17-E。 第17章 设备与模块把17·2·2 构建模块映射到“设备类型、模块构建加载、参数符号、设备模型、sysfs与事件”中的对象身份、所有者、引用与执行上下文。 第17章 设备与模块必须交付设备对象图、模块/引用状态、sysfs/uevent与release轨迹中的对应记录;目录标题证明范围,授权样章只支持局部核对,上游文档支持当前接口,三者都不能替代目标构建的运行证据。
17.2.3 安装模块
坐标 6/23:17·2·3 安装模块。稳定证据键 LKD3-C17-F。 第17章 设备与模块为17·2·3 安装模块分别记录2.6.34对象、目标源码对象和发行版配置,形成显式迁移差分。 第17章 设备与模块必须交付设备对象图、模块/引用状态、sysfs/uevent与release轨迹中的对应记录;目录标题证明范围,授权样章只支持局部核对,上游文档支持当前接口,三者都不能替代目标构建的运行证据。
17.2.4 产生模块依赖性
坐标 7/23:17·2·4 产生模块依赖性。稳定证据键 LKD3-C17-G。 第17章 设备与模块对17·2·4 产生模块依赖性预注册输入、唯一控制和首个trace信号,不以最终日志或平均值替代状态链。 第17章 设备与模块必须交付设备对象图、模块/引用状态、sysfs/uevent与release轨迹中的对应记录;目录标题证明范围,授权样章只支持局部核对,上游文档支持当前接口,三者都不能替代目标构建的运行证据。
17.2.5 载入模块
坐标 8/23:17·2·5 载入模块。稳定证据键 LKD3-C17-H。 第17章 设备与模块用17·2·5 载入模块触发一个可撤销反例,撤销后以同构建和输入重新验收“注册、绑定、引用、用户可见属性与反向释放顺序闭合”。 第17章 设备与模块必须交付设备对象图、模块/引用状态、sysfs/uevent与release轨迹中的对应记录;目录标题证明范围,授权样章只支持局部核对,上游文档支持当前接口,三者都不能替代目标构建的运行证据。
17.2.6 管理配置选项
坐标 9/23:17·2·6 管理配置选项。稳定证据键 LKD3-C17-I。 第17章 设备与模块把17·2·6 管理配置选项映射到“设备类型、模块构建加载、参数符号、设备模型、sysfs与事件”中的对象身份、所有者、引用与执行上下文。 第17章 设备与模块必须交付设备对象图、模块/引用状态、sysfs/uevent与release轨迹中的对应记录;目录标题证明范围,授权样章只支持局部核对,上游文档支持当前接口,三者都不能替代目标构建的运行证据。
17.2.7 模块参数
坐标 10/23:17·2·7 模块参数。稳定证据键 LKD3-C17-J。 第17章 设备与模块为17·2·7 模块参数分别记录2.6.34对象、目标源码对象和发行版配置,形成显式迁移差分。 第17章 设备与模块必须交付设备对象图、模块/引用状态、sysfs/uevent与release轨迹中的对应记录;目录标题证明范围,授权样章只支持局部核对,上游文档支持当前接口,三者都不能替代目标构建的运行证据。
17.2.8 导出符号表
坐标 11/23:17·2·8 导出符号表。稳定证据键 LKD3-C17-K。 第17章 设备与模块对17·2·8 导出符号表预注册输入、唯一控制和首个trace信号,不以最终日志或平均值替代状态链。 第17章 设备与模块必须交付设备对象图、模块/引用状态、sysfs/uevent与release轨迹中的对应记录;目录标题证明范围,授权样章只支持局部核对,上游文档支持当前接口,三者都不能替代目标构建的运行证据。
17.3 设备模型
坐标 12/23:17·3 设备模型。稳定证据键 LKD3-C17-L。 第17章 设备与模块用17·3 设备模型触发一个可撤销反例,撤销后以同构建和输入重新验收“注册、绑定、引用、用户可见属性与反向释放顺序闭合”。 第17章 设备与模块必须交付设备对象图、模块/引用状态、sysfs/uevent与release轨迹中的对应记录;目录标题证明范围,授权样章只支持局部核对,上游文档支持当前接口,三者都不能替代目标构建的运行证据。
17.3.1 kobject
坐标 13/23:17·3·1 kobject。稳定证据键 LKD3-C17-M。 第17章 设备与模块把17·3·1 kobject映射到“设备类型、模块构建加载、参数符号、设备模型、sysfs与事件”中的对象身份、所有者、引用与执行上下文。 第17章 设备与模块必须交付设备对象图、模块/引用状态、sysfs/uevent与release轨迹中的对应记录;目录标题证明范围,授权样章只支持局部核对,上游文档支持当前接口,三者都不能替代目标构建的运行证据。
17.3.2 ktype
坐标 14/23:17·3·2 ktype。稳定证据键 LKD3-C17-N。 第17章 设备与模块为17·3·2 ktype分别记录2.6.34对象、目标源码对象和发行版配置,形成显式迁移差分。 第17章 设备与模块必须交付设备对象图、模块/引用状态、sysfs/uevent与release轨迹中的对应记录;目录标题证明范围,授权样章只支持局部核对,上游文档支持当前接口,三者都不能替代目标构建的运行证据。
17.3.3 kset
坐标 15/23:17·3·3 kset。稳定证据键 LKD3-C17-O。 第17章 设备与模块对17·3·3 kset预注册输入、唯一控制和首个trace信号,不以最终日志或平均值替代状态链。 第17章 设备与模块必须交付设备对象图、模块/引用状态、sysfs/uevent与release轨迹中的对应记录;目录标题证明范围,授权样章只支持局部核对,上游文档支持当前接口,三者都不能替代目标构建的运行证据。
17.3.4 kobject、ktype和kset的相互关系
坐标 16/23:17·3·4 kobject、ktype和kset的相互关系。稳定证据键 LKD3-C17-P。 第17章 设备与模块用17·3·4 kobject、ktype和kset的相互关系触发一个可撤销反例,撤销后以同构建和输入重新验收“注册、绑定、引用、用户可见属性与反向释放顺序闭合”。 第17章 设备与模块必须交付设备对象图、模块/引用状态、sysfs/uevent与release轨迹中的对应记录;目录标题证明范围,授权样章只支持局部核对,上游文档支持当前接口,三者都不能替代目标构建的运行证据。
17.3.5 管理和操作kobject
坐标 17/23:17·3·5 管理和操作kobject。稳定证据键 LKD3-C17-Q。 第17章 设备与模块把17·3·5 管理和操作kobject映射到“设备类型、模块构建加载、参数符号、设备模型、sysfs与事件”中的对象身份、所有者、引用与执行上下文。 第17章 设备与模块必须交付设备对象图、模块/引用状态、sysfs/uevent与release轨迹中的对应记录;目录标题证明范围,授权样章只支持局部核对,上游文档支持当前接口,三者都不能替代目标构建的运行证据。
17.3.6 引用计数
坐标 18/23:17·3·6 引用计数。稳定证据键 LKD3-C17-R。 第17章 设备与模块为17·3·6 引用计数分别记录2.6.34对象、目标源码对象和发行版配置,形成显式迁移差分。 第17章 设备与模块必须交付设备对象图、模块/引用状态、sysfs/uevent与release轨迹中的对应记录;目录标题证明范围,授权样章只支持局部核对,上游文档支持当前接口,三者都不能替代目标构建的运行证据。
17.4 sysfs
坐标 19/23:17·4 sysfs。稳定证据键 LKD3-C17-S。 第17章 设备与模块对17·4 sysfs预注册输入、唯一控制和首个trace信号,不以最终日志或平均值替代状态链。 第17章 设备与模块必须交付设备对象图、模块/引用状态、sysfs/uevent与release轨迹中的对应记录;目录标题证明范围,授权样章只支持局部核对,上游文档支持当前接口,三者都不能替代目标构建的运行证据。
17.4.1 sysfs中添加和删除kobject
坐标 20/23:17·4·1 sysfs中添加和删除kobject。稳定证据键 LKD3-C17-T。 第17章 设备与模块用17·4·1 sysfs中添加和删除kobject触发一个可撤销反例,撤销后以同构建和输入重新验收“注册、绑定、引用、用户可见属性与反向释放顺序闭合”。 第17章 设备与模块必须交付设备对象图、模块/引用状态、sysfs/uevent与release轨迹中的对应记录;目录标题证明范围,授权样章只支持局部核对,上游文档支持当前接口,三者都不能替代目标构建的运行证据。
17.4.2 向sysfs中添加文件
坐标 21/23:17·4·2 向sysfs中添加文件。稳定证据键 LKD3-C17-U。 第17章 设备与模块把17·4·2 向sysfs中添加文件映射到“设备类型、模块构建加载、参数符号、设备模型、sysfs与事件”中的对象身份、所有者、引用与执行上下文。 第17章 设备与模块必须交付设备对象图、模块/引用状态、sysfs/uevent与release轨迹中的对应记录;目录标题证明范围,授权样章只支持局部核对,上游文档支持当前接口,三者都不能替代目标构建的运行证据。
17.4.3 内核事件层
坐标 22/23:17·4·3 内核事件层。稳定证据键 LKD3-C17-V。 第17章 设备与模块为17·4·3 内核事件层分别记录2.6.34对象、目标源码对象和发行版配置,形成显式迁移差分。 第17章 设备与模块必须交付设备对象图、模块/引用状态、sysfs/uevent与release轨迹中的对应记录;目录标题证明范围,授权样章只支持局部核对,上游文档支持当前接口,三者都不能替代目标构建的运行证据。
17.5 小结
坐标 23/23:17·5 小结。稳定证据键 LKD3-C17-W。 第17章 设备与模块对17·5 小结预注册输入、唯一控制和首个trace信号,不以最终日志或平均值替代状态链。 第17章 设备与模块必须交付设备对象图、模块/引用状态、sysfs/uevent与release轨迹中的对应记录;目录标题证明范围,授权样章只支持局部核对,上游文档支持当前接口,三者都不能替代目标构建的运行证据。
三个可操作证据视图
第17章 设备与模块先选择正式坐标、版本轨和执行上下文,再调整小输入复算对象数量或状态边界,最后逐阶段切换参考、单故障与恢复。每个视图都保留重置,不生成内核成熟度或风险综合分。
对象版本:选择坐标、源码轨与上下文
对象—版本—执行上下文合同
第17章 设备与模块
先选正式坐标,再冻结源码时代和执行上下文;接口名本身不是机制证据。
坐标 1/23
第17章 设备与模块
- 源码身份
- 原书第3版明确面向Linux 2.6系列;对象名和算法必须放回该源码快照解释。
- 迁移边界
- 出版社目录与授权样章支持版本、结构和局部正文核对,不支持复制未开放章节。
- 进程上下文
- 允许睡眠与否、抢占状态、持锁集合、地址空间和调用者身份必须逐项记录。
第17章 设备与模块的探针真正计算COW页、权重份额、用户边界字节、容器操作、事件预算、冲突关系、jiffies换算、分配order、路径分量、块载荷、VMA页数、写回排空、引用操作、二分轮次、ABI填充或补丁路由。公式公开且只用于小模型;真实时延、内存和并发结论必须来自目标源码、配置、机器与trace。
最小可重现实验协议
- 第17章 设备与模块先冻结源码提交、uname -r、.config、架构、编译器、启动参数、虚拟机/硬件、CPU拓扑、工具版本、负载、输入和预期结果。
- 第17章 设备与模块在干净快照上运行参考路径,保存设备对象图、模块/引用状态、sysfs/uevent与release轨迹;基线不稳定、对象身份不明或trace丢事件时先停止。
- 第17章 设备与模块保持其余条件不变,只注入“对象仍可达时卸载模块、错误引用计数或把sysfs当任意配置接口”,记录首个状态分岔、CPU、上下文、时间、调用链、竞争性解释和停止条件。
- 第17章 设备与模块撤销唯一控制并清理任务、模块、引用、缓存、队列与映射,以同一输入重放;无法恢复“注册、绑定、引用、用户可见属性与反向释放顺序闭合”则标记失败或未知。
小结与上架门
第17章 设备与模块把设备类型、模块构建加载、参数符号、设备模型、sysfs与事件连接成可复核链:出版社目录给404正式坐标,InformIT样章限定局部授权,2.6.34成书轨保留历史对象,当前上游与发行版轨核对目标实现,对象/上下文合同限定操作,透明探针暴露计数,单故障首错和同输入恢复决定能否上架。最终交付设备对象图、模块/引用状态、sysfs/uevent与release轨迹并同时报告未知配置与安全边界。
练习与答案
练习
问题 1:17.1 设备类型
为第17章 设备与模块的 LKD3-C17-B 设计一个2.6.34/当前对象差分、目标构建基线、单变量故障、首个trace信号和恢复断言,并说明17·1 设备类型的上下文边界。
问题 2:17.2 模块
为第17章 设备与模块的 LKD3-C17-C 设计一个2.6.34/当前对象差分、目标构建基线、单变量故障、首个trace信号和恢复断言,并说明17·2 模块的上下文边界。
问题 3:17.2.1 Hello,World
为第17章 设备与模块的 LKD3-C17-D 设计一个2.6.34/当前对象差分、目标构建基线、单变量故障、首个trace信号和恢复断言,并说明17·2·1 Hello,World的上下文边界。
问题 4:17.2.2 构建模块
为第17章 设备与模块的 LKD3-C17-E 设计一个2.6.34/当前对象差分、目标构建基线、单变量故障、首个trace信号和恢复断言,并说明17·2·2 构建模块的上下文边界。
问题 5:17.2.3 安装模块
为第17章 设备与模块的 LKD3-C17-F 设计一个2.6.34/当前对象差分、目标构建基线、单变量故障、首个trace信号和恢复断言,并说明17·2·3 安装模块的上下文边界。
问题 6:17.2.4 产生模块依赖性
为第17章 设备与模块的 LKD3-C17-G 设计一个2.6.34/当前对象差分、目标构建基线、单变量故障、首个trace信号和恢复断言,并说明17·2·4 产生模块依赖性的上下文边界。
问题 7:17.2.5 载入模块
为第17章 设备与模块的 LKD3-C17-H 设计一个2.6.34/当前对象差分、目标构建基线、单变量故障、首个trace信号和恢复断言,并说明17·2·5 载入模块的上下文边界。
问题 8:17.2.6 管理配置选项
为第17章 设备与模块的 LKD3-C17-I 设计一个2.6.34/当前对象差分、目标构建基线、单变量故障、首个trace信号和恢复断言,并说明17·2·6 管理配置选项的上下文边界。
问题 9:17.2.7 模块参数
为第17章 设备与模块的 LKD3-C17-J 设计一个2.6.34/当前对象差分、目标构建基线、单变量故障、首个trace信号和恢复断言,并说明17·2·7 模块参数的上下文边界。
问题 10:17.2.8 导出符号表
为第17章 设备与模块的 LKD3-C17-K 设计一个2.6.34/当前对象差分、目标构建基线、单变量故障、首个trace信号和恢复断言,并说明17·2·8 导出符号表的上下文边界。
问题 11:17.3 设备模型
为第17章 设备与模块的 LKD3-C17-L 设计一个2.6.34/当前对象差分、目标构建基线、单变量故障、首个trace信号和恢复断言,并说明17·3 设备模型的上下文边界。
问题 12:17.3.1 kobject
为第17章 设备与模块的 LKD3-C17-M 设计一个2.6.34/当前对象差分、目标构建基线、单变量故障、首个trace信号和恢复断言,并说明17·3·1 kobject的上下文边界。
问题 13:17.3.2 ktype
为第17章 设备与模块的 LKD3-C17-N 设计一个2.6.34/当前对象差分、目标构建基线、单变量故障、首个trace信号和恢复断言,并说明17·3·2 ktype的上下文边界。
问题 14:17.3.3 kset
为第17章 设备与模块的 LKD3-C17-O 设计一个2.6.34/当前对象差分、目标构建基线、单变量故障、首个trace信号和恢复断言,并说明17·3·3 kset的上下文边界。
问题 15:17.3.4 kobject、ktype和kset的相互关系
为第17章 设备与模块的 LKD3-C17-P 设计一个2.6.34/当前对象差分、目标构建基线、单变量故障、首个trace信号和恢复断言,并说明17·3·4 kobject、ktype和kset的相互关系的上下文边界。
问题 16:17.3.5 管理和操作kobject
为第17章 设备与模块的 LKD3-C17-Q 设计一个2.6.34/当前对象差分、目标构建基线、单变量故障、首个trace信号和恢复断言,并说明17·3·5 管理和操作kobject的上下文边界。
问题 17:17.3.6 引用计数
为第17章 设备与模块的 LKD3-C17-R 设计一个2.6.34/当前对象差分、目标构建基线、单变量故障、首个trace信号和恢复断言,并说明17·3·6 引用计数的上下文边界。
问题 18:17.4 sysfs
为第17章 设备与模块的 LKD3-C17-S 设计一个2.6.34/当前对象差分、目标构建基线、单变量故障、首个trace信号和恢复断言,并说明17·4 sysfs的上下文边界。
问题 19:17.4.1 sysfs中添加和删除kobject
为第17章 设备与模块的 LKD3-C17-T 设计一个2.6.34/当前对象差分、目标构建基线、单变量故障、首个trace信号和恢复断言,并说明17·4·1 sysfs中添加和删除kobject的上下文边界。
问题 20:17.4.2 向sysfs中添加文件
为第17章 设备与模块的 LKD3-C17-U 设计一个2.6.34/当前对象差分、目标构建基线、单变量故障、首个trace信号和恢复断言,并说明17·4·2 向sysfs中添加文件的上下文边界。
问题 21:17.4.3 内核事件层
为第17章 设备与模块的 LKD3-C17-V 设计一个2.6.34/当前对象差分、目标构建基线、单变量故障、首个trace信号和恢复断言,并说明17·4·3 内核事件层的上下文边界。
问题 22:17.5 小结
为第17章 设备与模块的 LKD3-C17-W 设计一个2.6.34/当前对象差分、目标构建基线、单变量故障、首个trace信号和恢复断言,并说明17·5 小结的上下文边界。
问题 23:为什么404个目录层级不是404段原文
第17章 设备与模块应怎样组合中文版目录、英文版页面、授权样章和上游文档?
问题 24:什么时候必须停止内核实验
第17章 设备与模块缺少哪些条件时不能继续?
六个裁决术语
第17章 设备与模块使用↡第17章 设备与模块的源码提交、配置、架构、工具链、启动参数与工件摘要、↡第17章 设备与模块对象所处的进程、原子、中断、用户边界及睡眠/抢占约束、↡第17章 设备与模块中被观察或改变的task、锁、页、VMA、inode、bio、device或work、↡第17章 设备与模块单故障轨迹相对参考构建最早出现状态或信号差异的位置、↡第17章 设备与模块把2.6.34对象映射到目标源码当前对象、接口和配置的显式记录、↡第17章 设备与模块撤销控制并用原构建与负载恢复对象、引用、队列和信号的断言构成最小证据语言;这些术语指向真实构建、对象、上下文与trace,不生成成熟度、风险或性能综合分。
名词解释
本章出现的专业名词,用大白话再讲一遍。
- 构建身份
第17章 设备与模块的源码提交、配置、架构、工具链、启动参数与工件摘要。
- 执行上下文
第17章 设备与模块对象所处的进程、原子、中断、用户边界及睡眠/抢占约束。
- 内核对象
第17章 设备与模块中被观察或改变的task、锁、页、VMA、inode、bio、device或work。
- 首个分岔
第17章 设备与模块单故障轨迹相对参考构建最早出现状态或信号差异的位置。
- 迁移差分
第17章 设备与模块把2.6.34对象映射到目标源码当前对象、接口和配置的显式记录。
- 同输入恢复
第17章 设备与模块撤销控制并用原构建与负载恢复对象、引用、队列和信号的断言。