fork函数的认识

fork函数的认识

fork函数从已经存在的进程中创建一个新的进程，新进程为子进程，原进程为父进程。子进程返回0，父进程返回子进程的pid。

1. 会把父进程的PCB拷贝一份，稍加修改，成为子进程的PCB

2. 会把父进程的虚拟地址空间拷贝一份，作为子进程的地址空间。
   写时拷贝=>父子进程共用一份代码，各自有一份数据。
   由于大部分的内存空间可能被拷贝，创建进程开销仍然比较高（和线程相比）
   在有些场景下，线程的创建也会被认为开销比较高（和协程（Golang））

3. fork 返回会在父子进程中分别返回
   父进程中返回子进程的pid
   子进程返回 0
   在 fork 后面继续往下执行

4. 父子进程执行顺序没有先后关系，全靠调度器来实现

首先先看一段代码

  1 #include<stdio.h>
  2 #include<unistd.h>
  3 int main()
  4 {
  5   int i=0;
  6   for(i=0;i<2;++i)
  7   {
  8     fork();
  9     printf("=");                                                                                                                                 
 10   }
 11   return 0;
 12 }

那么这个程序会打印出几个“=”呢？
首先我们知道程序中的循环语句会执行两次。

当 i = 0 时，情况是这样的：fork 函数以父进程为模版创建出一个子进程，printf 函数执行了两次，缓冲区中存有两个 “=”。

当 i = 1 时，情况时这样的：fork 函数又分别以父进程为模版创建出两个子进程，此时的缓冲区中共有四个 “=” 。随后四个进程又执行了一次 printf 函数，所以缓冲区中共有八个 “=” ，函数结束后打印 八个 “=” 。

结果：打印出了八个“=”

那么代码稍微改动一下呢？在每次 printf 函数执行完后就刷新一次缓冲区，这样还会打印几个“=“？

  1 #include<stdio.h>
  2 #include<unistd.h>
  3 int main()
  4 {
  5   int i=0;
  6   for(i=0;i<2;++i)
  7   {
  8     fork();
  9     printf("=");
 10     fflush(stdout);    //缓冲区刷新                                                                                                                                    
 11   }

当 i = 0 时，情况是这样的：fork 函数以父进程为模版创建出了一个子进程，两个进程执行完后，缓冲区有两个 “=” ，然后被 fflush 函数刷新了缓冲区，所以两个 “=” 直接输出了，此时缓冲区里面已经没有了 “=” 。

当 i = 1 时，情况时这样的：fork 函数分别父进程为模版创建两个子进程，此时，缓冲区内没有 “=” ，四个进程执行 printf 函数 打印了 四个 “=” ，加上之前已经输出的两个 “=” ，总共打印了六个 “=” 。

结果：打印出了六个“=”