zoukankan      html  css  js  c++  java

  • CSAPP读书笔记--第八章 异常控制流

    第八章 异常控制流

                                                                                                                              2017-11-14

    概述

    控制转移序列叫做控制流。目前为止，我们学过两种改变控制流的方式：

    　　1）跳转和分支；

    　　2）调用和返回。

    但是上面的方法只能控制程序本身，发生以下系统状态的变化复杂问题时就没法使用上面的方法控制：

    • 数据从磁盘或者网络适配器到达
    • 指令除以了零
    • 用户按下 ctrl+c
    • 系统的计时器到时间

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

    　　异常控制流有四种实现机制：

    1）异常（低层级）；2）进程上下文切换；3）信号；4）非本地跳转。（2-4高层级）

    8.1 异常

            异常（exception）就是控制流中的突变，用来响应处理器状态中的某些变化。这里的异常是指将控制交给系统内核来处理某些事情。

    内核是操作系统常驻内存的部分。

    　　任何情况下，当处理器检测到有事件发生时，它会通过一张就做异常表的跳转表，进行一个间接过程的调用，使用异常处理程序（运行在内核模式下）来处理这类事件。这类事件包括被零除、缺页、算术溢出、I/O请求完成。异常处理程序完成处理后，会发生以下三种情况：

    　　1）处理程序将控制放回给当前指令Icurr,即事件发生时正在执行的指令。

    　　2）将控制返回给Inext;

    　　3）终止被中断的程序。

    　

    　　系统中为每种类型的异常都分配了一个唯一的非负整数的异常号，系统会通过异常表来确定跳转的位置，每个事件都有对应的异常号，发生对应事件就调用对应的异常处理代码。 

    异常的类别

     异常分为异步异常和同步异常。异步异常是硬件中断（称为中断处理程序），是有外部IO设备造成的，同步异常是执行当前指令的结果（称为故障指令）。

    陷阱属于系统调用，运行在内核模式中，而普通的程序调用运行在用户模式中，限制了函数可以执行的指令的类型。

    类别 原因 异步/同步 返回行为
    中断 来自I/O设备的信号 异步 总是返回到下一条指令
    陷阱 有意的异常（read，exit） 同步 总是返回到下一条指令
    故障 潜在可恢复的错误 同步 可能返回到当前指令
    终止 不可恢复的错误 同步 不会返回

     这里重点分析一下故障异常，以缺页异常故障为例：

    缺页异常发生的条件是：指令引用一个虚拟地址，但是与该地址相对应的物理页面不在内存中，因此必须从磁盘中读取，就会发生故障。

    • 用户写入内存位置
    • 但该位置目前还不在内存中
    int a[1000];
main ()
{
    a[500] = 13;
}

    那么系统会通过 Page Fault 把对应的部分载入到内存中，然后重新执行赋值语句：

     8.2 进程

    　　通俗的定义是：占用内存空间的正在运行的程序。经典的定义是：一个执行中的程序的实例。进程提供给应用程序的关键抽象：1）一个独立的逻辑控制流；2）一个私有的地址空间。

    　　并发流的概念：流X和Y互相并发，当且仅当X在Y开始之后和Y结束之前进行。或者Y在X开始之后和X结束之前开始。

    　　上下文切换：1)保存当前进程的上下文；2）恢复某个先前被抢占的进程被保存的上下文；3）将控制传递给这个新恢复的进程。

    8.3 进程控制

    获取进程ID：

    #include<sys/types.h>
#include<unistd.h>

pid_t getpid(void);
pid_t getppid(void);

    getpid返回调用进程的PID，getppid返回它的父进程的PID。

    我们可以认为，进程有三个主要状态：

    • 运行 Running
      • 正在被执行、正在等待执行或者最终将会被执行
    • 停止 Stopped
      • 执行被挂起，在进一步通知前不会计划执行
    • 终止 Terminated
      • 进程被永久停止

    另外的两个状态称为新建(new)和就绪(ready)，这里不再赘述。

    fork()函数创建进程。

    #include<sys/types.h>
#include<unistd.h>

pid_t fork(void);

