第十一周学习总结

信息安全系统设计基础第十一周学习总结

【学习时间:8h】 
【学习内容:《深入理解计算机系统》第八章 】

一、知识梳理

8.1节(主要涉及异常的入门级介绍)

1.异常控制流(ECF)

  • 概念:最简单的“平滑序列”类型的控制流是指PC中相邻的指令在存储器中也相邻。而异常控制流则是指程序变量表示的内部程序状态中的变化、系统状态的变化等突发情况使得控制系统做出的反映。
  • 作用:
    1. 应用程序如何与操作系统实现交互。应用程序使用系统调用(system call)的ECF形式向操作系统请求服务;
    2. 实现并发的基本机制;
    3. 提供软件异常机制
    4. 等等

2.异常

  • 原因:处理器中的变化(事件)触发从应用程序到异常处理程序的突发的控制转移,也就是异常。比如:被零除,缺页,存储器访问违例,断点,算术溢出;系统调用,来着外部I/O设备的信号等等。
  • 过程:在任何情况下,当处理器检测到有事件发生时,它就会通过一张叫做异常表的跳转表进行一个间接过程调用,到一个专门处理这类时间的操作系统子程序(异常处理程序);当 exception handler处理结束之后,会有三种结果 :
    1. 处理程序将控制返回给事件发生的时候正在执行的指令;
    2. 处理程序将控制返回给如果没有发生异常将会执行的下一条指令;
    3. 处理程序终止被终端的程序

3.异常&过程调用

  • 过程调用的时候,在跳转到处理程序之前,处理器将返回地址压入栈中。然而根据异常的类型,要么返回当前指令,要么返回下一条指令;
  • 异常虽然类似于过程调用,但在压入栈的数据方面有不同。它会把一些额外的处理器状态压入栈中;并且如果是转移到内核的程序,压入的是内核栈中;
  • 异常处理程序运行在内核模式下,意味着它们对所有的系统资源都有完全的访问权限

4.关于异常表

【注:异常表,其条目k中包含着异常k的处理程序的地址。其中,异常表的起始地址放在异常表基址寄存器中,而异常号是异常表中的索引,相当于偏移地址】

5.中断(异常类型1)

  • 原因:由I/O设备的信号引起的结果
  • 类型:异步(不是由任何一条指令造成的)
  • 处理:
    1. i/o设备,例如定时器芯片、网络控制器等,通过处理器芯片上的一个引脚发信号,并将异常号(标识引起中断的设备)放在系统总线上;
    2. 在当前指令完成之后,处理器注意到引脚电压变化,从系统总线中读取异常信号,调用中断处理程序;
    3. 处理中断;
    4. 处理器返回(无中断的时候)应该执行的下一条指令。

6.陷阱(异常类型2)

  • 原因:有意的异常,是执行指令的结果
  • 类型:属于同步
  • 处理:
    1. 用户程序需要或者希望向内核请求服务(比如创建或者终止进程、读文件等)的时候,执行 syscall n(n是想要请求的服务号)指令;
    2. 把控制权交给处理程序;
    3. 陷阱处理程序运行;
    4. 处理程序结束之后,返回到下一条指令。

7.故障(异常类型3)

  • 原因:由潜在的可恢复的错误的情况引起
  • 类型:属于同步的;可能能够被修复然后返回当前指令。
  • 过程:
    1. 当前指令导致故障;
    2. 控制转移给处理程序;
    3. 故障处理程序运行,如果可以修正这个错误,就将控制引起故障的指令从而重新执行它;否则,返回内核中的abort例程,abort终止引起故障的程序。

8.终止(异常类型 4)

  • 原因:由不可恢复的致命错误造成;通常是一些硬件错误
  • 类型:同步
  • 过程:
    1. 发生致命硬件错误;
    2. 传递控制给处理程序;
    3. 处理程序将控制返回给abort例程,该例程终止此应用程序

