20135306黄韧 第八章学习总结

第八章异常控制流

控制流：控制转移序列。

控制转移：从一条指令到下一条指令。

异常控制流：现代操作系统通过使控制流发生突变来对系统状态做出反应，这些突变称为异常控制流。

8.1 异常

异常的剖析，如下图所示：
 
异常处理

1. 异常表：当处理器检测到有事件发生时，它会通过跳转表，进行一个间接过程调用（异常），到异常处理程序。
2. 异常号：系统中可能的某种类型的异常都分配了一个唯一的非负整数的异常号。异常号是到异常表中的索引。
3. 异常类似于过程调用，但有一些重要的不同之处：
   （1）过程调用时，在跳转到处理程序之前，处理器将返回地址压入栈中，然而，根据异常的类型，返回地址要么是当前指令（当事件发生时正在执行的指令）要么是下一条指令（如果事件不发生，将会在当前指令后执行的指令）。
   （2）处理器也把一些额外的处理器状态压到栈里，在处理程序返回时，重新开始被中断的程序会需要这些状态。比如，一个A32系统将包含当前条件码和其他内容的EHAGS寄存器压入栈中。
   （3）如果控制从一个用户程序转移到内核，那么所有这些项目都被压到内核栈中，而不是压到用户栈中。
   （4）异常处理程序运行在内核模式下（见824节）这意味着它们对所有的系统资源都有完全的访问权限

• 一旦硬件触发了异常，异常处理程序则由软件完成。

异常的类别

 

异常的类别——中断、陷阱、故障和终止

1. 中断处理：异步是指硬件中断不是由任何一条指令造成的，而是由外部I/O设备的事件造成的。
2. 陷阱和系统调用：系统调用是一些封装好的函数，内部通过指令int n实现。
   陷阱最重要的用途是提供系统调用。系统调用运行在内核模式中，并且可以访问内核中的栈。
   系统调用的参数是通过通用寄存器而不是栈来传递的，如，%eax存储系统调用号，%ebx,%ecx,%edx,%esi,%edi,%ebp最多存储六个参数，%esp不能用，因为进入内核模式后，会覆盖掉它。
3. 故障
   一个经典的的故障示例是缺页异常，当指令引用一个虚拟地址，而该虚拟地址相对应的物理页面不在存储器中，因此必须从磁盘中取出时，就会发生故障。
4. 终止
   终止是不可恢复的致命错误造成的结果，通常是一些硬件错误，比如DRAM或者SRAM位被损坏时发生的奇偶错误。终止处理程序从不将控制返回给应用程序。处理程序将控制返回给一个abort例程，该例程会终止这个应用程序。

 linux/ia32系统中的异常

1. Linux/IA32故障和终止

 

1. Linux/IA32系统调用

每个系统调用都有一个唯一的整数号，对应于一个到内核中跳转表的偏移量。

8.2 进程

1. 进程（操作系统层）：逻辑控制流，私有地址空间，多任务，并发，并行，上下文，上下文切换，调度。
2. 进程就是一个执行中的程序实例。系统中的每个程序都是运行在某个进程的上下文中的。

• 进程提供给应用程序的关键抽象：a）一个独立的逻辑控制流 ；b）一个私有的地址空间。

逻辑控制流

程序计数器（PC）值的序列叫做逻辑控制流，简称逻辑流。如下图所示，处理器的一个物理控制流分成了三个逻辑流，每个进程一个。

并发流

1. 并发流：并发流一个逻辑流的执行在时间上与另一个流重叠，叫做并行流
2. 并发：多个流并发执行的一般现象称为并发。
3. 多任务：多个进程并发叫做多任务。
4. 并行：并发流在不同的cpu或计算机上，叫做并行。

私有地址空间

一个进程为每个程序提供它自己的私有地址空间。

用户模式和内核模式

1. 运行应用程序代码的进程初始时是在用户模式中的。进程从用户模式变为内核模式的唯一方法是通过异常。
2. linux提供了/proc文件系统，它允许用户模式进程访问内核数据结构的内容。

上下文切换

1. 上下文切换：操作系统内核使用叫上下文切换的异常控制流来实现多任务。
2. 上下文切换：a）保存当前进程的上下文；b）恢复某个先前被抢占的进程被保存的上下文； c）将控制传递给这个新恢复的进程
3. 调度：内核中的调度器实现调度。
4. 当内核代表用户执行上下文切换时，可能会发生上下文切换。如果系统调用发生阻塞，那么内核可以让当前进程休眠，切换到另一个进程，如read系统调用，或者sleep会显示地请求让调用进程休眠。一般，即使系统调用没有阻塞，内核亦可以决定上下文切换，而不是将控制返回给调用进程。

