深入理解计算机系统--异常控制流
异常控制流
(ECF:Exceptional Control Flow)在计算机系统中的意义：
?
ECF 是OS用来实现 I/O(异步、同步IO)、进程(进程切换，多任务系统支持)和虚拟存储器(VSS)的基本机制。APP通过使用一种叫做陷阱(trap)或者系统调用(System call)的ECF，向OS请求服务。为APP交互提供了更多渠道：信号为编程语言提供了软件层面的异常处理机制。软件异常允许程序进行非本地跳转(违法通常的调用、返回栈规则的跳转)来响应错误情况。异常处理器在检测到事件(CPU的状态被编码为不同的位和信号)发生时，通过异常表进行一个间接过程调用，到一个专门处理这类事件的OS子系统(异常处理程序)。
类别：
?
类别原因异步/同步返回行为中断来自IO设备的信号异步总是返回到下一条指令陷阱有意的异常同步总是返回到下一条指令故障潜在可恢复的错误同步可能返回当前指令终止不可恢复的错误同步不会返回进程现代计算机通过时钟信号让CPU进行运作，通过时间片的理念将OS进行分时处理，允许OS多进程工作。
在完成这个业务的时候，OS需要进行上下文切换:状态保存、状态恢复。
?
另外在进行系统调用和陷阱处理时，OS要完成用户态和内核态的转换控制。
?
信号信号时OS和APP进行交互的更高级途径，由APP来决定对信号的处理。
非本地跳转C提供了一种形式的用户级异常控制流，称为非本地跳转，它将控制直接从一个函数转移到另一个当前正在执行的函数，而不需要经过正常的调用-返回序列。是通过setjmp和longjmp函数来提供的。
其中仍然需要考虑到状态转移的问题，setjmp函数在env缓冲区中保存了当前栈内容，longjmp通过读取env缓冲区来回复栈的内容。
http://www.cnblogs.com/mydomain/archive/2011/06/18/2084155.html
C++和Java提供的异常机制是较高层次的，是C的setjmp和longjmp函数的更加结构化的版本。
catch子句：setjmp
throw：longjmp
Linux对异常控制流的支持stracepstopkill/proc系统接口?