9.linuxIA32系统中的异常

  • 故障和终止
    1. 除法错误:当应用试图除以0的时候,或者当一个除法指令的结果对于目标操作数来说太大了,就会发生;unix选择终止该程序(一般报告为浮点异常)
    2. 一般故障保护:通常是因为一个程序引用了一个未定义的虚拟存储区域,或者因为程序试图写一个只读的文本段;linux不会试图恢复该类故障(一般报告为段故障)
    3. 缺页:处理程序将磁盘上虚拟存储器相应的页面映射到物理存储器的一个页面,然后重新开始执行这条故障的指令
    4. 机器检查:异常号18,是在导致故障的指令执行中检查到硬件错误的时候发生的;不返还控制给应用程序
  • 系统调用 linux提供上百种系统调用,每种都有对应的整数号(即内核跳转表中的偏移量);在IA32系统上,系统调用通过一条int n指令提供

    • 举例说明 
      【以hello程序为例】

      int main()
      {
          write(1,"hello world\n",13);//用系统调用来写write函数
          exir(0);
      }
      

      write函数第一个参数是将输出发送到stdout,第二个是要写的字节序,第三个是字节序列长度(算上,和换行符是12个;然而字符串结尾的时候还会有结束符\0)。

      【针对write函数的系统调用】

      movl $4,%eax//write函数的编号
      movl $1,%ebx//以下是设置参数
      movl $string,%ecx
      movl $len,%edx
      int $0x80//使用int来执行系统调用(系统调用的异常号是128)
      

10.进程

  • 定义:一个执行中的程序的实例。系统中的每个程序都运行在某个进程的上下文中。上下文是由程序正确运行所需要的状态组成的。这个状态包括放在存储器中的程序的代码和数据等
  • 进程提供给了应用程序几个关键抽象:
    • 一个独立的逻辑控制流——提供好像程序独占处理器的假象;
    • 一个私有的地址空间——提供好像程序独占存储系统的假象;

11.逻辑控制流

进程计数器(PC)中的每一个值都唯一地对应于包含在程序的可执行目标文件中的指令,或者是包含在运行时动态链接的到程序的共享对象中的指令。这个PC值的序列叫做逻辑控制流。

补充:进程是轮流使用处理器的;每个进程执行它的流的一部分然后被挂起,其他进程执行。 
对于一个运行在其中一个进程上下文中的程序而言,它看上去就像是唯一地占用了处理器(只不过如果精确测量的话,会发现对于一个进程来说,它在执行期间好像被停顿了若干个很短的时间)。

12.并发流

  • 引入:计算机系统中有很多逻辑流的不同形式,比如异常处理程序、进程、信号处理程序等;
  • 概念:一个逻辑流的执行在时间上与另一个流重叠,称为并发流;多个流并发执行的现象称为并发;一个进程和其他进程轮流运行,称为多任务;又叫做时间分片。
  • 对比:如果两个流并发地运行在不同的处理器核或者计算机上,那么我们称它们为并行流。

13.私有地址空间

  • 在一台有n位地址的机器上,地址空间是一个2^n个可能地址的集合。
  • 一个进程为每个程序提供它自己的私有地址空间;一般而言,和这个空间中某个地址相关联的那个存储器字节是不能够被其他进程读或者写的(所以说它是私有的)
  • 存储器内容通用结构:
    • 地址空间底部留给用户程序,包括通常的文本、数据等;
    • 地址空间顶部保留给内核(包括内核在代表进程执行指令的时候使用的代码、数据和栈)

