1异常、中断与陷阱
闭卷重建异常、中断与陷阱的分层、状态、关系式和失败边界。
计算机系统原理 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2用户态与内核态
闭卷重建用户态与内核态的分层、状态、关系式和失败边界。
3进程上下文与切换
闭卷重建进程上下文与切换的分层、状态、关系式和失败边界。
4系统调用路径
闭卷重建系统调用路径的分层、状态、关系式和失败边界。
5信号与异步控制流
闭卷重建信号与异步控制流的分层、状态、关系式和失败边界。
6调度和时间记账入口
闭卷重建调度和时间记账入口的分层、状态、关系式和失败边界。
7异常控制流实验
闭卷重建异常控制流实验的分层、状态、关系式和失败边界。
第 1 页 · 背面（答案）
核心关系：CPL\ controls\ privilege；任务：为《用户态与内核态》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 CPL\ controls\ privilege 复算关键量；边界：不能把《用户态与内核态》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：event\to vector\to handler；任务：为《异常、中断与陷阱》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 event\to vector\to handler 复算关键量；边界：不能把《异常、中断与陷阱》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：syscall(no,args)；任务：为《系统调用路径》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 syscall(no,args) 复算关键量；边界：不能把《系统调用路径》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：context=registers+address\ space；任务：为《进程上下文与切换》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 context=registers+address\ space 复算关键量；边界：不能把《进程上下文与切换》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：CPU\ time=run+wait；任务：为《调度和时间记账入口》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 CPU\ time=run+wait 复算关键量；边界：不能把《调度和时间记账入口》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：signal\ interrupts\ flow；任务：为《信号与异步控制流》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 signal\ interrupts\ flow 复算关键量；边界：不能把《信号与异步控制流》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：save\to handle\to restore；任务：为《异常控制流实验》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 save\to handle\to restore 复算关键量；边界：不能把《异常控制流实验》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态