第6章 省电

学习目标

• 把ACPI、系统睡眠、CPU状态、PCI/USB/显示/网络/磁盘电源与PowerTOP落实为内核对象、控制写入、可观察信号与恢复条件
• 只注入“只比较瞬时功耗而忽略唤醒次数、完成时间或服务失败”，定位第6章 省电相对基线的首个分岔
• 交付电源能力表、驻留与唤醒计数、能量/任务量、延迟分布和恢复检查，明确区分2013年前后历史轨道与当前上游文档轨道

为什么从这个问题开始

第6章 省电围绕“省电设置减少的是哪种驻留或唤醒，代价是否被延迟和可用性抵消？”建立贯穿任务：固定工作负载和采样窗口，逐项改变系统睡眠、CPU、设备和存储电源状态。先预测对象和信号，再重放参考、单故障与恢复路径；只有守住“节能结论必须同时记录能量、驻留、唤醒、延迟、吞吐、设备能力和回退状态”并交付电源能力表、驻留与唤醒计数、能量/任务量、延迟分布和恢复检查，HACK名称或一次成功操作才可能升级为机制证据。

来源合同、时代边界与执行边界

第6章 省电以华章公司发布的中文版完整目录核对高桥浩和主编、杨婷译、机械工业出版社2013年2月版、424页、ISBN 9787111410492，以及8章75个HACK。本站的来源访问级别是 outline-only：目录只能限定覆盖范围，不能支持原书正文、图表、代码、练习或作者判断。

第6章 省电是中文独立教学重构，不是原书翻译、节译或替代品。页面不复制未获得授权的正文，也不从标题臆造原作者的具体操作结论；技术机制另由Linux内核上游文档和工具维护方资料交叉核对。

第6章 省电把两条时间轨道明确分开：历史轨道保留Linux 2.6.18至3.0、RHEL 4、Fedora和CentOS等成书语境；当前轨道依据最新上游文档重新确认接口、配置、默认值和弃用情况。当前结论不能倒灌成2013年原书事实。

第6章 省电涉及模块加载、资源限制、文件系统迁移、网络重配、直通设备、电源状态、SysRq、崩溃和动态探针。页面给出的是实验协议，不是生产命令清单；只有在可丢弃虚拟机或专用测试机具备快照、数据备份、串口/带外控制台、超时和停止条件时，才能执行破坏性步骤。

本页独立事实来源

• 华章中文版完整目录：第6章 省电用它只核对中文版书目信息、8章与75个HACK的正式目录边界。
• Linux 电源管理文档：第6章 省电用它核对系统睡眠、设备运行时电源与唤醒关系。

正式目录坐标逐项解释

第6章 省电

坐标 1/13：第6章 省电。稳定证据键 LKE-UNIT06-A。 第6章 省电把第6章 省电设为本章证据边界：先声明被测内核、发行版、配置和风险等级，再进入章内HACK；章名本身不算机制说明。 第6章 省电在该坐标必须留下输入身份、控制前值、单一写入、首个信号、故障传播、撤销结果与版本边界；一次命令成功、平均值改善或最终截图都不足以通过裁决。

HACK #40 ACPI

坐标 2/13：HACK #40 ACPI。稳定证据键 LKE-UNIT06-B。 第6章 省电把HACK #40 ACPI绑定设备能力、目标状态、驻留、唤醒源、能量、完成时间与恢复延迟；减少瞬时瓦数不等于减少单位任务能量。 第6章 省电在该坐标必须留下输入身份、控制前值、单一写入、首个信号、故障传播、撤销结果与版本边界；一次命令成功、平均值改善或最终截图都不足以通过裁决。

HACK #41 使用ACPI的S状态

坐标 3/13：HACK #41 使用ACPI的S状态。稳定证据键 LKE-UNIT06-C。 第6章 省电把HACK #41 使用ACPI的S状态绑定设备能力、目标状态、驻留、唤醒源、能量、完成时间与恢复延迟；减少瞬时瓦数不等于减少单位任务能量。 第6章 省电在该坐标必须留下输入身份、控制前值、单一写入、首个信号、故障传播、撤销结果与版本边界；一次命令成功、平均值改善或最终截图都不足以通过裁决。

HACK #42 使用CPU省电（C、P状态）

