第8章笔记：异常、进程与内核边界

本章要解决的问题

沿程序真实运行路径学习异常、进程与内核边界，始终区分抽象接口、实现状态和可观测证据。 本章七课是一条连续推理链，不是七个标题。先确定上一课输出怎样成为下一课输入，再记录对象、事件、状态和证据。

七课连接

• 异常、中断与陷阱：关系 event\to vector\to handler；练习为为《异常、中断与陷阱》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 event\to vector\to handler 复算关键量；边界为不能把《异常、中断与陷阱》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态；连接说明：承接前一课的状态或契约；本节结果会进入《用户态与内核态》。
• 用户态与内核态：关系 CPL\ controls\ privilege；练习为为《用户态与内核态》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 CPL\ controls\ privilege 复算关键量；边界为不能把《用户态与内核态》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态；连接说明：承接前一课的状态或契约；本节结果会进入《进程上下文与切换》。
• 进程上下文与切换：关系 context=registers+address\ space；练习为为《进程上下文与切换》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 context=registers+address\ space 复算关键量；边界为不能把《进程上下文与切换》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态；连接说明：承接前一课的状态或契约；本节结果会进入《系统调用路径》。
• 系统调用路径：关系 syscall(no,args)；练习为为《系统调用路径》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 syscall(no,args) 复算关键量；边界为不能把《系统调用路径》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态；连接说明：承接前一课的状态或契约；本节结果会进入《信号与异步控制流》。
• 信号与异步控制流：关系 signal\ interrupts\ flow；练习为为《信号与异步控制流》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 signal\ interrupts\ flow 复算关键量；边界为不能把《信号与异步控制流》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态；连接说明：承接前一课的状态或契约；本节结果会进入《调度和时间记账入口》。
• 调度和时间记账入口：关系 CPU\ time=run+wait；练习为为《调度和时间记账入口》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 CPU\ time=run+wait 复算关键量；边界为不能把《调度和时间记账入口》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态；连接说明：承接前一课的状态或契约；本节结果会进入《异常控制流实验》。
• 异常控制流实验：关系 save\to handle\to restore；练习为为《异常控制流实验》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 save\to handle\to restore 复算关键量；边界为不能把《异常控制流实验》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态；连接说明：承接前一课的状态或契约；本节结果会进入《设备寄存器与驱动》。

章内学习法

先闭卷画一条最短执行轨迹，再为每个箭头标主体和所属层；随后逐式复算，运行本章代码实验四组测试，并增加一个越界、权限、冲突、乱序或故障输入。只要实际值与模型不同，就保存首个偏差，不用后续噪声替代根因。

错题与复习

把错误归入分层混淆、位宽/单位、状态跳步、事件顺序、权限遗漏、并发交错、故障恢复或观察窗八类。一周后更换参数重做阶段卷；能向同学从现象讲到机制、公式、实验和边界，才算学会。