第8章 异常控制流 8.1-8.4.3节.pptxVIP

主

要

内

容;控制转移P501;控制流(ControlFlow)P501;最简单控制流是一个“平滑的”序列，其中每个Ik和Ik+1在内存中都是相邻的

改变控制流的两种机制:

跳转和分支(Jumpsandbranches)

调用和返回(Callandreturn)

能够对(由程序变量表示的)程序状态的变化做出反应;系统应对系统状态的变化做出反应

磁盘或网络适配器的数据到达

除零错误

用户的键盘输入(Ctrl-C)

子进程终止时，父进程必须得到通知

系统定时器超时

上述系统变化不能用程序变量表示

现代计算机系统通过使控制流发生突变来对这些情况做出反应，把这些突变称为异常控制流（ExceptionalControlFlow，ECF）;ECF可以发生在计算机系统的所有层次

硬件层--低层机制

1.异常(Exceptions)

硬件检测到的事件会触发控制转移到异常处理程序

操作系统和硬件共同实现

操作系统层--高层机制

2.进程切换(Processcontextswitch)

操作系统和硬件定时器实现

应用层

3.信号(Signals)

操作系统协助实现

4.非本地跳转(Nonlocaljumps):setjmp()andlongjmp()

C运行库实现;理解ECF的意义：P501;理解ECF的意义：P5