坐标 4/13：HACK #42 使用CPU省电（C、P状态）。稳定证据键 LKE-UNIT06-D。 第6章 省电把HACK #42 使用CPU省电（C、P状态）分开宿主、VMM、客户机、内存和设备对象，冻结镜像与负载后只改变一项加速或映射；性能提升不能自动证明隔离成立。 第6章 省电在该坐标必须留下输入身份、控制前值、单一写入、首个信号、故障传播、撤销结果与版本边界；一次命令成功、平均值改善或最终截图都不足以通过裁决。

HACK #43 PCI设备的热插拔

坐标 5/13：HACK #43 PCI设备的热插拔。稳定证据键 LKE-UNIT06-E。 第6章 省电把HACK #43 PCI设备的热插拔绑定设备能力、目标状态、驻留、唤醒源、能量、完成时间与恢复延迟；减少瞬时瓦数不等于减少单位任务能量。 第6章 省电在该坐标必须留下输入身份、控制前值、单一写入、首个信号、故障传播、撤销结果与版本边界；一次命令成功、平均值改善或最终截图都不足以通过裁决。

HACK #44 虚拟环境下的省电

坐标 6/13：HACK #44 虚拟环境下的省电。稳定证据键 LKE-UNIT06-F。 第6章 省电把HACK #44 虚拟环境下的省电分开宿主、VMM、客户机、内存和设备对象，冻结镜像与负载后只改变一项加速或映射；性能提升不能自动证明隔离成立。 第6章 省电在该坐标必须留下输入身份、控制前值、单一写入、首个信号、故障传播、撤销结果与版本边界；一次命令成功、平均值改善或最终截图都不足以通过裁决。

HACK #45 远程管理机器的电源

坐标 7/13：HACK #45 远程管理机器的电源。稳定证据键 LKE-UNIT06-G。 第6章 省电把HACK #45 远程管理机器的电源绑定设备能力、目标状态、驻留、唤醒源、能量、完成时间与恢复延迟；减少瞬时瓦数不等于减少单位任务能量。 第6章 省电在该坐标必须留下输入身份、控制前值、单一写入、首个信号、故障传播、撤销结果与版本边界；一次命令成功、平均值改善或最终截图都不足以通过裁决。

HACK #46 USB的电力管理

坐标 8/13：HACK #46 USB的电力管理。稳定证据键 LKE-UNIT06-H。 第6章 省电把HACK #46 USB的电力管理绑定设备能力、目标状态、驻留、唤醒源、能量、完成时间与恢复延迟；减少瞬时瓦数不等于减少单位任务能量。 第6章 省电在该坐标必须留下输入身份、控制前值、单一写入、首个信号、故障传播、撤销结果与版本边界；一次命令成功、平均值改善或最终截图都不足以通过裁决。

HACK #47 显示器的省电

坐标 9/13：HACK #47 显示器的省电。稳定证据键 LKE-UNIT06-I。 第6章 省电把HACK #47 显示器的省电绑定设备能力、目标状态、驻留、唤醒源、能量、完成时间与恢复延迟；减少瞬时瓦数不等于减少单位任务能量。 第6章 省电在该坐标必须留下输入身份、控制前值、单一写入、首个信号、故障传播、撤销结果与版本边界；一次命令成功、平均值改善或最终截图都不足以通过裁决。

HACK #48 通过网络设备节省电能

坐标 10/13：HACK #48 通过网络设备节省电能。稳定证据键 LKE-UNIT06-J。 第6章 省电把HACK #48 通过网络设备节省电能绑定设备能力、目标状态、驻留、唤醒源、能量、完成时间与恢复延迟；减少瞬时瓦数不等于减少单位任务能量。 第6章 省电在该坐标必须留下输入身份、控制前值、单一写入、首个信号、故障传播、撤销结果与版本边界；一次命令成功、平均值改善或最终截图都不足以通过裁决。

HACK #49 关闭键盘的LED来省电

坐标 11/13：HACK #49 关闭键盘的LED来省电。稳定证据键 LKE-UNIT06-K。 第6章 省电把HACK #49 关闭键盘的LED来省电绑定设备能力、目标状态、驻留、唤醒源、能量、完成时间与恢复延迟；减少瞬时瓦数不等于减少单位任务能量。 第6章 省电在该坐标必须留下输入身份、控制前值、单一写入、首个信号、故障传播、撤销结果与版本边界；一次命令成功、平均值改善或最终截图都不足以通过裁决。

