請教一個關(guān)于僵尸進程的問題，謝謝！

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. }
    

復(fù)制代碼

子進程先于父進程退出,此時在父進程sleep()這5秒的過程中,子進程就是一個僵尸進程;
上例中,父進程是正常退出,因此子進程也會退出;
如果在上例中,父進程是異常退出,此時子進程會保持zombie狀態(tài),并且由進程init托管。
上面這種說法正確么?

如果反過來,父進程先正常退出了,子進程繼續(xù)執(zhí)行;待子進程執(zhí)行完畢之后,子進程會是什么狀態(tài)?
如果父進程異常退出了,子進程在執(zhí)行完畢之后,又會是什么狀態(tài)?

ilwmin

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

zylthinking

代碼A：子進程先于父進程退出,此時在父進程sleep()這5秒的過程中,子進程就是一個僵尸進程;
上例中,父進程是 ...
Mr_Yao 發(fā)表于 2011-12-07 13:21

sleep 過程中確定時zombie嗎， 我沒做實驗， 但似乎和我看的代碼不想符合

Mr_Yao

sleep 過程中確定時zombie嗎， 我沒做實驗， 但似乎和我看的代碼不想符合
zylthinking 發(fā)表于 2011-12-07 14:43

    確定。你是怎麼想的?

Mr_Yao

如果反過來,父進程先正常退出了,子進程繼續(xù)執(zhí)行;待子進程執(zhí)行完畢之后,子進程會是什么狀態(tài)?
如果父進程異常退出了,子進程在執(zhí)行完畢之后,又會是什么狀態(tài)?Mr_Yao 發(fā)表于 2011-12-07 13:21

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

zylthinking

確定。你是怎麼想的?
Mr_Yao 發(fā)表于 2011-12-07 14:50

所謂僵尸進程， 其實就是 SIGCHILD 沒有被父進程處理的進程， SIGCHILD 被處理只有在中斷， 異常， 及系統(tǒng)調(diào)用返回時；
首先異常不可能發(fā)生； 因為異常發(fā)生在用戶空間； 除非是頁面錯誤；
中斷可不太可能， 因為 sleep 時已經(jīng)是不在運行列表中了， 中斷借助的是當(dāng)前進程， 因此就算處理SIGCHILD也不會是 sleep 中的進程的SIGCHILD
剩下的系統(tǒng)調(diào)用就奇怪了， 因為這里正好命中， 那么在 sleep 返回后， 應(yīng)該已經(jīng)處理了 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

復(fù)制代碼

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
    

復(fù)制代碼

那為什么在其后的  ps 中， 會照樣找到一個 zombie 的子進程呢

pandaiam

如果反過來,父進程先正常退出了,子進程繼續(xù)執(zhí)行;待子進程執(zhí)行完畢之后,子進程會是什么狀態(tài)?
============

父進程正常退出后，如果子進程還在執(zhí)行，它就由init領(lǐng)養(yǎng)了。
子進程執(zhí)行完畢之后，它的資源由init回收。

pandaiam

僵尸進程是因為，父進程一直存在，產(chǎn)生子進程，當(dāng)子進程退出時，父進程沒有回收他退出子進程的資源。

如果父進程直接就退出了那就不會有僵尸進程了

Mr_Yao

僵尸進程是因為，父進程一直存在，產(chǎn)生子進程，當(dāng)子進程退出時，父進程沒有回收他退出子進程的資源。

如 ...
pandaiam 發(fā)表于 2011-12-07 16:44

    恩，說到了點子上了。