C中的Fork（）函数

Question

下面是一个Fork函数的实例。以下也是输出。我的主要问题是如何处理一个分叉被称为值如何改变。所以pid1,2和3从0开始，随着分叉的发生而变化。这是因为每次发生分叉时，值都被复制到子级，并且父级中的特定值被更改了？基本上，如何使用fork函数改变数值？

#include <stdio.h> 
#include <sys/types.h> 
#include <unistd.h> 

int main() { 
    pid_t pid1, pid2, pid3; 
    pid1=0, pid2=0, pid3=0; 
    pid1= fork(); /* A */ 
    if(pid1==0){ 
     pid2=fork(); /* B */ 
     pid3=fork(); /* C */ 
    } else { 
     pid3=fork(); /* D */ 
     if(pid3==0) { 
      pid2=fork(); /* E */ 
     } 
     if((pid1 == 0)&&(pid2 == 0)) 
      printf("Level 1\n"); 
     if(pid1 !=0) 
      printf("Level 2\n"); 
     if(pid2 !=0) 
      printf("Level 3\n"); 
     if(pid3 !=0) 
      printf("Level 4\n"); 
     return 0; 
    } 
} 

然后这就是执行。

----A----D--------- (pid1!=0, pid2==0(as initialized), pid3!=0, print "Level 2" and "Level 4") 
    | | 
    | +----E---- (pid1!=0, pid2!=0, pid3==0, print "Level 2" and "Level 3") 
    |   | 
    |   +---- (pid1!=0, pid2==0, pid3==0, print "Level 2") 
    | 
    +----B----C---- (pid1==0, pid2!=0, pid3!=0, print nothing) 
     | | 
     | +---- (pid1==0, pid2==0, pid3==0, print nothing) 
     | 
     +----C---- (pid1==0, pid2==0, pid3!=0, print nothing) 
       | 
       +---- (pid1==0, pid2==0, pid3==0, print nothing) 

理想情况下，我希望看到它解释为这种方式对我有意义。 *是我主要困惑的地方。当孩子分叉例如pid1 = fork();创建一个过程与父母的所有价值，但它会传递一个值，如让我们说1给父母pid1？这意味着孩子会有pid 1 = 0，pid2 = 0和pid3 = 0，然后父母为pid1 = 2且pid2和3等于0？

Answer 1

int a = fork(); 

创建共享执行堆栈的重复进程“clone？”。父母和孩子之间的区别是函数的返回值。

得到0的孩子回来了，父母得到了新的pid。

每次复制堆栈变量的地址和值。执行继续到它已经在代码中的地步。

在每个fork，只有一个值被修改 - 返回值从fork。

Answer 2

第一至叉的一些文档（链接）

http://pubs.opengroup.org/onlinepubs/009695399/functions/fork.html

的PID是由内核提供。每次内核创建一个新进程时，它都会增加内部pid计数器，并为新进程分配这个新的唯一PID，并确保没有重复项。一旦pid达到一个很高的数字，它会包装并重新开始。

所以你永远不知道你会从fork（）得到什么样的pid，只有父母会保持它的唯一pid，并且fork会确保子进程有一个新的唯一pid。这在上面提供的文档中有说明。

如果您继续阅读文档，您将看到fork（）为子进程返回0，并且子进程的新唯一pid将返回给父进程。如果孩子想知道它是自己的新pid，你将不得不使用getpid（）来查询它。

pid_t pid = fork() 
if(pid == 0) { 
    printf("this is a child: my new unique pid is %d\n", getpid()); 
} else { 
    printf("this is the parent: my pid is %d and I have a child with pid %d \n", getpid(), pid); 
} 

以下是你的代码的一些行内注释

#include <stdio.h> 
#include <sys/types.h> 
#include <unistd.h> 

int main() { 
    pid_t pid1, pid2, pid3; 
    pid1=0, pid2=0, pid3=0; 
    pid1= fork(); /* A */ 
    if(pid1 == 0){ 
     /* This is child A */ 
     pid2=fork(); /* B */ 
     pid3=fork(); /* C */ 
    } else { 
     /* This is parent A */ 
     /* Child B and C will never reach this code */ 
     pid3=fork(); /* D */ 
     if(pid3==0) { 
      /* This is child D fork'ed from parent A */ 
      pid2=fork(); /* E */ 
     } 
     if((pid1 == 0)&&(pid2 == 0)) { 
      /* pid1 will never be 0 here so this is dead code */ 
      printf("Level 1\n"); 
     } 
     if(pid1 !=0) { 
      /* This is always true for both parent and child E */ 
      printf("Level 2\n"); 
     } 
     if(pid2 !=0) { 
      /* This is parent E (same as parent A) */ 
      printf("Level 3\n"); 
     } 
     if(pid3 !=0) { 
      /* This is parent D (same as parent A) */ 
      printf("Level 4\n"); 
     } 
    } 
    return 0; 
} 

Answer 3

系统调用fork（）用于创建进程。它不需要参数并返回进程ID。 fork（）的目的是创建一个新的进程，它将成为调用者的子进程。在创建新的子进程后，两个进程将执行fork（）系统调用之后的下一条指令。因此，我们必须将父母与孩子区分开来。这可以通过测试fork的返回值来完成（）

叉是一个系统调用，你不应该认为它是一个普通的C函数。当fork（）发生时您可以有效地创建两个拥有自己地址空间的新进程。在fork（）调用在地址空间中存储相同值之前进行初始化的变量。然而，在任一进程的地址空间内修改的值在其他进程中不受影响，其中一个是父进程，另一个是子进程。 所以，如果

pid=fork(); 

如果在代码的后续块你检查pid.Both的价值工艺运行代码的整个长度。那么我们如何区分它们呢？ 再次叉是一个系统调用，这里是区别。在新创建的子进程中，pid将存储0，而在父进程中它将存储正值.pid中的负值表示分叉错误。

当我们测试pid 的值以找出它是否等于零或大于它时，我们正在有效地发现我们是否在子进程或父进程中。

Read more about Fork