【UNIX环境编程、操作系统】孤儿进程和僵尸进程

时间:2023-12-30 12:21:50

基本概念:

  在类UNIX系统中,僵尸进程是指完成执行(通过exit系统调用,或运行时发生致命错误或收到终止信号所致)但在操作系统的进程表中仍然有一个进程表表项(进程控制块PCB),处于"终止状态"的进程。这发生于子进程需要保留表项以允许其父进程读取子进程的exit status:一旦退出态通过wait系统调用读取,僵尸进程条目就从进程表中删除,称之为"回收(reaped)"。正常情况下,进程直接被其父进程wait或waitpid并由系统回收。进程长时间保持僵尸状态一般是错误的并导致资源泄漏

  当进程通过exit系统调用终止后,它所拥有的所有内存和资源都被释放。然而,进程表中该进程的进程表项目仍然被保留了下来。当父进程通过wait或waitpid读取该孩子的进程退出状态后,该僵尸进程的进程表项就可以被移除。

  僵尸进程被收割后,其进程号(PID)与在进程表中的表项都可以被系统重用。但如果父进程没有调用wait,僵尸进程将保留进程表中的表项,导致了资源泄漏

  收割僵尸进程的方法是通过kill命令手工向其父进程发送SIGCHLD信号。如果其父进程仍然拒绝收割僵尸进程,则终止父进程,使得init进程收养僵尸进程。init进程周期执行wait系统调用收割其收养的所有僵尸进程。

  僵尸进程与孤儿进程不同。孤儿进程是一个仍在执行但是父进程已经终止的进程。对于父进程已经终止的所有进程,它们的父进程都改变为init进程。我们称这些进程是由init进程收养。其操作过程大致是:在一个进程终止时,内核逐个检查所有活动进程(包括僵尸进程),以判断它是否是正要终止进程的子进程,如果是,则该进程的父进程ID就更改为1(init进程的ID)。这种处理方法保证了每个进程有一个父进程。

  父进程终止,而子进程没有终止。子进程变为孤儿进程,其父进程改变为init进程。

  子进程终止,而父进程没有终止,且没有调用wait或waitpid进程进行善后处理。子进程将变为僵尸进程(zombie process)。

  子进程终止,而后父进程终止但没有调用wait或waitpid为它的孩子善后。那么该父进程的子进程也会被init收养,然后被收割。

问题及危害:

  unix提供了一种机制可以保证只要父进程想知道子进程结束时的状态信息, 就可以得到。这种机制就是: 在每个进程退出的时候,内核释放该进程所有的资源,包括打开的文件,占用的内存等。 但是仍然为其保留一定的信息(包括进程号the process ID,退出状态the termination status of the process,运行时间the amount of CPU time taken by the process等)。直到父进程通过wait / waitpid来取时才释放。 但这样就导致了问题,如果进程不调用wait / waitpid的话, 那么保留的那段信息就不会释放,其进程号就会一直被占用,但是系统所能使用的进程号是有限的,如果大量的产生僵死进程,将因为没有可用的进程号而导致系统不能产生新的进程. 此即为僵尸进程的危害,应当避免。

  孤儿进程是没有父进程的进程,孤儿进程这个重任就落到了init进程身上,init进程就好像是一个民政局,专门负责处理孤儿进程的善后工作。每当出现一个孤儿进程的时候,内核就把孤 儿进程的父进程设置为init,而init进程会循环地wait()它的已经退出的子进程。这样,当一个孤儿进程凄凉地结束了其生命周期的时候,init进程就会代表党和*出面处理它的一切善后工作。因此孤儿进程并不会有什么危害。

  任何一个子进程(init除外)在exit()之后,并非马上就消失掉,而是留下一个称为僵尸进程(Zombie)的数据结构,等待父进程处理。这是每个 子进程在结束时都要经过的阶段。如果子进程在exit()之后,父进程没有来得及处理,这时用ps命令就能看到子进程的状态是“Z”。如果父进程能及时 处理,可能用ps命令就来不及看到子进程的僵尸状态,但这并不等于子进程不经过僵尸状态。  如果父进程在子进程结束之前退出,则子进程将由init接管。init将会以父进程的身份对僵尸状态的子进程进行处理。

  僵尸进程危害场景:

  例如有个进程,它定期的产 生一个子进程,这个子进程需要做的事情很少,做完它该做的事情之后就退出了,因此这个子进程的生命周期很短,但是,父进程只管生成新的子进程,至于子进程 退出之后的事情,则一概不闻不问,这样,系统运行上一段时间之后,系统中就会存在很多的僵死进程,倘若用ps命令查看的话,就会看到很多状态为Z的进程。 严格地来说,僵死进程并不是问题的根源,罪魁祸首是产生出大量僵死进程的那个父进程。因此,当我们寻求如何消灭系统中大量的僵死进程时,答案就是把产生大 量僵死进程的那个元凶枪毙掉(也就是通过kill发送SIGTERM或者SIGKILL信号啦)。枪毙了元凶进程之后,它产生的僵死进程就变成了孤儿进 程,这些孤儿进程会被init进程接管,init进程会wait()这些孤儿进程,释放它们占用的系统进程表中的资源,这样,这些已经僵死的孤儿进程 就能瞑目而去了。