14.进程控制

  • 获取ID
    • 每个进程都有一个唯一的进程ID(PID);
    • 获取:getpid函数获取进程的PID;getppid获取创建调用进程的进程(即它的父进程)的PID。以上两个函数的返回值为pid_t,在linux系统中,它在types.h中被定义为int
  • 创建和终止进程

    • 父进程通过调用fork函数来创建一个新的运行子进程

      #include <sys/types.h>
      #include <unistd.h>
      pid_t fork(void);//子进程返回0;父进程返回子进程的PID;如果出错,则为-1
      
    • 特点:
    • 新创建的子进程拥有和父进程相同的,但是独立的用户级虚拟地址空间拷贝,包括文本、数据和bss段、堆和用户栈等;
    • 子进程和父进程拥有独立的地址空间,所以二者对某一相同变量值的修改是互相不受影响的。
  • 终止进程
    • 运行:进程要么在CPU上运行,要么在等待被执行且最终被内核调度;
    • 停止:进程的执行被挂起,且不会被调度。【当进程收到SIGSTOP,SIGTSTP,SIDTTIN,SIGTTOU信号的时候,进程就会停止,并且保持停止直到它收到一个SIGCONT信号,在此时再次运行】
    • 终止:进程永远地停止。三种原因:1)收到一个信号,其默认为终止程序;2)从主程序返回;3)调用exit函数(exit(int stauts),其中status是退出状态)
  • 回收子进程
    • 含义:当一个进程由于某种原因终止的时候,内核并不是把它从系统中清除,而是保持在已经终止的状态中,直到被它的父进程回收。这时,内核将子进程的退出状态传递给父进程,然后抛弃已经终止的进程。这之后,该进程才可以说是“不存在”了。
    • 补充:已经终止但是尚未被回收的进程叫做僵死进程。

15.等待回收子进程

  • 引入:一个进程可以通过调用waitpid函数来等待它的子进程终止或者停止

    #include<sys/types.h>
    #incldue<sys/wait.h>
    pid_t waitpid(pid_t pid,int *status,int options);//如果成功,返回子进程的PID,如果为WNOHANG,则为0,其他错误则为-1
    
  • 说明:默认地,即当options=0的时候,waitpid挂起调用进程的执行,直到它的等待集合中的一个子进程终止。如果等待集合中的一个进程在刚调用的时候就已经终止了,那么waitpid就立即返回。以上两种情况都会使得waitpid函数返回已经终止的子进程的PID,并且去除该进程。

  • 解释
    • 判断等待集合的成员 
      如果pid>0,那么等待的集合就是一个单独的子进程,它的进程ID等于pid; 如果pid<-1,那么等待集合就是由父进程的所有子进程组成的
    • 修改默认行为 
      可以通过将options设置为常量WNOHANG和WUNTRACED的各种组合,修改默认行为: 
      WNOHANG:如果等待集合中的任何子进程都还没有都还没有终止,那么就立即返回0; WUNTRACED:挂起调用进程的执行,直到等待集合中的一个变成已经终止的或者被停止,然后返回导致返回的子进程的PID; 
      WNOHANG|WUNTRACED:立即返回。
    • 检查已回收子进程的退出状态 
      非空的status参数会被放上status参数的关于返回的子进程的状态信息(wait.h定义了status参数的几个宏) 
      WIFEXITED:如果子进程通过调用exit函数或者一个返回即return政策终止,就返回真;
      WEXITSTATUS:返回一个正常终止的子进程的退出状态(在WIFEXITED返回为真的时候才定义这个状态) 
      WIFSINGALED:如果子进程是因为一个未被捕获的信号终止的,那么就返回真; 
      WTERMSIG:返回导致子进程终止的信号的编号。只有在WIFSINGALED为真的时候,才定义这个状态。
    • 错误条件 如果调用进程没有子进程,那么waitpid函数返回-1,并且设置errno为ECHLD; 
      如果waitpid函数被一个信号中断,那么它返回-1,并设置errno为EINTR
  • 应用举例

    #include "csapp.h"
    #define N 2
    int main()
    {
        int status,i;
        pid_t pid;
        for(i =0;i<N;i++)
            if((pid = fork())==0)
                exit(100+i);
        while((pid = waitpid(-1,&status,0))>0)
        {
            if(WIFEXITED(status))
                printf("child %d terminated normally with exit status = %d\n",pid,WEXITSTATUS(status));
            else
                printf("child %d terminated abnormally\n",pid);
        }
        if(errno != ECHILD)
            unix_error("waitpid error");
        exit(0);
    }
    
    • 父进程创建N个子进程,然后子进程以一个唯一的退出状态退出;
    • waitpid函数被阻塞直到某个子进程终止,然后进入while循环测试是否是正常终止的;是正常的话就输出;
    • 当回收了所有的子进程之后,再调用waitpid就返回-1,并且设置errno为ECHILD;如果不是正常终止的,就输出一个错误消息

