菜狗杂谈----从linux fork()谈面试

最新推荐文章于 2021-08-12 21:12:21 发布
最新推荐文章于 2021-08-12 21:12:21 发布
阅读量223 收藏
点赞数
分类专栏： 操作系统 文章标签： linux fork 新手
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_42621117/article/details/102943999
版权

linux进程

进程的定义在这里就避开不谈，我们主要以进程模型为起点开始

0x1 进程的创建

操作系统需要有一种方式来创建进程。
4种主要事件会导致的创建：

  1. 系统初始化
    OS启动时，会创建若干个进程，分为：前台进程 和 后台进程
    停留在后台接收请求的进程叫守护进程
  2. 正在运行的程序执行了创建进程的系统调用
    进程可以通过系统调用再创建一个新的进程
  3. 用户请求创建一个新进程
    在交互式系统中，键入一个命令或点(双)击一个图标就可以启动一个程序，这也意味着进程的产生
  4. 一个批处理作业的初始化
    大型机环境中，在用户提交批处理作业时，OS在有资源可用时会创建一个新的进程进行作业

从技术层面而言，上述情况中，新进程都是由一个已存在的进程执行了用于创建进程的系统调用而创建的。在UNIX中，创建新进程的系统调用有且只有一个：fork()。
调用fork()后，父子进程拥有相同的内存映像、环境字符串、打开文件。通常子进程会调用execve或者类似系统调用，修改其内存映像并运行一个新的程序。
在UNIX中，子进程的初始地址空间是父进程的一个副本，这涉及两个不同的地址空间，不可写的内存区是共享的。某些UNIX实现程序正文在两者之间共享，因为不能被修改。或者子进程共享父进程的所有内存，通过写时复制共享。总而言之，强调的点是：可写的内存不能被共享的。

0x2 fork()概览

fork()的作用是根据一个现有的进程复制出一个新进程，原来的进程称为父进程（Parent Process），新进程称为子进程（Child Process）

系统调用描述
forkfork创造的子进程是父进程的完整副本，复制了父亲进程的资源，包括内存的内容task_struct内容
vforkvfork创建的子进程与父进程共享数据段,而且由vfork()创建的子进程将先于父进程运行
cloneLinux上创建线程一般使用的是pthread库 实际上linux也给我们提供了创建线程的系统调用，就是clone

fork()原型：

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


int main(void)
{
	pid_t fpid;  //fork() retern value
    int count = 1;
    
    fpid=fork(); 

    if(fpid < 0)
    {
        printf("fork error : ");
    }
    else if(fpid == 0)  // fork return 0 in the child process because child can get hid PID by getpid( )
    {
        printf("the child process, the count is: %d (%p),the pid is: %d\n", ++count, &count, getpid());
    }
    else  // the PID of the child process is returned in the parent’s thread of execution
    {
        printf("the parent process, the count is: %d (%p),the pid is: %d\n", count, &count, getpid());
    }
    return EXIT_SUCCESS;
}

fork()调用信息：
包含头文件 <sys/types.h> 和 <unistd.h>
函数功能 ： 创建一个子进程
函数原型 ：pid_t fork(void);
参数 ： 无参数。
返回值:
如果成功创建一个子进程，对于父进程来说返回子进程ID
如果成功创建一个子进程，对于子进程来说返回值为0
如果为-1表示创建失败

示意图如下：
在这里插入图片描述

fork()后父子进程形态
  1. 子进程继承父进程属性：
  • uid, gid, euid, egid
  • 附加组id(sgid, supplementary group id)
    /* sgid引入原因是有时候希望这个用户属于多个其他部门，这些其他部门的gid就是sgid */
  • 进程组id, 会话id
  • SUID标记, SGID标记
  • 控制终端
  • 当前工作目录/根目录
  • 文件创建时的umask
  • 文件描述符的文件标志(close-on-exec)
  • 信号屏蔽和处理
  • 存储映射
  • 资源限制
  1. 子进程独有（与父进程不同的地方）：
  • pid不同
  • 进程时间被清空
  • 文件锁没有继承
  • 未处理信号被清空
  1. fork()后父子进程状态：
  • fork系统调用之后，父子进程将交替执行
  • 任何一个进程都必须有父进程
  • 如果父进程先退出，子进程还没退出----那么子进程的父进程将变为init进程。
  • 如果子进程先退出，父进程还没退出----那么子进程必须等到父进程捕获到了子进程的退出状态才真正结束，否则这个时候子进程就成为僵进程
  • 子进程退出会发送SIGCHLD信号给父进程，可以选择忽略或使用信号处理函数接收处理就可以避免僵尸进程
  1. copy on write（写时复制）

定义：一个被使用在程式设计领域的最佳化策略。其基础的观念是，如果有多个呼叫者(callers)同时要求相同资源，他们会共同取得相同的指标指向相同的资源，直到某个呼叫者(caller)尝试修改资源时，系统才会真正复制一个副本(private copy)给该呼叫者，以避免被修改的资源被直接察觉到，这过程对其他的呼叫只都是通透的(transparently)。此作法主要的优点是如果呼叫者并没有修改该资源，就不会有副本(private copy)被建立。

