父进程是init一定不会变僵尸进程吗？

系统管理员 2022-06-17 01:29 162阅读 0赞

工作中有次操作线上环境时发现有一个“Z”（僵尸）进程，当时首先想到的方法就是把这个进程的父进程干掉。但是ps下发现该进程的父进程已经是init了。这个情况让我很迷惑，因为通常来说一旦init进程接管了Z状态的进程就会调用wait将其回收。而且这是避免僵尸进程的一种重要手段，怎么会出现这种情况呢？  
后来仔细回想了下进程终止时的过程，忽然找到问题所在了。我们知道任何进程结束最终都会调用内核函数do\_exit。而这个函数有两个重要的事要完成：  
（1）（作为父进程）给自己的子进程（如果存在）找一个新的父进程；  
（2）（作为子进程）通知自己的父进程为自己“收尸”；  
第一个事情比较简单，如果要退出的进程时多线程进程，则可以将子进程托付给自己的兄弟线程，如果没有这样的线程，则托付给init进程；  
第二件事情对于单线程的进程比较简单，但多线程的进程就会复杂些。因为 只有线程组的主线程才有资格通知父进程，线程组的其他线程终止时，并不通知父进程，也没必要保留资源进入僵尸状态，直接调用release\_task函数释放所有的资源就好。  
由于父进程只认子进程的主线程，所以在线程组中，如果主线程终止了，但是线程组还有其他线程，那么就不会通知父进程来收尸，直到线程组中最后一个线程退出时。换句话说：在用户层面，可以调用pthread\_exit让主线程先“死”，但在内核态中，主线程的task\_struct一定要保住，哪怕变为僵尸。  
所以 当主线程退出但是其他线程还在运行，这时主线程就会变为Z状态，纵使init接管了主线程。

l 测试代码

#include <stdio.h>
    #include <unistd.h>
    #include <stdlib.h>
    #include <pthread.h>
    void thread_fun(void)
    {
        printf("begin thread...\n");
        sleep(100);
        printf("end thread...\n");
    }
    int main(int argc, char *argv[])
    {
        pthread_t tid;
        int ret;
        daemon(0, 0);//调用deamon是为了让init接管主线程
        printf("process begin...\n");
        ret=pthread_create(&tid,NULL,(void *)thread_fun,NULL);
        if(ret !=0 )
        {
            printf("pthread error\n");
            exit(1);
        }
        printf("main thread is end...\n");
        pthread_exit(0);
        printf("never exce\n");
    }

我们创建线程执行sleep，然后主线程退出，当我们使用ps查看主线程状态时结果如下：  
18099     1 Zsl  a.out  0.0  0.0  
可以看到，虽然init接管了主线程，但是主线程依然是Z状态。要想让这个Z进程消失，有两个办法，一个是杀死整个进程，也就是kill 18099，在一个就是ps -eLf查找其他线程，然后kill掉。