HACK #50 PowerTOP

坐标 12/13：HACK #50 PowerTOP。稳定证据键 LKE-UNIT06-L。 第6章 省电把HACK #50 PowerTOP绑定设备能力、目标状态、驻留、唤醒源、能量、完成时间与恢复延迟；减少瞬时瓦数不等于减少单位任务能量。 第6章 省电在该坐标必须留下输入身份、控制前值、单一写入、首个信号、故障传播、撤销结果与版本边界；一次命令成功、平均值改善或最终截图都不足以通过裁决。

HACK #51 硬盘的省电

坐标 13/13：HACK #51 硬盘的省电。稳定证据键 LKE-UNIT06-M。 第6章 省电把HACK #51 硬盘的省电绑定设备能力、目标状态、驻留、唤醒源、能量、完成时间与恢复延迟；减少瞬时瓦数不等于减少单位任务能量。 第6章 省电在该坐标必须留下输入身份、控制前值、单一写入、首个信号、故障传播、撤销结果与版本边界；一次命令成功、平均值改善或最终截图都不足以通过裁决。

三个可操作证据视图

第6章 省电先预注册预测：若只注入“只比较瞬时功耗而忽略唤醒次数、完成时间或服务失败”，最先变化的内核对象或信号是什么？选择正式坐标和时间轨道，再逐步重放基线、故障、恢复，最后逐项打开安全门。

⚡分步1 / 3

1. 1
2. 2
3. 3

重置

对象合同：选择坐标、轨道与阶段

对象—控制—信号合同

第6章 省电

先锁定内核对象和版本，再解释控制写入怎样改变可观测信号。

重置本实验

正式目录坐标第6章 省电HACK #40 ACPIHACK #41 使用ACPI的S状态HACK #42 使用CPU省电（C、P状态）HACK #43 PCI设备的热插拔HACK #44 虚拟环境下的省电HACK #45 远程管理机器的电源HACK #46 USB的电力管理HACK #47 显示器的省电HACK #48 通过网络设备节省电能HACK #49 关闭键盘的LED来省电HACK #50 PowerTOPHACK #51 硬盘的省电

原书历史轨道当前内核轨道

上一阶段下一阶段

2.6.18—3.0 历史复现 · 阶段 1/4

冻结对象与版本

内核对象

第6章 省电涉及的内核、配置、设备和工作负载身份

控制写入

只读采集版本、配置、拓扑和初始状态，不改变生产对象

应见信号

第6章 省电的基线身份表与缺失能力清单

撤销与边界

此阶段无写入；发现身份不一致即停止实验

上一步播放下一步

最小可重现实验协议

1. 第6章 省电先冻结内核构建标识、发行版、配置、工具版本、硬件/虚拟设备、工作负载、输入数据、采样窗口和预期输出。
2. 第6章 省电在干净快照上运行参考路径，保存电源能力表、驻留与唤醒计数、能量/任务量、延迟分布和恢复检查；若基线不稳定，停止而不是用故障结果解释机制。
3. 第6章 省电保持其余条件不变，只注入“只比较瞬时功耗而忽略唤醒次数、完成时间或服务失败”，记录首个分岔、传播路径、竞争性解释和停止条件。
4. 第6章 省电撤销控制并以同一输入重放；恢复不了基线、存在残留对象或缺少版本身份时，结论标记失败或未知。

小结与上架门

• 将ACPI、系统睡眠与CPU电源状态转化为内核对象
• 通过瞬时功耗误比较注入定位首个分岔
• 交付电源能力表、唤醒计数、能量/任务量与延迟分布
• 区分历史轨道与当前上游文档轨道
• 仅在可丢弃环境中执行破坏性实验

练习与答案

练习

问题 1：第6章 省电

为第6章 省电的稳定证据键 LKE-UNIT06-A 设计一个基线、一个单变量故障、一个内核可观察信号和一个恢复检查，并说明第6章 省电在历史轨道与当前轨道的边界。

查看答案