//子进程返回0，父进程返回子进程的PID，如果出错，则返回-1

    需要注意：

    • 调用一次，返回两次；
    • 并发执行；
    • 相同但是独立的地址空间；
    • 共享文件。

    进程图

    通过画进程图来理解fork函数：

    • 每个节点代表一条执行的语句
    • a -> b 表示 a 在 b 前面执行
    • 边可以用当前变量的值来标记
    • printf 节点可以用输出来进行标记
    • 每个图由一个入度为 0 的节点作为起始
    int main()
{
    pid_t pid;
    int x = 1;
    
    pid = Fork();
    if (pid == 0) 
    {   // Child
        printf("child! x = %d
", --x);
        exit(0);
    }
    
    // Parent
    printf("parent! x = %d
", x);
    exit(0);
}

    在下面三种情况时，进程会被终止：

    1. 接收到一个终止信号
    2. 返回到 main
    3. 调用了 exit 函数

    exit 函数会被调用一次，但从不返回，具体的函数原型是

    // 以 status 状态终止进程，0 表示正常结束，非零则是出现了错误
void exit(int status)

     8.4 回收子进程

    　　一个终止了但是没有被回收的进程称为僵尸进程。如果父进程已经终止了，那么对应的没终止的子进程就称为孤儿进程。对于孤儿进程，内核会安排init进程称为他的孤儿进程的养父。init进程的PID是1，是在操作系统启动后由内核创建的，init进程会回收孤儿进程。

    　　一个进程可以调用waitpid函数来等待它的子进程终止或者停止。

    #include<sys/types.h>
#include<sys.wait.h>

pid_t waitpid(pid_t pid,int *statusp,int options);
//pid 等待终止的目标子进程的ID，如果传递-1，则与wait函数相同，可以等待任意子进程终止
//statusp 传入变量的地址值
//如果设置为WNOHANG，即使没有终止的子进程也不会进入阻塞状态，而是返回0并且退出
    //如果成功则返回子进程的ID，如果是WNOHANG，则为0，出错则为-1
    • WIFEXITED子进程正常终止时则返回真；
    • WEXITSTATUS返回子进程的返回值。
    if(WIFEXITED(statusp)){//是正常终止吗？
    puts("Normal termination!");
    printf("Child pass num:%d",WEXITSTATUS(statusp));//那么返回值是多少？
}

    如果想在子进程载入其他的程序，就需要使用 execve 函数，具体可以查看对应的 man page，这里不再深入。

    8.5 信号

    　　Linux 的进程树，可以通过 pstree 命令查看。

    　　对于前台进程来说，我们可以在其执行完成后进行回收，而对于后台进程来说，因为不能确定具体执行完成的时间，所以终止之后就成为了僵尸进程，无法被回收并因此造成内存泄露。

    编号名称默认动作对应事件
    2 SIGINT 终止 用户输入 ctrl+c
    9 SIGKILL 终止 终止程序（不能重写或忽略）
    11 SIGSEGV 终止且 Dump 段冲突 Segmentation violation
    14 SIGALRM 终止 时间信号
    17 SIGCHLD 忽略 子进程停止或终止

     

    　　一个发出而没有被接收的信号叫做待处理信号，一种类型的待处理信号只能有一个，待处理信号不会排队，它们只能简单的被丢弃，一个进程可以有选择的阻塞接收某种信号。当一种信号被阻塞时，它仍可以被发送，但是产生的待处理信号不会被接收，直到进程取消对这种信号的阻塞。blocked位向量中维护着被阻塞的信号集合。

     发送信号：

     每个进程都属于一个进程组：getpgrp函数返回当前进程的进程组ID：

    #include<unistd.h>
pid_t getpgrp(void);

    默认情况下父子进程属于同一个进程组，可以通过setpgid改变进程组信息：

    #include<unistd.h>
int setpgid(pid_t pid,pid_t pgid);//将进程pid的进程组改为pgid
//如果成功返回0，失败返回-1

    使用/bin/kill发送信号（因为有些unix有自己的KILL函数）

    bin/kill -9 -15213//发送信号9（SIGKILL）给进程15213

    使用kill函数发送信号给其他进程

    #include<sys/types.h>
#include<signal.h>

int kill(pid_t pid,int sig);
//kill发送信号sig给进程pid

    接收信号

     sigaction好处是跨平台，可移植。

    #include<signal.h>
int sigaction(int signo,const struct sigaction *act,stuct sigaction* oldact);
/*
*signo 传递信号信息
*act  对应第一个参数的信号处理函数信息
*oldact 通过该参数获取之前注册的信号处理函数指针，不需要则传递0
*/

    sigaction结构体定义：

    struct sigaction{
    void (*sa_handler)(int);//保存信号处理函数地址
    sigset_t sa_mask;        //以下初始化为0
    int sa_flags;
}

    阻塞和解除阻塞信号

     　　Linux提供阻塞信号的隐式和显式的机制：

    • 隐式阻塞机制：内核默认阻塞当前正在处理信号类型的待处理信号。（如果有一个待处理信号，内核在父进程处理当前信号之后处理这个待处理信号）
    • 显式阻塞机制：使用sigpromask函数和它的辅助函数，明确的阻塞和解除阻塞的信号。

    常用的几个辅助函数意义：

    • sigemptyset - 创建空集
    • sigfillset - 把所有的信号都添加到集合中（因为信号数目不多）
    • sigaddset - 添加指定信号到集合中
    • sigdelset - 删除集合中的指定信号
    sigset_t mask, prev_mask;
Sigemptyset(&mask); // 创建空集
Sigaddset(&mask, SIGINT); // 把 SIGINT 信号加入屏蔽列表中
// 阻塞对应信号，并保存之前的集合作为备份
Sigprocmask(SIG_BLOCK, &mask, &prev_mask);
...
... // 这部分代码不会被 SIGINT 中断
...
// 取消阻塞信号，恢复原来的状态
Sigprocmask(SIG_SETMASK, &prev_mask, NULL);

    注意how的取值：

    SIG_BLOCK：将set中的信号添加到blocked中；

    SIG_UNBLOCKED：从blocked中删除set中的信号；

    SIG_SETMASK：block = set；

    如果oldset非空，那么blocked位向量之前的值都保存在oldset中。

    安全处理信号

    信号处理器的设计并不简单，因为它们和主程序并行且共享相同的全局数据结构，尤其要注意因为并行访问可能导致的数据损坏的问题，这里提供一些基本的指南（后面的课程会详细介绍）

    • 规则 1：信号处理器越简单越好
      • 例如：设置一个全局的标记，并返回
    • 规则 2：信号处理器中只调用异步且信号安全(async-signal-safe)的函数
      • 诸如 printf, sprintf, malloc 和 exit 都是不安全的！
    • 规则 3：在进入和退出的时候保存和恢复 errno
      • 这样信号处理器就不会覆盖原有的 errno 值
    • 规则 4：临时阻塞所有的信号以保证对于共享数据结构的访问
      • 防止可能出现的数据损坏
    • 规则 5：用 volatile 关键字声明全局变量
      • 这样编译器就不会把它们保存在寄存器中，保证一致性
    • 规则 6：用 volatile sig_atomic_t 来声明全局标识符(flag)
      • 这样可以防止出现访问异常

    这里提到的异步信号安全(async-signal-safety)指的是如下两类函数：

    1. 所有的变量都保存在栈帧中的函数
    2. 不会被信号中断的函数

    Posix 标准指定了 117 个异步信号安全(async-signal-safe)的函数（可以通过 man 7 signal 查看）

    非本地跳转 Non local Jump

    所谓的本地跳转，指的是在一个程序中通过 goto 语句进行流程跳转，尽管不推荐使用goto语句，但在嵌入式系统中为了提高程序的效率，goto语句还是可以使用的。本地跳转的限制在于，我们不能从一个函数跳转到另一个函数中。如果想突破函数的限制，就要使用 setjmp 或 longjmp 来进行非本地跳转了。

    setjmp 保存当前程序的堆栈上下文环境(stack context)，注意，这个保存的堆栈上下文环境仅在调用 setjmp 的函数内有效，如果调用 setjmp 的函数返回了，这个保存的堆栈上下文环境就失效了。调用 setjmp 的直接返回值为 0。

    longjmp 将会恢复由 setjmp 保存的程序堆栈上下文，即程序从调用 setjmp 处重新开始执行，不过此时的 setjmp 的返回值将是由 longjmp 指定的值。注意longjmp 不能指定0为返回值，即使指定了 0，longjmp 也会使 setjmp 返回 1。

    我们可以利用这种方式，来跳转到其他的栈帧中，比方说在嵌套函数中，我们可以利用这个快速返回栈底的函数，我们来看如下代码

    对应的跳转过程为：

    jmp_buf env;
 
P1()
{
    if (setjmp(env))
    {
        // 跳转到这里
    } 
    else
    {
        P2();
    }
 
}
 
P2()
{
    ...
    P2();
    ...
    P3();
}
 
P3()
{
longjmp(env, 1);
}

    也就是说，我们直接从 P3 跳转回了 P1，但是也有限制，函数必须在栈中（也就是还没完成）才可以进行跳转，下面的例子中，因为 P2 已经返回，所以不能跳转了

    因为 P2 在跳转的时候已经返回，对应的栈帧在内存中已经被清理，所以 P3 中的 longjmp 并不能实现期望的操作。

    操作进程的Linux指令

    PS 列出当前系统的进程
    TOP 打印出当前进程资源使用的信息
    PMAP 显式进程的内存映射
    /proc 虚拟文件系统，以ASCII文本格式输出内核数据结构的内容
    STRACE 每个系统调用的轨迹

    　

    　
  • 相关阅读:
    bootstrap 幻灯片（轮播）
    图片轮播
    JS 标签页切换(复杂)
    JS 标签页切换
    js获取日期时间
    HTML标签marquee实现滚动效果
    webstorm 快捷键，很多人想知道的三个常用快捷键
    js红包算法随机分配
    node.js express，ejs后端模板
    递归思路简单例子
  • 原文地址：https://www.cnblogs.com/dingxiaoqiang/p/7827887.html
Copyright © 2011-2022 走看看