异常、中断与精确状态

本课针对 408 全真卷中的 异常、中断与精确状态。目标是既能在两分单选中快速排除，也能在十分综合题中保留完整过程。

考纲模型

异常源于当前指令执行，同步发生；外部中断通常异步。处理前需保存返回位置和必要状态，再进入特权处理程序。

先定义变量、单位、初始状态与不变量。遇到结构题画字段，遇到时序题画时间线，遇到算法题写输入输出和终止条件。结论必须由题设推出，不能依赖背过的某一道题。

综合推演

精确异常要求异常指令之前的指令均完成，异常指令及之后的可见状态尚未提交；返回地址依据异常类型确定。

书写顺序固定为：规则或公式、参数代入、中间状态、最终结论。计算完成后做数量级与边界检查；代码实现还要验证空图、不可达、重复访问和最小规模。

高频失分点

中断响应不等于进程切换；陷入内核后可能返回原线程，也可能触发调度。

全真训练中，选择题最多用反例与量词检查；综合题即使最后数值错误，也要保留可评分的中间式、状态表和复杂度。代码题必须真运行，不接受只覆盖样例的硬编码。

课后验收

完成本课单选、多选和综合应用题。单选解释三个错误项，多选不得漏选；计算保留单位，文本按要点作答，代码必须通过四个独立测试。次日遮住答案重做，并记录耗时。