操作系统 — fork()函数的使用与底层原理

た入场券 2022-06-04 04:23 504阅读 0赞

# fork()函数的使用与底层原理 #

在我第一次接触到fork函数的时候，那个时候我在牛客网刷题然后呢碰到一个关于fork()的函数的问题.总是没有办法理解那个printf()

为什么输出那 么 多次.终于通过学习完进程的创建明白了fork()的时候到底发生了什么事情. 下面我就来谈一谈我的一点小小的积累. 首

先我们来认识fork()的运用.

#include<unistd.h>
    
    pid_t fork(void);
    
    返回值:自进程中返回0，父进程返回进程id，出错返回-1

fork()系统调用通过复制一个现有进程来创建一个全新的进程. 进程被存放在一个叫做任务队列的双向循环链表当中.链 表当中的每一项

都是类型为 task\_struct成为进程描述符的结构.也就是我们写过的 [进程PCB][PCB] .

小知识:内核通过一个位置的进程标识值或PID来标识每一个进程.//最大值默认为32768，short int短整型的最大值. 他就是系统中允许

同时存在的进 程 最大的数目. 如果你觉得我在胡扯！！！ 那么！ 你去你的linux下的proc目录中寻找一个 pid\_max的文件，并打开它.

这个时候你就懂了.

![20171204151558526][]

## fork()运行时做的事情 ##

首先我们来看一段代码，不过这里会有一点奇怪的现象:

![20171204154550631][]

这段代码的运行结果，大家如果像我当时不了解fork的时候，一定会以为输出结果是两个doing，然后2个printf里面的内容. 因为

我们复制出来了两个 一模一样的进程，那么他们就应该做同样的事情. But!!! 我们看运行结果:

![20171204154737520][]

结果并非我们想的那样，这个时候我们就需要知道fork出子进程之后，程序的运行细节.这里我画一张图帮助我理解：

![20171204155921183][]

一般来说，在fork之后是父进程先执行还是子进程先执行是不确定的.这取决于内核所使用的调度算法.如果要求父，子进程之间相

互同步.则要求某种 形式的进程间通信. 好了我们继续，当进程调用fork后，当控制转移到内核中的fork代码后，内核会做4件事情:

**1.分配新的内存块和内核数据结构给子进程**

**2.将父进程部分数据结构内容拷贝至子进程**

**3.添加子进程到系统进程列表当中**

**4.fork返回，开始调度器调度**

第一个问题，为什么frok成功调用后返回两个值?

由于在复制时复制了父进程的堆栈段，所以两个进程都停留在fork函数中，等待返回.因为fork函数会返回两次,一次是在父进程中返回，

另一次是在子进程中返回，这两次的返回值不同.

从fork函数开始以后的代码父子共享，既父进程要执行这段代码，子进程也要执行这段代码.(子进程获得父进程数据空间，堆和栈的副

本. 但是父子进程并不共享这些存储空间部分. 父，子进程共享代码段.)现在很多现实并不执行一个父进程数据段，堆和栈的完全复制.

而是采用 [写时拷贝技术][Link 1]( 不懂 可以戳进去看一看).这些区域有父子进程共享，而且内核地他们的访问权限改为只读的.如果父子进程中任一

个试图修改这些区域,则内核值为修改区域的那块内存制作一个副本, 也就是如果你不修改我们一起用，你修改了之后对于修改的那部分

内容我们分开各用个的.

fork()函数在底层中做了什么?

linux平台通过clone()系统调用实现fork(). fork(),vfork()和clone()库函数都根据各自需要的参数标志去调用clone()，然后由clone()去

调用do\_fork(). 再然后do\_fork()完成了创建中的大部分工作，他定义在kernel/fork.c当中.该函数调用copy\_process(). 然后重点来了，

我们看看这个copy\_process函数到底做了那些事情?? 我画一张图帮我们理解：

![20171204170716379][]

#    vfork和fork的之间的比较: #

vfork()的诞生是在fork()还没有写时拷贝的时候，因为那个时候创建一个子进程的成本太大了，如果一下子创建好多了那么程序的效率

一定会下 降. 然后就有人提出了vfork(). vfork的实现原理非常简单，就是子进程，父进程完全公用一个资源. 就是是有人修改了内容，

甚至main()函数退出了 也不会新开辟一个空间. 这里里会有问题的，如果你的一个子进程没有使用exit()退出，那么程序就会出现段错误.

不相信可以去试一试~

为什么会出现段错误?