16.加载并运行程序

  • 函数:

    #include<unistd.h>
    int execve(const char *filename,const char *argv[],const char *envp[]);//加载并运行可执行目标文件,如果成功则无返回值,如果不成功则返回-1
    
  • 说明:
    • argv变量指向一个以null结尾的指针数组,其中每个指针都指向一个参数串。按照惯例,argv[0]指向可执行目标文件的名字
      【这里的可执行目标文件指的是用户输入的命令的名称,比如 ls,man等】
    • envp变量指向一个以null结尾的指针数组,其中每一个指针指向一个环境变量串,格式是“NAME = VALUE”

17.非本地跳转

  • 引入:C语言提供了一种用户级异常控制流形式,称为非本地跳转;它将一个函数转移到一个当前正在执行的函数,而省略了调用-返回序列这一步
  • 函数:setjmp,longjmp

    int setjmp(imp_buf env);返回0
    int sigsetjmp(sigjmp_buf env,int savesigs);
    
    void longjmp(jmp_buf env,int retval);
    void siglongjmp(sigjmp_buf env,int retval);
    
  • 解释:以上两个函数配合使用
    1. setjmp函数在env缓冲区中保存当前调用环境(包括PC,栈指针,通用寄存器),以供后面的longjmp使用,并返回0;
    2. longjmp函数从env缓冲区中回复调用环境,然后触发一个从最近一次初始化env开始的setjmp函数调用的返回;
  • 应用
    • 用于允许从一个深层嵌套的函数调用之中立即返回,而不是费力地解开栈
    • 说明:main函数先调用setjmp保存以前的调用环境,然后调用函数foo;foo调用bar;如果这两个函数中一个遇到错误,就立即通过longjmp调用从setjmp返回;setjmp非零返回值指明了错误类型

第十一周学习总结_第1张图片

  • 应用
    • 用于使一个信号处理程序分支到一个特殊的代码位置而不是返回到被信号中断了的指令的位置
    • 说明:在程序第一次启动的时候,调用setjmp保存上下文环境;随后主函数进入无限处理循环;用户键入ctrl-c之后,外壳发送SIGINT信号给进程,该进程捕获这个信号然后处理程序执行一个非本地跳转,回到主函数开始的地方

二、练习题解答

P488 练习题8.1

考虑三个具有下述起始和结束时间的进程: A(进程) 0(起始时间) 2(结束时间)

B(进程) 1(起始时间) 4(结束时间)

C(进程) 3(起始时间) 5(结束时间)

问:进程两两之间是否属于并发?

【A&C:不属于;B&C:属于;A&B:属于】

P497 练习题8.3

列出下面的程序所有可能的序列:

    int main()
    {
        if(Fork() == 0)
        {
            printf("a");
            fflush(stdout);
        }
        else
        {
            printf("b");
            fflush(stdout);
            waitpid(-1,NULL,0);
        }
        printf("c");
        fflush(stdout);
        exit(0);
    }

【输出序列可能是:acbc,abcc,bacc,bcac】

P499 练习题8.4

int main()
{
    int status;
    pid_t pid;
    printf("Hello\n");
    pid = fork();
    printf("%d\n",!pid);
    if(pid != 0)
    {
        if(waitpid(-1,&status,0)>0)
        {
            if(WIFEXITED(status)!=0)
            {
                printf("%d\n",WEXITSTATUS(status));
            }
        }
    }
    printf("Bye\n");
    exit(2);
}

解释:首先父进程运行,输出“Hello”,然后输出!pid也就是0——>在if中,因为创建的子进程还没有终止,所以waitpid函数被阻塞,然后切换到子进程——>子进程输出1,以及Bye,然后结束——>父进程的waitpid函数被执行,然后输出子进程的退出状态

三、学习心得

本章内容较多,而且有些内容是需要经过不止一遍的推敲之后才可以逐渐想清楚;同时,因为涉及到对一些基本电脑动作的分解,又含有很多“陌生”的代码,因而对我来说,本章的内容还是比较具有挑战性的。

然而,让我感到欣慰的是,通过请教其他同学,我发现自己对代码的理解能力有了很大提高;同时,因为代码理解程度提高,我对本章内容的把握也得到了提高。

你可能感兴趣的:(第十一周学习总结)