先为第6章 省电冻结固定工作负载和采样窗口，逐项改变系统睡眠、CPU、设备和存储电源状态所需的版本、配置、对象、输入和停止条件；把 LKE-UNIT06-A 映射到控制前值、唯一写入和预期信号，只注入“只比较瞬时功耗而忽略唤醒次数、完成时间或服务失败”。首个分岔必须能由该变量解释，撤销或恢复快照后同一输入重新满足“节能结论必须同时记录能量、驻留、唤醒、延迟、吞吐、设备能力和回退状态”；未覆盖的内核、发行版、硬件和生产条件保留为未知。

问题 2：HACK #40 ACPI

为第6章 省电的稳定证据键 LKE-UNIT06-B 设计一个基线、一个单变量故障、一个内核可观察信号和一个恢复检查，并说明HACK #40 ACPI在历史轨道与当前轨道的边界。

查看答案

先为第6章 省电冻结固定工作负载和采样窗口，逐项改变系统睡眠、CPU、设备和存储电源状态所需的版本、配置、对象、输入和停止条件；把 LKE-UNIT06-B 映射到控制前值、唯一写入和预期信号，只注入“只比较瞬时功耗而忽略唤醒次数、完成时间或服务失败”。首个分岔必须能由该变量解释，撤销或恢复快照后同一输入重新满足“节能结论必须同时记录能量、驻留、唤醒、延迟、吞吐、设备能力和回退状态”；未覆盖的内核、发行版、硬件和生产条件保留为未知。

问题 3：HACK #41 使用ACPI的S状态

为第6章 省电的稳定证据键 LKE-UNIT06-C 设计一个基线、一个单变量故障、一个内核可观察信号和一个恢复检查，并说明HACK #41 使用ACPI的S状态在历史轨道与当前轨道的边界。

查看答案

先为第6章 省电冻结固定工作负载和采样窗口，逐项改变系统睡眠、CPU、设备和存储电源状态所需的版本、配置、对象、输入和停止条件；把 LKE-UNIT06-C 映射到控制前值、唯一写入和预期信号，只注入“只比较瞬时功耗而忽略唤醒次数、完成时间或服务失败”。首个分岔必须能由该变量解释，撤销或恢复快照后同一输入重新满足“节能结论必须同时记录能量、驻留、唤醒、延迟、吞吐、设备能力和回退状态”；未覆盖的内核、发行版、硬件和生产条件保留为未知。

问题 4：HACK #42 使用CPU省电（C、P状态）

为第6章 省电的稳定证据键 LKE-UNIT06-D 设计一个基线、一个单变量故障、一个内核可观察信号和一个恢复检查，并说明HACK #42 使用CPU省电（C、P状态）在历史轨道与当前轨道的边界。

查看答案

先为第6章 省电冻结固定工作负载和采样窗口，逐项改变系统睡眠、CPU、设备和存储电源状态所需的版本、配置、对象、输入和停止条件；把 LKE-UNIT06-D 映射到控制前值、唯一写入和预期信号，只注入“只比较瞬时功耗而忽略唤醒次数、完成时间或服务失败”。首个分岔必须能由该变量解释，撤销或恢复快照后同一输入重新满足“节能结论必须同时记录能量、驻留、唤醒、延迟、吞吐、设备能力和回退状态”；未覆盖的内核、发行版、硬件和生产条件保留为未知。

问题 5：HACK #43 PCI设备的热插拔

为第6章 省电的稳定证据键 LKE-UNIT06-E 设计一个基线、一个单变量故障、一个内核可观察信号和一个恢复检查，并说明HACK #43 PCI设备的热插拔在历史轨道与当前轨道的边界。

查看答案

先为第6章 省电冻结固定工作负载和采样窗口，逐项改变系统睡眠、CPU、设备和存储电源状态所需的版本、配置、对象、输入和停止条件；把 LKE-UNIT06-E 映射到控制前值、唯一写入和预期信号，只注入“只比较瞬时功耗而忽略唤醒次数、完成时间或服务失败”。首个分岔必须能由该变量解释，撤销或恢复快照后同一输入重新满足“节能结论必须同时记录能量、驻留、唤醒、延迟、吞吐、设备能力和回退状态”；未覆盖的内核、发行版、硬件和生产条件保留为未知。

问题 6：HACK #44 虚拟环境下的省电

为第6章 省电的稳定证据键 LKE-UNIT06-F 设计一个基线、一个单变量故障、一个内核可观察信号和一个恢复检查，并说明HACK #44 虚拟环境下的省电在历史轨道与当前轨道的边界。

查看答案

