请教一个关于僵尸进程的问题，谢谢！

Mr_Yao

Unix/Linux里面讲的僵尸进程是针对父进程的，还是针对子进程的?

Mr_Yao

代碼A：

1. 
   
2. #include <unistd.h>   
   
3. #include <stdlib.h>   
   
4. #include <stdio.h>   
   
5. #include <sys/wait.h>   
   
6.   
   
7. const char cmd_init[]="ps -o pid,ppid,state,tty,command";  
   
8.   
   
9. int main(int argc,char **argv)  
   
10. {  
    
11.         pid_t   pid;
    
12.         if((pid=fork()) < 0){
    
13.                 exit(-1);
    
14.         }
    
15.         else if(pid==0){  /* 子進程exit */  
    
16.                 exit(0);  
    
17.         }
    
18.         sleep(5);
    
19.         system(cmd_init);
    
20.         exit(0);  
    
21. }
    

复制代码

子进程先于父进程退出,此时在父进程sleep()这5秒的过程中,子进程就是一个僵尸进程;
上例中,父进程是正常退出,因此子进程也会退出;
如果在上例中,父进程是异常退出,此时子进程会保持zombie状态,并且由进程init托管。
上面这种说法正确么?

如果反過來,父进程先正常退出了,子进程继续执行;待子进程执行完毕之后,子进程会是什么状态?
如果父进程异常退出了,子进程在执行完毕之后,又会是什么状态?

ilwmin

僵尸进程就是没人管的孩子，最后只能有福利院接管

zylthinking

代碼A：子进程先于父进程退出,此时在父进程sleep()这5秒的过程中,子进程就是一个僵尸进程;
上例中,父进程是 ...
Mr_Yao 发表于 2011-12-07 13:21

sleep 过程中确定时zombie吗， 我没做实验， 但似乎和我看的代码不想符合

Mr_Yao

sleep 过程中确定时zombie吗， 我没做实验， 但似乎和我看的代码不想符合
zylthinking 发表于 2011-12-07 14:43

    確定。你是怎麼想的?

Mr_Yao

如果反過來,父进程先正常退出了,子进程继续执行;待子进程执行完毕之后,子进程会是什么状态?
如果父进程异常退出了,子进程在执行完毕之后,又会是什么状态?Mr_Yao 发表于 2011-12-07 13:21

如果是父進程首先退出了，那麼內核會自動查找屬於該進程的“活動”的子進程，并將他們託管給init進程。
這個和父進程是不是正常退出沒有關係的。

zylthinking

確定。你是怎麼想的?
Mr_Yao 发表于 2011-12-07 14:50

所谓僵尸进程， 其实就是 SIGCHILD 没有被父进程处理的进程， SIGCHILD 被处理只有在中断， 异常， 及系统调用返回时；
首先异常不可能发生； 因为异常发生在用户空间； 除非是页面错误；
中断可不太可能， 因为 sleep 时已经是不在运行列表中了， 中断借助的是当前进程， 因此就算处理SIGCHILD也不会是 sleep 中的进程的SIGCHILD
剩下的系统调用就奇怪了， 因为这里正好命中， 那么在 sleep 返回后， 应该已经处理了 sigchild 的。

1. 205ENTRY(ret_from_sys_call)
   
2. 206#ifdef CONFIG_SMP
   
3. 207        movl processor(%ebx),%eax
   
4. 208        shll $CONFIG_X86_L1_CACHE_SHIFT,%eax
   
5. 209        movl SYMBOL_NAME(irq_stat)(,%eax),%ecx          # softirq_active
   
6. 210        testl SYMBOL_NAME(irq_stat)+4(,%eax),%ecx       # softirq_mask
   
7. 211#else
   
8. 212        movl SYMBOL_NAME(irq_stat),%ecx         # softirq_active
   
9. 213        testl SYMBOL_NAME(irq_stat)+4,%ecx      # softirq_mask
   
10. 214#endif
    
11. 215        jne   handle_softirq
    
12. 216        
    
13. 217ret_with_reschedule:
    
14. 218        cmpl $0,need_resched(%ebx)
    
15. 219        jne reschedule
    
16. 220        cmpl $0,sigpending(%ebx)   －－－－－－－－－－－－－－－－这里
    
17. 221        jne signal_return
    
18. 222restore_all:
    
19. 223        RESTORE_ALL
    
20. 224
    
21. 225        ALIGN
    
22. 226signal_return:
    
23. 227        sti                             # we can get here from an interrupt handler
    
24. 228        testl $(VM_MASK),EFLAGS(%esp)
    
25. 229        movl %esp,%eax
    
26. 230        jne v86_signal_return
    
27. 231        xorl %edx,%edx
    
28. 232        call SYMBOL_NAME(do_signal)  －－－－－－－－－－－－－－这里
    
29. 233        jmp restore_all
    
30. 234
    
31. 235        ALIGN

复制代码

1. 536
   
2. 
   
3. 584int do_signal(struct pt_regs *regs, sigset_t *oldset)
   
4. 585{
   
5. 586        siginfo_t info;
   
6. 587        struct k_sigaction *ka;
   
7.   .......................................
   
8. 643                ka = &current->sig->action[signr-1];
   
9. 644                if (ka->sa.sa_handler == SIG_IGN) {
   
10. 645                        if (signr != SIGCHLD)
    
11. 646                                continue;
    
12. 647                        /* Check for SIGCHLD: it's special.  */
    
13. 648                        while (sys_wait4(-1, NULL, WNOHANG, NULL) > 0)  －－－－－－－－－－－－－－－－－－这里
    
14. 649                                /* nothing */;
    
15. 650                        continue;
    
16. 651                }
    
17. 652
    
18. ...........................................
    
19. 715        return 0;
    
20. 716}
    
21. 717
    

复制代码

那为什么在其后的  ps 中， 会照样找到一个 zombie 的子进程呢

pandaiam

如果反過來,父进程先正常退出了,子进程继续执行;待子进程执行完毕之后,子进程会是什么状态?
============

父进程正常退出后，如果子进程还在执行，它就由init领养了。
子进程执行完毕之后，它的资源由init回收。

pandaiam

僵尸进程是因为，父进程一直存在，产生子进程，当子进程退出时，父进程没有回收他退出子进程的资源。

如果父进程直接就退出了那就不会有僵尸进程了

Mr_Yao

僵尸进程是因为，父进程一直存在，产生子进程，当子进程退出时，父进程没有回收他退出子进程的资源。

如 ...
pandaiam 发表于 2011-12-07 16:44

    恩，说到了点子上了。