孤儿进程和僵尸进程测试:

孤儿进程测试程序如下所示:

【UNIX环境编程、操作系统】孤儿进程和僵尸进程
 1 #include <stdio.h>
2 #include <stdlib.h>
3 #include <errno.h>
4 #include <unistd.h>
5
6 int main()
7 {
8 pid_t pid;
9 //创建一个进程
10 pid = fork();
11 //创建失败
12 if (pid < 0)
13 {
14 perror("fork error:");
15 exit(1);
16 }
17 //子进程
18 if (pid == 0)
19 {
20 printf("I am the child process.\n");
21 //输出进程ID和父进程ID
22 printf("pid: %d\tppid:%d\n",getpid(),getppid());
23 printf("I will sleep five seconds.\n");
24 //睡眠5s,保证父进程先退出
25 sleep(5);
26 printf("pid: %d\tppid:%d\n",getpid(),getppid());
27 printf("child process is exited.\n");
28 }
29 //父进程
30 else
31 {
32 printf("I am father process.\n");
33 //父进程睡眠1s,保证子进程输出进程id
34 sleep(1);
35 printf("father process is exited.\n");
36 }
37 return 0;
38 }
【UNIX环境编程、操作系统】孤儿进程和僵尸进程

测试结果如下:

【UNIX环境编程、操作系统】孤儿进程和僵尸进程

僵尸进程测试程序如下所示:

【UNIX环境编程、操作系统】孤儿进程和僵尸进程
 1 #include <stdio.h>
2 #include <unistd.h>
3 #include <errno.h>
4 #include <stdlib.h>
5
6 int main()
7 {
8 pid_t pid;
9 pid = fork();
10 if (pid < 0)
11 {
12 perror("fork error:");
13 exit(1);
14 }
15 else if (pid == 0)
16 {
17 printf("I am child process.I am exiting.\n");
18 exit(0);
19 }
20 printf("I am father process.I will sleep two seconds\n");
21 //等待子进程先退出
22 sleep(2);
23 //输出进程信息
24 system("ps -o pid,ppid,state,tty,command");
25 printf("father process is exiting.\n");
26 return 0;
27 }
【UNIX环境编程、操作系统】孤儿进程和僵尸进程

测试结果如下所示:

【UNIX环境编程、操作系统】孤儿进程和僵尸进程

僵尸进程测试2:父进程循环创建子进程,子进程退出,造成多个僵尸进程,程序如下所示:

【UNIX环境编程、操作系统】孤儿进程和僵尸进程
 1 #include <stdio.h>
