异常控制流.PDFVIP

8 异常控制流 2017年4月5 日 9:20 1. 从给处理器加电开始，直到断电为止，程序计数器假设一个值的序列 。其中，a 是某个相应的指令I 的地址。每次从a 到a 的过渡称为 k k k k+1 控制转移。这样的控制转移序列叫做处理器的控制流。 2. 最简单的一种控制流是一个平滑的序列，其中每个I 和I 在存储器中都是相邻 k k+1 的。平滑流的突变 （I 与I 不相邻）是由于诸如跳转、调用和返回等指令造成 k k+1 的，这些指令都是使得程序能够对由程序变量表示的内部程序状态中的变化做出 反应的必要机制。但是系统也必须能够对系统状态的变化做出反应，这些系统状 态不是被内部程序变量捕获的，而且也不一定要和程序的执行相关。 3. 现代系统通过使控制流发生突变来对这些情况做出反应。一般而言，我们把这些 突变称为异常控制流 （Exception Control Flow ，ECF ）。异常控制流发生在计算 机系统的各个层次： a. 硬件层，硬件检测到的事件会触发控制突然转移到异常处理程序； b. 操作系统层，内核通过上下文转换将控制从一个用户进程转移到另一个用户 进程； c. 应用层，一个进程可以发送信号到另一个进程，而接受者会将控制突然转移 到它的一个信号处理程序；一个程序可以通过回避通常的栈规则，并执行到 其他程序中任意位置的非本地跳转来对错误做出反应。 4. 理解ECF将帮助您： a. 理解重要的系统概念，ECF是操作系统用来实现I/O、进程和虚拟存储器的 基本机制 ； b. 理解应用程序是如何与操作系统交互的，应用程序通过使用一个叫做陷阱 （系统调用）的ECF形式，向操作系统请求服务； c. 编写有趣的新应用程序，操作系统为应用程序提供了强大的ECF机制，用来 创建新进程、等待进程终止、通知其他进程系统中的异常事件，以及检测和 响应这些事件； d. 理解并发，ECF是计算机系统中实现并发的基本机制。中断应用程序、进程 和线程 （它们的执行在时间上是重叠的）执行的异常处理程序和中断应用程 序执行的信号处理程序都是在运行中并发的例子。理解ECF是理解并发的第 一步； e. 理解软件异常如何工作，软件异常允许程序进行非本地跳转 （违反通常的调 用/返回栈规则的跳转）来相应错误。非本地跳转是一种应用层ECF ，在C中 是通过setjmp和longjmp函数提供的。 5. 异常位于硬件和操作系统交界的部分，系统调用是为应用程序提供到操作系统的 入口点的异常，进程和信号位于应用和操作系统的交界之处。 分区 《深入理解计算机系统》笔记 的第 1 页 8.1 异常 2017 4 21 14:13 年 月 日 1. 异常是异常控制流的一种形式，它一部分是由硬件实现的，一部分是由操作系统 实现的。 2. 异常就是控制流中的突变，用来响应处理器状态中的某些变化。在处理器中，状 态被编码为不同的位和信号。状态变化称为事件。在任何情况下，当处理器检测 到有事件发生时，它就会通过一张叫做异常表的跳转表，进行一个间接过程调用 （异常），到一个专门设计用来处理这类事件的操作系统子程序（异常处理程 序）。 3. 当异常处理程序完成处理后，根据异常引起的事件的类型，会发生以下情况中的 一种： a. 处理程序将控制返回当前指令； b. 处理程序将控制返回下一条指令； c. 处理程序终止被中断的程序。 4. 系统中可能的每种类型的异常都分配了一个唯