vfork子进程中因为插入exit()与否为什么 会有如此大 的不同？

ilogo1

1. #include <stdio.h>
   
2. #include <stdlib.h>
   
3. 
   
4. int g=100;
   
5. 
   
6. int main()
   
7. {       
   
8.         pid_t pid;
   
9.         int local=12;
   
10.        
    
11.         printf("this is in parant!\n");
    
12.         if((pid=vfork())<0)
    
13.         {
    
14.                 printf("fork err!\0");
    
15.                 exit(-1);
    
16.         }else if(pid==0)
    
17.         {
    
18.                 ++g;
    
19.                 local=20;
    
20.                 exit(0);//<-------------这里，没有这句最后输出local=1， 有这句输出为local=20; 为什么 这么大的不同？求解。
    
21.         }else
    
22.         {
    
23.                 sleep(13);
    
24.                 printf("back to parant! again\n");
    
25.                 printf("%d,%d\n",g,local);
    
26.                 exit(0);
    
27.         }
    
28. }

复制代码

folklore

没有这句话，其实，main就Return了。Main Return后并不会马上结束，还要调用其它函数，最后会调用exit, 你看到的是其它函数中的变量的值。

ilogo1

子进程返回怎么会影响父进程，实在不懂，Main return是指子进程返回吧？如果是指父进程return，为什么 父进程还 会执行sleep()及以后的语句？

folklore 发表于 2013-05-09 20:28
没有这句话，其实，main就Return了。Main Return后并不会马上结束，还要调用其它函数，最后会调用exit, 你看 ...

hbmhalley

ilogo1 发表于 2013-05-09 21:30
子进程返回怎么会影响父进程，实在不懂，Main return是指子进程返回吧？如果是指父进程return，为什么 父进 ...

    vfork 的子进程如果不exec的话，在 _exit 之前的任何变量修改都可能污染父进程，包括没有_exit()的显式或隐式exit()
    所以local是什么都不奇怪

The vfork() function shall be equivalent to fork(), except that the behavior is undefined if the process created by vfork() either modifies any data other than a variable of type pid_t used to store the return value from vfork(), or returns from the function in which vfork() was called, or calls any other function before successfully calling _exit() or one of the exec family of functions.

folklore

回复 3# ilogo1

You can image this:

1.     applicatinentry:
   
2.             crt_startup(env);
   
3.             int rt =main(argc,argv,opt);
   
4.             crt_leave();
   
5.             exit(rt);

复制代码

memory map

crt_startup  | main | crt_leave | exit
                       |
                       +- exit    <<--

wonghoifung

:wink:

linux_c_py_php

不要在vfork的子进程里做任何与execl无关的事情。

folklore

1. #include <stdio.h>
   
2. #include <stdlib.h>
   
3. int g=100;
   
4. int _main(){        
   
5.         pid_t pid;
   
6.         int local=12;
   
7.         printf("address of local: %p,pid: %p\n",&local,&pid);
   
8.         printf("this is in parant!\n");
   
9.         if((pid=vfork())<0){
   
10.                 printf("fork err!\0");
    
11.                 exit(-1);
    
12.         }else if(pid==0){
    
13.                 ++g;
    
14.                 local=20;
    
15.                 exit(0);
    
16.         }else{
    
17.                 sleep(13);
    
18.                 printf("back to parant! again\n");
    
19.                 printf("%d,%d\n",g,local);
    
20.                 exit(0);
    
21.         }
    
22.         return;        // -- Return to main
    
23. }
    
24. 
    
25. int modify_local(){
    
26.         volatile pid_t pid;
    
27.         volatile int _____NOTICE_THIS_VARIANT_______________________________local=1024;
    
28.         printf("address of local: %p,pid: %p\n",&_____NOTICE_THIS_VARIANT_______________________________local,&pid);
    
29.         return local+pid;
    
30. }
    
31. 
    
32. int main(){
    
33.         _main();
    
34.         modify_local();  
    
35.         exit(0);
    
36.         return 0;
    
37. }

复制代码

回复 3# ilogo1


   

folklore

and you would understand that the "local variant" in the function main may be supprise modified by other functions.
in normally program don't know this. but if you call vfork in your program, the modification may became SIGNIFICANT.

it is why you local variant "local" be changed.

folklore

so that, in normally,it is a must to call exit or execl in your program immediately following the sys calling of vfork.