Linux:两道题检测对fork的了解

Linux下，当需要创建进程时，我们最常使用的就是fork()函数，但你真的了解它吗？

简略复习

我们先来复习一下fork的运行规则,详细请参见Linux：认识进程:
功能:以父进程为模板，创建子进程
1.会把父进程的PCB拷贝一份，部分会修改，成为子进程的PCB
2.会把父进程的虚拟地址空间拷贝一份，作为子进程的地址空间。

• 写时拷贝，父子进程公用一份代码，各有一份数据(极端情况下代码段也会发生拷贝)
• 由于大部分的内存空间可能被拷贝，创建进程的开销仍然比较高(和线程比)

3.fork 返回在父子进程中分别返回；

• 成功:父进程中返回子进程的pid ;子进程返回0;父子进程在fork后面继续往下执行。
• 失败：返回-1：原因主要是内存不够或进程太多达到上限；

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

牛刀小试

在简略地复习过后，我们就来检测一番吧:
求程序运行结果

#include<stdio.h>
#include<usistd.h>

int main(){
	for(int i = 0;i<2;i++){
		fork();
		printf("=");
	}
	return 0;
}

结果是"========"是你所期望的吗

• 乍一看，主程序申请了两个子程序，但你需要注意的是，子程序在运行时，也会运行fork();,我们来画图表达这一过程：
  
  我们看到，当i=0时，创建一个子进程，并分别向各自缓冲区写入一个=，当i=1时，这两个进程又分别创建子进程，这些新的子进程将父进程缓冲区里的=也都各自拷贝了过来，然后这四个进程都执行printf("=");至此每个进程的缓冲区都有两个=，然后都return 0 结束函数并刷新缓冲区，打印到屏幕上的=一共有8个；

#include<stdio.h>
#include<usistd.h>

int main(){
	for(int i = 0;i<2;i++){
		fork();
		printf("=");
		fflush(stdout);
	}
	return 0;
}

结果是"======"，我们来看看具体过程

这里由于每次打印=后立即刷新缓冲区打印到屏幕上，这使得i=1时两个进程fork子进程时并没有拷贝=过去，然后四个进程各自输出一个=到屏幕上，加上之前两个共打印了6个；
这两道题更加印证了前面所回顾的父子进程公用一份代码，各有一份数据(极端情况下代码段也会发生拷贝)