linux

示例说明僵尸进程的危害及解决方法

2018-03-30  本文已影响0人  哈莉_奎茵

简述

首先简要说明下僵尸进程和孤儿进程的概念(前提都是父进程调用fork产生子进程)

僵尸即“死了还活着”,子进程已经终止了,也就是说子进程死了。但是系统会保留子进程的信息(进程ID/终止状态/使用的CPU时间总量),这些残余信息仍然存在,也就是说某种意义上还活着。
孤儿则是父进程终止了,也就是丧父。

系统中有一些专用进程,其中ID1通常是init进程,简单来说就是进行系统启动时的一些初始化工作,并且决不会终止(直到关机)。孤儿进程是无害的,因为孤儿进程会被init进程收养,init进程必定会wait所有的子进程。
而僵尸进程的父进程一直存活的话,僵尸进程的剩余信息一直会被保留,占用系统资源。

示例程序及结果

错误处理采用了APUE的函数,可以参考UNIX 环境高级编程(一) apue.h 文件与apue.3e的安装,不过这里是我自己写的精简版,总之函数名一样。

// zombie.cc
#include "../include/apue.h"

int main() {
    pid_t first_pid = getpid();  // 最初的父进程ID
    int proc_cnt = 1;  // 进程数量

    while (true) {
        pid_t pid = fork();
        if (pid < 0) {
            err_msg("child process count: %d", proc_cnt);
            err_sys("fork error");
        }

        // 只fork不wait

        pid_t curpid = getpid();
        if (curpid != first_pid)  // 子进程退出
            _exit(0);
        ++proc_cnt;
    }
}

实验结果及分析

$ g++ zombie.cc -std=c++11
$ ./a.out 
child process count: 7540
fork error: Resource temporarily unavailable

上述代码是一个典型示例,一个进程反复地创建子进程,但是不wait子进程的信息,导致子进程全部成为了僵尸进程,每个僵尸进程的剩余信息仍然占用系统资源,最后导致fork调用失败。
现在在fork()那一行之前加上sleep(3),也就是隔3秒创建一个线程,重新运行,并用ps查看当前终端的进程状态。

$ g++ zombie.cc -std=c++11
$ ./a.out &
[1] 18988
$ ps -u
USER        PID %CPU %MEM    VSZ   RSS TTY      STAT START   TIME COMMAND
xyz        2554  0.0  0.2  24552  5512 pts/18   Ss   19:39   0:00 bash
xyz       18988  0.0  0.0  13276  1516 pts/18   S    20:21   0:00 ./a.out
xyz       18989  0.0  0.0      0     0 pts/18   Z    20:21   0:00 [a.out] <defunct>
xyz       18990  0.0  0.0      0     0 pts/18   Z    20:21   0:00 [a.out] <defunct>
xyz       18991  0.0  0.0      0     0 pts/18   Z    20:21   0:00 [a.out] <defunct>
xyz       18992  0.0  0.1  39104  3252 pts/18   R+   20:21   0:00 ps -u
$ ps -u
USER        PID %CPU %MEM    VSZ   RSS TTY      STAT START   TIME COMMAND
xyz        2554  0.0  0.2  24552  5512 pts/18   Ss   19:39   0:00 bash
xyz       18988  0.0  0.0  13276  1516 pts/18   S    20:21   0:00 ./a.out
xyz       18989  0.0  0.0      0     0 pts/18   Z    20:21   0:00 [a.out] <defunct>
xyz       18990  0.0  0.0      0     0 pts/18   Z    20:21   0:00 [a.out] <defunct>
xyz       18991  0.0  0.0      0     0 pts/18   Z    20:21   0:00 [a.out] <defunct>
xyz       18993  0.0  0.0      0     0 pts/18   Z    20:21   0:00 [a.out] <defunct>
xyz       18994  0.0  0.0      0     0 pts/18   Z    20:21   0:00 [a.out] <defunct>
xyz       18995  0.0  0.0      0     0 pts/18   Z    20:21   0:00 [a.out] <defunct>
xyz       18996  0.0  0.1  39104  3340 pts/18   R+   20:22   0:00 ps -u
$ kill %1
$
[1]+  Terminated              ./a.out
$ ps -u
USER        PID %CPU %MEM    VSZ   RSS TTY      STAT START   TIME COMMAND
xyz        2554  0.0  0.2  24552  5512 pts/18   Ss   19:39   0:00 bash
xyz       18999  0.0  0.1  39104  3328 pts/18   R+   20:22   0:00 ps -u

<defunct>修饰的就是僵尸进程,APUE上说状态打印为Z,及STAT列,注意ps命令需要加上-u选项才能显示这么详细的信息。可以发现最初的进程一直在产生新的僵尸进程,但是杀死该进程后,所有的子进程(僵尸进程)全部都消失了,因为此时僵尸进程失去了父进程,成为了孤儿进程,被init进程收养,而init进程会wait所有的子进程,僵尸被wait后旧寿终正寝了。

这也是一种典型的解决方法,那就是杀死僵尸进程的父进程,从而将僵尸进程转换成孤儿进程,由init进程处理。

僵尸进程的解决方法

很自然地,既然产生僵尸进程的原因是没有wait,那让父进程wait不久完了。但是wait是阻塞操作,如果子进程的生命周期比较久,可能父进程要等很久才能再fork产生下个进程。对于父进程fork若干个子进程的做法,往往是为了多进程并发执行,如果每次都要wait,实际上还是顺序执行了。

1. waitpid

一种解决方法是使用waitpid,它提供非阻塞模式,比如下列调用
waitpid(pid, &status, WNOHANG);
就是取得当前ID为pid的子进程终止状态,存入status,如果该子进程仍在运行,则立刻返回(而不是阻塞至子进程终止),返回值为0。
然后父进程保存所有子进程ID,用一个独立的线程去隔一段时间用非阻塞模式去wait对应子进程,就能消除僵尸进程。
上述做法是一种简单的轮询,比如子进程数量过多时,每次都从前往后遍历,效率可能比较低。继续深入又是另一个话题,本文不再详述。

2. 处理信号

由于子进程终止时会向父进程发送SIGCHLD信号,所以父进程可以对该信号设置一个信号处理器,信号处理器函数调用wait即可,利用信号处理机制实现了对僵尸进程的异步处理。至于信号处理的坑,同样,继续深入又是另一个话题,本文不再详述。

3. 用一个子进程来间接创建子进程

APUE上的fork两次的做法,是针对父进程fork有限次后终止的简单情况。父进程A专门fork一个子进程B,然后这个子进程fork创建N个子进程(不调用wait,所以会变成僵尸进程)后终止。子进程终止后,这N个僵尸进程失去了父进程B,所以成为了孤儿进程,被init进程收养,从而寿终正寝。这种做法本质还是和我之前的实验中手动kill父进程一样。

上一篇下一篇

猜你喜欢

热点阅读