• 中断也可能引起上下文切换。如，定时器中断。

8.3 系统调用错误处理

系统调用错误处理

当unix系统级函数遇到错误时，他们会典型地返回-1，并设置全局整数变量errno来表示出错。
详见对附录A的学习。

8.4进程控制

获取进程ID

 

创建和终止进程

 

Exit函数以status退出状态来终止进程。

父进程通过调用fork函数创建一个新的运行子进程。新创建的子进程几乎但不完全和父进程相同。父进程调用fork时，子进程可以读写父进程中打开的任何文件。但父进程和子进程间有不同的PID。
Fork函数详解：
被调用一次，返回两次。
并发执行。
相同的但是独立的地址空间。
共享文件。

回收子进程

当一个进程因为某些原因终止时，将被保存在一种已经终止的状态中，直到被他的父进程回收。当父进程回收已经终止的子进程时，内核将子进程的退出状态传递给父进程，然后抛弃已经终止的进程，从此进程不存在。
僵死进程：终止但未被回收的进程。
一个进程可以通过调用waitpid函数来等待他的子进程终止或者停止。

进程休眠

 

Sleep函数将一个进程挂起一段指定的时间。

Pause函数让调用函数休眠，直到该进程收到一个信号。

加载并运行程序

 

Execve函数在当前进程的上下文中加载并运行一个新程序。

8.5 信号

1. 一种更高层次的软件形式的异常，称为unix信号，它允许进程中断其他进程。
2. 低层的硬件异常是由内核异常处理程序处理的，正常情况下，对用户进程而言是不可见的。信号提供了一种机制，通知用户进程发生了这些异常。

信号术语

1. 传送一个信号到目的进程是由两个步骤组成的
   1.发送信号。内核通过更新目的进程上下文中的某个状态，发送（递送）一个信号给目的进程。
   发送信号可以有如下两种原因：
   1）内核检测到一个系统事件。
   2）一个进程调用了kill函数，显式地要求内核发送一个信号给目的进程，一个进程可以发送信号给它自己。
   2.接收信号。当目的进程被内核强迫以某种方式的发送做出反应时，目的进程就接收了信号。进程可以忽略这个信号，终止或者通过执行一个称为信号处理程序的用户层函数不活这个信号。
2. 一个只发出而没有被接收的信号叫做待处理信号。在任何时刻，一种类型至多只会有一个待处理信号。
3. 一个进程可以有选择性地阻塞接收某种信号。当一种信号被阻塞时，他仍可以被发送，但是产生的待处理信号不会被接收，直到进程取消对这种信号的阻塞。
4. 一个待处理信号最多只能被接收一次。

发送信号

1.进程组

• 进程组。每个进程都只属于一个进程组，进程组是由一个正整数进程组ID来标识的。 一个子进程和它的父进程同属于一个进程组，一个进程组可以通过使用setpgid函数来改变自己或者其他进程的进程组。
  2.用/bin/kill程序发送信号
• 用/bin/kill程序可以向另外的进程发送任意的信号。
  3.从键盘发送信号
• 从键盘发送信号外壳为每个作业创建一个独立的进程组。
  4.用kill函数发送信号
• 进程通过调用kill函数发送信号给其他进程（包括它们自己）。
  5.用alarm函数发送信号
• 进程可以通过调用alarm函数向他自己发送SIGALRM信号。

 接收信号

1. 当内核从一个异常处理程序返回，准备将控制传递给进程P时，他会检查进程P的未被阻塞的处理信号的集合。如果这个集合为空，那么内核将控制传递到P的逻辑控制流中的下一条指令；如果集合是非空的，那么内核选择集合中的某个信号K（通常是最小的K0，并且强制P接收信号K。收到这个信号会触发进程的某种行为。一旦进程完成了这个行为，那么控制就传递回P的逻辑控制流中的下一条指令。
2. 每个信号类型都有一个预定的默认行为：
   （1）进程终止
   （2）进程终止并转储存储器
   （3）进程停止直到被SIGCONT型号重启
   （4）进程忽略该信号