解释：如果多个进程要读取它们自己的那部分资源的副本，那么复制是不必要的。每个进程只要保存一个指向这个资源的指针即可。如果一个进程要修改自己的那份资源的“副本”，那么就会复制那份资源。

fork就是基于写时复制，只读代码段是可以共享

若使用vfork 则子进程和父进程占用同一个内存映像，在子进程修改会影响父进程。 同时只有在子进程执行exec/exit之后才会运行父进程。实际上子进程占用的栈空间就是父进程的栈空间，所以需要非常小心。如果vfork的子进程并没有 exec或者是exit的话，那么子进程就会执行直到程序退出之后，父进程才开始执行。而这个时候父进程的内存已经完全被写坏。

0x3 fork()实战

现在来看一道linux开发的面试题

linux下gcc编译如下文件

#include <stdio.h>
#include <sys/types.h>
#include <unistd.h>
 
int main()
{
    pid_t pid1;
    pid_t pid2;
 
    pid1 = fork();
    pid2 = fork();
 
    printf("pid1:%d, pid2:%d\n", pid1, pid2);

已知从这个程序执行到这个程序的所有进程结束这个时间段内，没有其它新进程执行.问题如下：

  • 请说出执行这个程序后，将一共运行几个进程？
  • 如果其中一个进程的输出结果是“pid1:1001, pid2:1002”，写出其他进程的输出结果（不考虑进程执行顺序）

明显这道题的目的是考察linux下fork的执行机制。下面我们通过分析这个题目，谈谈linux下fork的运行机制。

预备知识
  • 进程可以看做程序的一次执行过程。在linux下，每个进程有唯一的PID标识进程。PID是一个从1到32768的正整数，其中1一般是特殊进程init，其它进程从2开始依次编号。当用完32768后，从2重新开始
  • linux中有一个叫进程表的结构用来存储当前正在运行的进程。可以使用ps aux命令查看所有正在运行的进程
  • 进程在linux中呈树状结构，init为根节点，其它进程均有父进程，某进程的父进程就是启动这个进程的进程，这个进程叫做父进程的子进程
  • fork的作用是复制一个与当前进程一样的进程。新进程的所有数据（变量、环境变量、程序计数器等）数值都和原进程一致，但是是一个全新的进程，并作为原进程的子进程
解答

程序执行过程：

  1. 从shell中执行此程序，启动了一个进程。
    我们设这个进程为P0，设其PID为XXX（解题过程不需知道其PID）

  2. 当执行到pid1 = fork()时，P0启动一个子进程P1。
    由题目知P1的PID为1001。我们暂且不管P1

  3. P0中的fork返回1001给pid1
    继续执行到pid2 = fork();此时启动另一个新进程，设为P2
    由题目知P2的PID为1002。同样暂且不管P2

  4. P0中的第二个fork返回1002给pid2
    继续执行完后续程序，结束
    所以，P0的结果为“pid1:1001, pid2:1002”

  5. 再看P2，P2生成时，P0中pid1=1001，所以P2中pid1继承P0的1001
    而作为子进程pid2=0，P2从第二个fork后开始执行，结束后输出**“pid1:1001, pid2:0”**

  6. 接着看P1，P1中第一条fork返回0给pid1，接着执行
    而后面接着的语句是pid2 = fork();执行到这里，P1又产生了一个新进程，设为P3，先不管P3

  7. P1中第二条fork将P3的PID返回给pid2
    由预备知识知P3的PID为1003，所以P1的pid2=1003
    P1继续执行后续程序，结束，输出“pid1:0, pid2:1003”

  8. P3作为P1的子进程，继承P1中pid1=0，并且第二条fork将0返回给pid2
    所以P3最后输出“pid1:0, pid2:0”

  9. 至此，整个执行过程完毕

答案：

  1. 4个（P0, P1, P2, P3）
  2. pid1: 1001, pid2: 1002
    pid1: 1001, pid2: 0
    pid1: 0, pid2: 1003
    pid1: 0, pid2: 0

DFS:


					    ------->pid2    (forth)
					    |
					    |
					    |
		------->pid1----------->pid1    (third)
		|      (1001)
		|
		|
		|               ------->pid2    (second)
		|		        |      (1002)
		|		        |
		|		        |
root----------->root----------->root    (first)

以P0为root的进程数

验证：

在这里插入图片描述

下图即运行结果，注意以实际分配pid为基数计算即可（本例中是15638）

在这里插入图片描述

F1ash000
关注
专栏目录
linux下fork的一道经典面试题
大洋深处
08-23 1364
题目： 请问下面的程序一共输出多少个”-”？ int main(void) { int i; for(i=0;i&amp;lt;2;i++){ fork(); printf(&quot;-&quot;); } return 0; } 输出为： 这里看另外一个程序 int main(void) { int i; for(i=0;i&amp;lt;2;i++){ fork(...
Git-Fork for Windows
08-30
https://git-fork.com/update/win/ForkInstaller.exe windows桌面版的图形化Git管理工具
Linux fork面试题
AllenHuai的专栏
09-06 1368
fork
linux关于fork面试题
sun
08-12 123
下列程序输出几个“A”？ 代码一： int main(int argc, char* argv[],char* envp[]) { int i = 0; for( ; i < 2; i++ ) { fork(); printf("A\n"); } exit(0); } 代码二： int main(int argc, char* argv[],char* envp[]) { int i = 0;
Linux——fork面试题讨论
Forever_ZhangKe的博客
04-04 418
#include &lt;stdio.h&gt; #include &lt;sys/types.h&gt; #include &lt;unistd.h&gt; int main(void) { int i; for(i=0; i&lt;2; i++){ fork(); printf("-"); } wait(NULL); wait(NULL...
某公司笔试题——Linux fork()
依然那霖哥
04-04 919
直接来源代码： #include #include #include int main() { for (int i = 0; i < 2; ++i) { fork(); printf("K"); } wait(NULL); return 0; } 请问会输出多少个K? 进程关系如下图： 图.
fork-rest-dataware-master
11-28
fork-rest-dataware-master
git-fork mac客户端
12-02
Fork-2.18.1 Mac,a fast and friendly git client for Mac and Windows
fork-cleaner：快速清理github帐户上未使用的fork
02-03
Fork-Cleaner将向您显示所有叉子，然后您可以在TUI上检查要删除还是不删除： 安装 在macOS上： brew install fork-cleaner 在Linux上： snap install fork-cleaner 或从发布页面下载档案之一。
前端大厂最新面试题-fork_clone_branch.docx
最新发布
06-06
前端大厂最新面试题-fork_clone_branch.docx
JFlashARM批处理下载STM32
12-12
批处理使用JFlashARM下载hex文件。可以将待下载的hex文件拖到该批处理文件开始运行，也可以直接双击运行批处理，根据命令行提示完成下载。
从一道面试题谈linux下fork的运行机制
weixin_34194317的博客
12-11 318
      今天一位朋友去一个不错的外企面试linux开发职位，面试官出了一个如下的题目：       给出如下C程序，在linux下使用gcc编译： #include "stdio.h" #include "sys/types.h" #include "unistd.h" int main() { pid_t pid1; pid_t pid2; ...
简述C语言fork()函数用法：
热门推荐
cuit2016123070的博客
10-23 4万+
首先了解 fork 的功能： fork调用的一个奇妙之处就是它仅仅被调用一次，却能够返回两次，它可能有三种不同的返回值： 1）在父进程中，fork返回新创建子进程的进程ID； 2）在子进程中，fork返回0； 3）如果出现错误，fork返回一个负值； 实例： /*linux下：*/ #include &lt;stdio.h&gt; #include &lt;unistd.h&gt; i...
MCU_segger-JLINK批处理脚本烧录工具-JFlash
m0_38042083的博客
11-14 5909
MCU_JLINK批处理脚本烧录工具-JFlash关于JLINK升级烧录脚本指令指令解释合理的创建标题，有助于目录的生成如何改变文本的样式插入链接与图片如何插入一段漂亮的代码片生成一个适合你的列表创建一个表格设定内容居中、居左、居右SmartyPants创建一个自定义列表如何创建一个注脚注释也是必不可少的KaTeX数学公式新的甘特图功能，丰富你的文章UML 图表FLowchart流程图导出与导入导出导入 关于JLINK升级烧录 使用ARM内核的MCU或者SOC都可以通过JLINK的工具来进行烧录，JLINK
使用fork()系统调用创建进程过程分析
weixin_30898109的博客
04-12 1271
1. 在menu/test.c中添加fork()调用源码： int MyFork(int argc, char* argv[]) { // fork a new process int pid = 0; do { pid = fork(); } while(pid < 0); if(pid == 0) { ...
笔试面试——fork()
huakaimo的博客
04-20 371
转载：http://www.cnblogs.com/leoo2sk/archive/2009/12/11/talk-about-fork-in-linux.html 到fork将程序切成两段.       上图表示一个含有fork的程序，而fork语句可以看成将程序切为A、B两个部分。然后整个程序会如下运行：       step1、设由shell直接执行程序，生成了
linux父子进程轮流交替数数,[新手求解]父子进程交替执行的问题
weixin_42102272的博客
05-09 378
本帖最后由 wg4478 于 2012-03-02 17:31:38 编辑/*父进程每3秒创建文件,子进程每4秒读取打印并删除文件*//*IncludeFiles*/#include#include#include#include#include#include#include/*MACRO*/#defineMAX5/*openfile,andwrite*/intparent(in...
Java Fork-Join框架详解与应用实践
“这篇文档是一份关于Java Fork-Join框架的应用和演示的大学本科毕业论文，主要探讨了在多处理器系统环境下，如何利用Fork-Join框架实现高效的并发编程，以应对硬件并行性的需求。论文详细介绍了进程与线程的基础...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值