在函数栈上面，子进程运行结束了，main的函数栈被子进程释放了，然后父进程在使用的时候，就访问不到了，一旦vfork出子进程，

退出的时候需要 使用exit来结束.

**vfork和fork之间的区别:**

**1.fork父子进程交替运行，vfork子进程运行，父进程阻塞，直到子进程结束.**

**2.fork实现了写时拷贝. vfork直接让父子进程公用资源然后无论如何也不会多开辟空间拷贝了,**

**3,vfork必须使用exit或者excl退出.**

**4.就算是fork使用了写时拷贝，也没有vfork性能高.**

**5.每个系统上的vfork都有问题，推荐不要使用.**

[PCB]: http://blog.csdn.net/dawn_sf/article/details/78639785
[20171204151558526]: /images/20220604/cae79c2890664f3cb3b217dc435b201e.png
[20171204154550631]: /images/20220604/b03c646973de4677bb742c8708df3847.png
[20171204154737520]: /images/20220604/f61166b85db34b089401dc3bf14e82f7.png
[20171204155921183]: /images/20220604/d3e0d56610b749a3b4beacb688ddf682.png
[Link 1]: http://blog.csdn.net/dawn_sf/article/details/66522352
[20171204170716379]: /images/20220604/c348cfeee26742caaa26e4d4754df72d.png

发表评论取消回复

表情：

评论列表（有 0 条评论，504人围观）

还没有评论，来说两句吧...

相关阅读

相关 Linux fork()函数底层CopyOnWrite写时复制实现原理剖析

> 创建子进程的速度应该是怎么样的？ > > 如果父进程是redis，内存数据比如说有10G，需要考虑的有两个点： > > ①速度如何 > > ②内存空间够不够 > >

红太狼/ 2023年10月07日 08:33/ 0 赞/ 77 阅读

相关操作系统底层工作原理

1、CPU指令结构 CPU内部结构控制单元运算单元数据单元 ![在这里插入图片描述][2f7477325638448eaa3a5f839b34

爱被打了一巴掌/ 2023年09月28日 15:59/ 0 赞/ 115 阅读

相关 27-fork 函数与分身术

初步体验进程的概念后，你也知道了你的 a.out 进程实际上是由终端 bash 进程创造出来的。那 bash 进程的父进程又是谁呢？如果你不断追溯下去，你就会发现，最终于那个进

谁借莪１个温暖的怀抱￠/ 2023年01月06日 05:48/ 0 赞/ 137 阅读

相关 [并发编程] - 操作系统底层工作原理

文章目录冯诺依曼计算机模型 CPU内部结构控制单元运算单元存储单元 CPU缓存结构 CPU读

逃离我推掉我的手/ 2022年12月03日 05:25/ 0 赞/ 286 阅读

相关操作系统之 fork 函数典例篇

【1】不算main这个进程自身，到底创建了多少个进程啊？ int main(int argc, char argv[]) { fork();

亦凉/ 2022年08月05日 08:00/ 0 赞/ 255 阅读

相关操作系统之 fork 函数概念篇

由fork创建的新进程被称为子进程（child process）。该函数被调用一次，但返回两次。两次返回的区别是子进程的返回值是0，而父进程的返回值则是新进程（子进程）的进程

悠悠/ 2022年08月05日 07:50/ 0 赞/ 273 阅读

相关 fork与vfork 函数

一)fork的概述　　.操作系统对进程的管理,是通过进程表完成的.进程表中的每一个表项,记录的是当前操作系统中一个进程的信息. 　　.进程在系统的唯一标识是PID,PID

小灰灰/ 2022年06月12日 11:28/ 0 赞/ 321 阅读

相关操作系统 — fork()函数的使用与底层原理

fork()函数的使用与底层原理在我第一次接触到fork函数的时候，那个时候我在牛客网刷题然后呢碰到一个关于

た入场券/ 2022年06月04日 04:23/ 0 赞/ 505 阅读

相关操作系统 — 线程和fork

线程和fork 对于fork相信大家都已经熟悉的不能再熟悉了! 我们最近学习到了线程，我们都知道了新创建的线程可以访问进

妖狐艹你老母/ 2022年06月01日 05:45/ 0 赞/ 260 阅读

相关操作系统底层认知

CPU发展中，比较著名的摩尔定律：摩尔定律是[英特尔][Link 1][创始人][Link 2]之一[戈登·摩尔][Link 3]的经验之谈，其核心内容为：集

青旅半醒/ 2021年09月25日 06:08/ 0 赞/ 340 阅读