本节目录

• 1.fork函数初识
• 2.fork函数返回值
• 3.写时拷贝

1.fork函数初识

在Linux中，fork函数是一个非常重要的函数，它从已存在的进程中创建一个新进程。新进程叫做子进程，而原进程叫做父进程。

#include 
pid_t fork(void);
返回值：子进程返回0，父进程返回子进程的pid，出错返回-1.

进程调用fork，当控制转移到内核中的fork代码后，内核做：
分配新的内存块和内核数据给子进程。
将父进程部分数据结构内容拷贝进子进程。
添加子进程到系统进程列表中。
fork返回，开始调度器调度。

当开始只有一个执行流时，fork之后，变成两个执行流。

面试题：请你描述一下，fork创建子进程，操作系统都做了什么？
创建一个子进程，则系统里面多了一个进程，进程 = 内核数据结构+进程代码和数据，进程的代码和数据一般是从你的C/C++程序中来，也就是从磁盘而来。
创建子进程，给子进程分配对应的内核数据结构，必须子进程独有的，因为进程具有独立性！理论上，子进程也要有自己的代码和和数据，可是，一般而言，我们没有加载的过程，也就是说，子进程没有自己的代码和数据。所以子进程只能使用父进程的代码和数据。
代码：都是不可被写的，只能读取，所以父子共享，没有问题。
数据：可能被修改，所以必须分离。

对于数据而言：
1.创建子进程的时候就直接拷贝分离？问题？？可能拷贝子进程根本不会用到的数据空间，即使用到了，也可能只是读取！
创建子进程的时候不需要将不会访问的数据或者只会读取的数据拷贝一份，只需要拷贝父或子进程会写入的数据。
接下来又有两个问题，一般而言，即使是操作系统也无法知道那些数据可能会被写入，另外，提前拷贝了，你会立马使用吗？
所以操作系统选择了写时拷贝技术，来进行父子进程的数据的分离。
fork之后，父子进程共享所有的代码。

fork之后，子进程开始执行代码的初始位置在哪？
1.我们汇编之后，会有很多行代码，而且每行代码加载到内存中后，都会有对应的地址。
2.因为进程随时可能被中断（可能并没有执行完），下次回来必须从之前的位置继续执行（不是最开始嗷），就要求CPU必须记录下来，CPU中有EIP寄存器，存储着CPU要执行指令的地址，用它来记录当前进程的执行位置。也即进程的上下文数据。
寄存器在CPU内只有一份，但寄存器内的数据，可以存储多份。

创建的时候，要不要给子进程的父进程的上下文数据？
虽然父子进程给自调度，各自修改EIP，但是已经不重要了，因为子进程已经认为自己的EIP，就是fork之后的代码。

当一个进程调用fork之后，就有两个二进制代码相同的进程。而且它们都运行到相同的地方。但每个进程都可以开始它们自己的旅程。
看如下程序：

 1 #include 2 #include 3 #include 4 #include 5 int main()6 {7   pid_t pid;8   printf("Before:pid is %d\n",getpid());9 10   pid = fork();11   if(pid == -1)                                                                                                                                                                                              12   {13     perror("fork()"),exit(1);14   }15   printf("After:pid is %d,fork return %d\n",getpid(),pid);16   sleep(1);17   return 0;18 }

从结果可以看出，fork之前，父进程独立执行，fork之后，父子进程两个执行流分别执行。注意：fork之后，父子进程谁先执行完全由调度器决定。

2.fork函数返回值

子进程返回0
父进程返回子进程的pid

3.写时拷贝

通常父子代码共享，当任意一方进行写入，便以写时拷贝的方式各自一份副本。
具体见下图：

fork常规用法
一个父进程希望复制自己，使父子进程同时执行不同的代码段。例如：父进程等待客户端请求，生成子进程来处理请求。
一个进程要执行一个不同的程序。例如子进程从fork返回后，调用exec函数。

fork调用失败的原因
系统中有太多的进程
实际用户的进程数超过了限制