3. signal函数可以通过下列三种方法之一来改变和信号signum相关联的行为：
   （1）如果handler是SIG_IGN，那么忽略类型为signum的信号
   （2）如果handler是SIG_DFL，那么类型为signum的信号行为恢复为默认行为
   （3）否则，handler就是用户定义的函数的地址，这个函数成为信号处理程序，只要进程接收到一个类型为signum的信号，就会调用这个程序，通过把处理程序的地址传递到signal函数从而改变默认行为，这叫做设置信号处理程序。
4. 但一个进程不活了一个类型为K的信号时，为信号K设置的处理程序被调用，一个整数参数被设置为K。这个参数允许同一个处理函数捕获不同类型的信号。
5. 信号处理程序的执行中断main C函数的执行，类似于底层异常处理程序中断当前应用程序的控制流的方式，因为信号处理程序的逻辑控制流与主函数的逻辑控制流重叠，信号处理程序和主函数并发地运行。

信号处理问题

1. 当一个程序要捕获多个信号时，一些细微的问题就产生了。
   （1）待处理信号被阻塞。Unix信号处理程序通常会阻塞当前处理程序正在处理的类型的待处理信号。
   （2）待处理信号不会排队等待。任意类型至多只有一个待处理信号。因此，如果有两个类型为K的信号传送到一个目的进程，而由于目的进程当前正在执行信号K的处理程序，所以信号K时阻塞的，那么第二和信号就简单地被简单的丢弃，他不会排队等待。
   （3）系统调用可以被中断。像read、wait和accept这样的系统调用潜在地会阻塞进程一段较长的时间，称为慢速系统调用。在某些系统中，当处理程序捕获到一个信号时，被中断的慢速系统调用在信号处理程序返回时不再继续，而是立即返回给用户一个错误的条件，并将errno设置为EINTR。
2. 不可以用信号来对其他进程中发生的事件计较。

可移植的信号处理

Signal包装函数设置的信号处理程序的信号处理语义：
（1）只有这个处理程序当前正在处理的那种类型的信号被阻塞
（2）和所有信号实现一样，信号不会排队等候
（3）只要有可能，被中断的系统调用会自动重启。
（4）一旦设置了信号处理程序，它就会一直保持，知道signal带着handler参数为SIG_IGN或者SIG_DFL被调用。

同步流以避免讨厌的并发错误

1. 一般而言，流可能交错的数量是与指令的数量呈指数关系的。
2. 以某种方式同步并交流，从而得到最大的可行的交错的集合，每个可行的交错都能得到正确的结果。
3. 如何编写读写相同存储位置的并发流程序的问题，困扰着数代计算机科学家。比如，竞争问题。

8.6 非本地跳转

1. c语言提供了一种用户级异常控制流形式，称为本地跳转。通过setjmp和longjmp函数来提供。
2. setjmp函数只被调用一次，但返回多次：一次是当第一次调用setjmp，而调用环境保存在缓冲区env中时，一次是为每个相应的longjmp调用。另一方面，longjmp只调用一次，但从不返回。sig—函数是setjmp和longjmp函数的可以被信号处理程序使用的版本。
3. 非本地跳转的一个重要应用就是允许从一个深层嵌套的函数调用中立即返回，通常是由检测到某个错误情况引起的。
     
4. 非本地跳转的另一个重要应用是使一个信号处理程序分支到一个特殊的代码位置，而不是返回到达中断了的指令位置。
     

8.7 操作进程的工具

Linux系统提供了大量的监控和操作进程的有用工具：

• STRACE：打印一个正在运行的程序和它的子进程调用的每个系统调用的轨迹。对于好奇的的工具。用-StatiC编译你的程序，能传到一个更干净的、不带学生而言，这是一个令人着迷有大量与共享库相关的输出的轨迹。
• PS：列出当前系统中的进程（包括僵死进程）
• TOP：打印出关于当前进程资源使用的信息。
• PMAP：显示进程的存储器映射。proc:一个虚拟文件系统，以ASCII文本格式输出大量内核数数据结构的内容，用户程序可 cat 2 / proc / load avg” , 观察在Linux系统上的平均负载。

 

参考资料

1. 教材：第八章，详细学习指导：http://group.cnblogs.com/topic/73069.html
2. 课程资料：https://www.shiyanlou.com/courses/413 实验十，课程邀请码：W7FQKW4Y
3. 教材中代码运行、思考一下，读代码的学习方法：http://www.cnblogs.com/rocedu/p/4837092.html。