先为第6章 省电冻结固定工作负载和采样窗口，逐项改变系统睡眠、CPU、设备和存储电源状态所需的版本、配置、对象、输入和停止条件；把 LKE-UNIT06-F 映射到控制前值、唯一写入和预期信号，只注入“只比较瞬时功耗而忽略唤醒次数、完成时间或服务失败”。首个分岔必须能由该变量解释，撤销或恢复快照后同一输入重新满足“节能结论必须同时记录能量、驻留、唤醒、延迟、吞吐、设备能力和回退状态”；未覆盖的内核、发行版、硬件和生产条件保留为未知。

问题 7：HACK #45 远程管理机器的电源

为第6章 省电的稳定证据键 LKE-UNIT06-G 设计一个基线、一个单变量故障、一个内核可观察信号和一个恢复检查，并说明HACK #45 远程管理机器的电源在历史轨道与当前轨道的边界。

查看答案

先为第6章 省电冻结固定工作负载和采样窗口，逐项改变系统睡眠、CPU、设备和存储电源状态所需的版本、配置、对象、输入和停止条件；把 LKE-UNIT06-G 映射到控制前值、唯一写入和预期信号，只注入“只比较瞬时功耗而忽略唤醒次数、完成时间或服务失败”。首个分岔必须能由该变量解释，撤销或恢复快照后同一输入重新满足“节能结论必须同时记录能量、驻留、唤醒、延迟、吞吐、设备能力和回退状态”；未覆盖的内核、发行版、硬件和生产条件保留为未知。

问题 8：HACK #46 USB的电力管理

为第6章 省电的稳定证据键 LKE-UNIT06-H 设计一个基线、一个单变量故障、一个内核可观察信号和一个恢复检查，并说明HACK #46 USB的电力管理在历史轨道与当前轨道的边界。

查看答案

先为第6章 省电冻结固定工作负载和采样窗口，逐项改变系统睡眠、CPU、设备和存储电源状态所需的版本、配置、对象、输入和停止条件；把 LKE-UNIT06-H 映射到控制前值、唯一写入和预期信号，只注入“只比较瞬时功耗而忽略唤醒次数、完成时间或服务失败”。首个分岔必须能由该变量解释，撤销或恢复快照后同一输入重新满足“节能结论必须同时记录能量、驻留、唤醒、延迟、吞吐、设备能力和回退状态”；未覆盖的内核、发行版、硬件和生产条件保留为未知。

问题 9：HACK #47 显示器的省电

为第6章 省电的稳定证据键 LKE-UNIT06-I 设计一个基线、一个单变量故障、一个内核可观察信号和一个恢复检查，并说明HACK #47 显示器的省电在历史轨道与当前轨道的边界。

查看答案

先为第6章 省电冻结固定工作负载和采样窗口，逐项改变系统睡眠、CPU、设备和存储电源状态所需的版本、配置、对象、输入和停止条件；把 LKE-UNIT06-I 映射到控制前值、唯一写入和预期信号，只注入“只比较瞬时功耗而忽略唤醒次数、完成时间或服务失败”。首个分岔必须能由该变量解释，撤销或恢复快照后同一输入重新满足“节能结论必须同时记录能量、驻留、唤醒、延迟、吞吐、设备能力和回退状态”；未覆盖的内核、发行版、硬件和生产条件保留为未知。

问题 10：HACK #48 通过网络设备节省电能

为第6章 省电的稳定证据键 LKE-UNIT06-J 设计一个基线、一个单变量故障、一个内核可观察信号和一个恢复检查，并说明HACK #48 通过网络设备节省电能在历史轨道与当前轨道的边界。

查看答案

先为第6章 省电冻结固定工作负载和采样窗口，逐项改变系统睡眠、CPU、设备和存储电源状态所需的版本、配置、对象、输入和停止条件；把 LKE-UNIT06-J 映射到控制前值、唯一写入和预期信号，只注入“只比较瞬时功耗而忽略唤醒次数、完成时间或服务失败”。首个分岔必须能由该变量解释，撤销或恢复快照后同一输入重新满足“节能结论必须同时记录能量、驻留、唤醒、延迟、吞吐、设备能力和回退状态”；未覆盖的内核、发行版、硬件和生产条件保留为未知。

问题 11：HACK #49 关闭键盘的LED来省电