2 #include <stdlib.h>
3 #include <unistd.h>
4 #include <errno.h>
5
6 int main()
7 {
8 pid_t pid;
9 //循环创建子进程
10 while(1)
11 {
12 pid = fork();
13 if (pid < 0)
14 {
15 perror("fork error:");
16 exit(1);
17 }
18 else if (pid == 0)
19 {
20 printf("I am a child process.\nI am exiting.\n");
21 //子进程退出,成为僵尸进程
22 exit(0);
23 }
24 else
25 {
26 //父进程休眠20s继续创建子进程
27 sleep(20);
28 continue;
29 }
30 }
31 return 0;
32 }
【UNIX环境编程、操作系统】孤儿进程和僵尸进程

程序测试结果如下所示:

【UNIX环境编程、操作系统】孤儿进程和僵尸进程

僵尸进程解决办法:

(1)通过信号机制

  子进程退出时向父进程发送SIGCHILD信号,父进程处理SIGCHILD信号。在信号处理函数中调用wait进行处理僵尸进程。测试程序如下所示:

【UNIX环境编程、操作系统】孤儿进程和僵尸进程
 1 #include <stdio.h>
2 #include <unistd.h>
3 #include <errno.h>
4 #include <stdlib.h>
5 #include <signal.h>
6
7 static void sig_child(int signo);
8
9 int main()
10 {
11 pid_t pid;
12 //创建捕捉子进程退出信号
13 signal(SIGCHLD,sig_child);
14 pid = fork();
15 if (pid < 0)
16 {
17 perror("fork error:");
18 exit(1);
19 }
20 else if (pid == 0)
21 {
22 printf("I am child process,pid id %d.I am exiting.\n",getpid());
23 exit(0);
24 }
25 printf("I am father process.I will sleep two seconds\n");
26 //等待子进程先退出
27 sleep(2);
28 //输出进程信息
29 system("ps -o pid,ppid,state,tty,command");
30 printf("father process is exiting.\n");
31 return 0;
32 }
33
34 static void sig_child(int signo)
35 {
36 pid_t pid;
37 int stat;
38 //处理僵尸进程
39 while ((pid = waitpid(-1, &stat, WNOHANG)) >0)
40 printf("child %d terminated.\n", pid);
41 }
【UNIX环境编程、操作系统】孤儿进程和僵尸进程

测试结果如下所示:

【UNIX环境编程、操作系统】孤儿进程和僵尸进程

(2)fork两次
  《Unix 环境高级编程》8.6节说的非常详细。原理是将子进程成为孤儿进程,从而其的父进程变为init进程,通过init进程可以处理僵尸进程。测试程序如下所示:

【UNIX环境编程、操作系统】孤儿进程和僵尸进程
 1 #include <stdio.h>
2 #include <stdlib.h>
3 #include <unistd.h>
4 #include <errno.h>
5
6 int main()
7 {
8 pid_t pid;
9 //创建第一个子进程
10 pid = fork();
11 if (pid < 0)
12 {
13 perror("fork error:");
14 exit(1);
15 }
16 //第一个子进程
17 else if (pid == 0)
18 {
19 //子进程再创建子进程
20 printf("I am the first child process.pid:%d\tppid:%d\n",getpid(),getppid());
21 pid = fork();
22 if (pid < 0)
23 {
24 perror("fork error:");
25 exit(1);
26 }
27 //第一个子进程退出
28 else if (pid >0)
29 {
30 printf("first procee is exited.\n");
31 exit(0);
32 }
33 //第二个子进程
34 //睡眠3s保证第一个子进程退出,这样第二个子进程的父亲就是init进程里
35 sleep(3);
36 printf("I am the second child process.pid: %d\tppid:%d\n",getpid(),getppid());
37 exit(0);
38 }
39 //父进程处理第一个子进程退出
40 if (waitpid(pid, NULL, 0) != pid)
41 {
42 perror("waitepid error:");
43 exit(1);
44 }
45 exit(0);
46 return 0;
47 }
【UNIX环境编程、操作系统】孤儿进程和僵尸进程

测试结果如下图所示:

【UNIX环境编程、操作系统】孤儿进程和僵尸进程

5、参考资料

  1.《unix环境高级编程》第八章  

  2. http://www.cnblogs.com/anker/p/3271773.html