第十一周 第八章学习

第八章 异常控制流

控制流:控制转移序列。控制转移:从一条指令到下一条指令。异常控制流:现代操作系统通过使控制流发生突变来对系统状态做出反应,这些突变称为异常控制流。

 

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故障和终止
    • 除法错误
      一般保护故障
      缺页
      机器检查
    • 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来表示什么出错了。程序员应该总是检查错误,但是不 幸的是,许多人都忽略了错误检查,因为它使代码变得臃肿,而且难以读懂。比如,下面是我们调用Unix fork函数时会如何检查错误:

通过使用错误处理包装函数,我们可以更进一步地简化我们的代码。对于一个给定的基本函数foo,我们定义一个具有相同参数的包装函数Foo,但是第一个字母大写了。包装函数调用基本函数,检查错误,如果有任何问题就终止。比如,下面是fork函数的错误处理包装函数:

我们将在本书剩余的部分中都使用错误处理包装函数数。它们能够保持代码示例简洁,而又不会给你错误的假象,认为允许忽略错误检查。注意,当 在本书中谈到系统级函数时,我们总是用它们的小写字母的基本名字来引用它们,而不是用它们大写的包装函数名来引用!关于Unix错误处理以及本书中使用的 错误处理包装函数的讨论,请参见附录A。包装函数定义在一个叫做csapp.c的文件中,它们的原型定义在一个叫做。csapp.h的头文件中。

8.4

进程的三种状态——运行、停止和终止。
进程会因为三种原因终止进程:收到信号,该信号默认终止进程;从主程序返回;调用exit函数。

 

 

 

  1. 在一种已终止的状态中,直到被它的父进程回收。
  2. 僵死进程:一个终止了但是还未被回收的进程称为僵死进程。
  3. 回收子进程的两种方法:1,内核的init进程 2,父进程waitpid函数
    1)如果父进程没有回收它的僵死子进程就终止了,那么内核就会安排init进城来回收它们。init进程的PID1,并且是在系统初始化时创建的。
    2)一个进程可以通过调用waitpid函数来等待它的子进程终止或停止。

waitpid函数有点复杂,默认地(当options=0时),waitpid挂起调用进程的执行,知道它的等待集合中的一个子进程终止。

1.判定等待集合的成员
2.修改默认行为
3.检查已回收子进程的退出状态
4.错误条件
5.wait函数
6.使用waitpid的示例

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

  1. 如果请求的时间量已经到了,sleep返回0,否则返回还剩下的要休眠的秒数。后一种情况是可能的,如果因为sleep函数被一个信号中断而过早地返回。我们将在8.5节中详细讨论信号

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

 

  1. execve函数加载并运行可执行目标文件filename,且带参数列表argv和环境变量列表envp。只有当出现错误时,例如找不到filenameexecve才会返回到调用程序。所以,与fork一次调用返回两次不同,execve调用一次并从不返回。
  2. 参数中每个指针都指向一个参数串。按照惯例,argv0]是可执行目标文件的名字。环境变量的列表是由一个类似的数据结构表示的。envp变量指向一个以null结尾的指针数组,其中每个指针指向个环境变量串,其中每个串都是形如“NAME=VALUE”的名字一值对。
  3. Unix外壳和Web服务器这样的程序大量使用了forke×ecve函数。外壳是一个交互型的应用程序,它代表用户运行其他程序。最早的外 壳是Sh程序,后面出现了一些变种,比如cshtcshkshbash。外壳执行一系列的读/求值(readeaUte)步骤然后终止。
  4. 如果builtin_command返回0,那么外壳创建一个子进程,并在子进程中执行所请求的程序。如果用户要求在后台运行该程序,那么外壳返 回到循环的顶部,等待下一个命令行否则,外壳使用Waitpid函数等待作业终止。当作业终止时,外壳就开始下一轮迭代。注意这个简单的外壳是有缺陷的, 因为它并不回收它的后台子进程。修改这个缺陷就要求使用信号,我们将在下一节中讲述信号。
  5. 一种更高层次的软件形式的异常,称为unix信号,它允许进程中断其他进程。
  6. 低层的硬件异常是由内核异常处理程序处理的,正常情况下,对用户进程而言是不可见的。信号提供了一种机制,通知用户进程发生了这些异常。
  7. 传送一个信号到目的进程是由两个步骤组成的
    1.发送信号。内核通过更新目的进程上下文中的某个状态,发送(递送)一个信号给目的进程。
    发送信号可以有如下两种原因:
    1)内核检测到一个系统事件。
    2)一个进程调用了kill函数,显式地要求内核发送一个信号给目的进程,一个进程可以发送信号给它自己。
    2.接收信号。当目的进程被内核强迫以某种方式的发送做出反应时,目的进程就接收了信号。进程可以忽略这个信号,终止或者通过执行一个称为信号处理程序的用户层函数不活这个信号。
  8. 一个只发出而没有被接收的信号叫做待处理信号。在任何时刻,一种类型至多只会有一个待处理信号。
  9. 一个进程可以有选择性地阻塞接收某种信号。当一种信号被阻塞时,他仍可以被发送,但是产生的待处理信号不会被接收,直到进程取消对这种信号的阻塞。
  10. 一个待处理信号最多只能被接收一次。

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)如果handlerSIG_IGN,那么忽略类型为signum的信号
    2)如果handlerSIG_DFL,那么类型为signum的信号行为恢复为默认行为
    3)否则,handler就是用户定义的函数的地址,这个函数成为信号处理程序,只要进程接收到一个类型为signum的信号,就会调用这个程序,通过把处理程序的地址传递到signal函数从而改变默认行为,这叫做设置信号处理程序。
  4. 但一个进程不活了一个类型为K的信号时,为信号K设置的处理程序被调用,一个整数参数被设置为K。这个参数允许同一个处理函数捕获不同类型的信号。
  5. 信号处理程序的执行中断main C函数的执行,类似于底层异常处理程序中断当前应用程序的控制流的方式,因为信号处理程序的逻辑控制流与主函数的逻辑控制流重叠,信号处理程序和主函数并发地运行。
  6. 当一个程序要捕获多个信号时,一些细微的问题就产生了。
    1)待处理信号被阻塞。Unix信号处理程序通常会阻塞当前处理程序正在处理的类型的待处理信号。
    2)待处理信号不会排队等待。任意类型至多只有一个待处理信号。因此,如果有两个类型为K的信号传送到一个目的进程,而由于目的进程当前正在执行信号K的处理程序,所以信号K时阻塞的,那么第二和信号就简单地被简单的丢弃,他不会排队等待。
    3) 系统调用可以被中断。像readwaitaccept这样的系统调用潜在地会阻塞进程一段较长的时间,称为慢速系统调用。在某些系统中,当处理程序捕 获到一个信号时,被中断的慢速系统调用在信号处理程序返回时不再继续,而是立即返回给用户一个错误的条件,并将errno设置为EINTR
  7. 不可以用信号来对其他进程中发生的事件计较。

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

 

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

8.6

  1. c语言提供了一种用户级异常控制流形式,称为本地跳转。通过setjmplongjmp函数来提供。
  2. setjmp函数只被调用一次,但返回多次:一次是当第一次调用setjmp,而调用环境保存在缓冲区env中时,一次是为每个相应的 longjmp调用。另一方面,longjmp只调用一次,但从不返回。sig—函数是setjmplongjmp函数的可以被信号处理程序使用的版 本。

 

8.7

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

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

 

posted on 2015-11-22 21:20  黑鬼仁西  阅读(160)  评论(0编辑  收藏  举报