为第6章 省电的稳定证据键 LKE-UNIT06-K 设计一个基线、一个单变量故障、一个内核可观察信号和一个恢复检查，并说明HACK #49 关闭键盘的LED来省电在历史轨道与当前轨道的边界。

查看答案

先为第6章 省电冻结固定工作负载和采样窗口，逐项改变系统睡眠、CPU、设备和存储电源状态所需的版本、配置、对象、输入和停止条件；把 LKE-UNIT06-K 映射到控制前值、唯一写入和预期信号，只注入“只比较瞬时功耗而忽略唤醒次数、完成时间或服务失败”。首个分岔必须能由该变量解释，撤销或恢复快照后同一输入重新满足“节能结论必须同时记录能量、驻留、唤醒、延迟、吞吐、设备能力和回退状态”；未覆盖的内核、发行版、硬件和生产条件保留为未知。

问题 12：HACK #50 PowerTOP

为第6章 省电的稳定证据键 LKE-UNIT06-L 设计一个基线、一个单变量故障、一个内核可观察信号和一个恢复检查，并说明HACK #50 PowerTOP在历史轨道与当前轨道的边界。

查看答案

先为第6章 省电冻结固定工作负载和采样窗口，逐项改变系统睡眠、CPU、设备和存储电源状态所需的版本、配置、对象、输入和停止条件；把 LKE-UNIT06-L 映射到控制前值、唯一写入和预期信号，只注入“只比较瞬时功耗而忽略唤醒次数、完成时间或服务失败”。首个分岔必须能由该变量解释，撤销或恢复快照后同一输入重新满足“节能结论必须同时记录能量、驻留、唤醒、延迟、吞吐、设备能力和回退状态”；未覆盖的内核、发行版、硬件和生产条件保留为未知。

问题 13：HACK #51 硬盘的省电

为第6章 省电的稳定证据键 LKE-UNIT06-M 设计一个基线、一个单变量故障、一个内核可观察信号和一个恢复检查，并说明HACK #51 硬盘的省电在历史轨道与当前轨道的边界。

查看答案

先为第6章 省电冻结固定工作负载和采样窗口，逐项改变系统睡眠、CPU、设备和存储电源状态所需的版本、配置、对象、输入和停止条件；把 LKE-UNIT06-M 映射到控制前值、唯一写入和预期信号，只注入“只比较瞬时功耗而忽略唤醒次数、完成时间或服务失败”。首个分岔必须能由该变量解释，撤销或恢复快照后同一输入重新满足“节能结论必须同时记录能量、驻留、唤醒、延迟、吞吐、设备能力和回退状态”；未覆盖的内核、发行版、硬件和生产条件保留为未知。

问题 14：为什么要保留双时间轨道

第6章 省电为什么不能用当前cgroup v2、tracefs或电源接口静默替换原书时期对象？

查看答案

第6章 省电的历史轨道回答“当时的对象和约束是什么”，当前轨道回答“目标构建现在提供什么”；二者只能通过显式迁移差分连接。接口同名也要核对语义，接口改名也不能假定机制完全改变，更不能把当前结论冒充原作者观点。

问题 15：什么时候必须停止实验

第6章 省电在什么条件下不应继续执行内核实验？

查看答案

第6章 省电只要缺少可丢弃环境、干净快照、数据备份、串口或带外控制、明确超时、停止条件、版本身份或可靠基线中的任一项，就应停止。无法承受重启、数据损坏、网络中断或设备失联的对象不在本页实验范围内。

六个裁决术语

第6章 省电使用内核对象、控制写入、可观察信号、首个分岔、恢复检查、迁移轨道构成最小证据语言；这些术语都指向真实对象、状态或证据，不生成置信度、风险分或装饰性评分。

名词解释

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

内核对象

第6章 省电中被读取或改变的任务、层级、设备、队列、页、事件或探针。

控制写入

第6章 省电中唯一改变对象状态的参数、文件、系统调用或配置步骤。

可观察信号

第6章 省电中用于比较基线与故障的计数、日志、轨迹、延迟或转储。

首个分岔

第6章 省电的故障轨迹最早偏离参考轨迹的位置。

恢复检查

第6章 省电撤销写入或恢复快照后，以同一输入重现基线的断言。

迁移轨道

第6章 省电把原书历史对象映射到目标内核当前接口的显式差分。