这两天在看linux的fork函数,把这两天看到的消化一下,说说个人理解。html
主要得益与两篇大牛的文章:linux
推荐先看这篇:从一道面试题谈linux下的fork运行机制面试
再看这篇:Linux中fork()函数详解
算法
第一篇虽然只有一个例子,可是感受把fork的执行过程介绍很详尽,第二篇的例子很经典,可是对刚学的小白来讲有点困难。函数
接下来谈谈看过以后个人总结与理解
操作系统
首先必须明确一下几点:
code
1.进程在linux中成树状结构, init为根节点,其它进程均有父进程,某进程的父进程就是启动这个进程的进程,这个进程叫作父进程的子进程。htm
2.fork函数的做用就是建立一个子进程,子进程复制父进程的代码段,数据段,BSS段,堆,栈等全部用户空间的信息,在内核中操做系统为其从新申请了一个PCB,而且使用父进程的PCB来初始化,除了PID等特殊信息外,几乎全部的信息都是同样的
blog
3.父子进程在建立了子进程后互相不关联,以独立身份抢占CPU资源,具体谁先执行有调度算法决定,用户空间没有办法干预,继承
4.子进程开始执行代码的位置是fork函数执行后的代码处,以前的都是继承父进程的
下面结合两个例子阐述一下fork的执行
例1:
#include <stdio.h> #include <unistd.h> int main(){ int count = 0; pid_t = fork(); if(pid < 0) printf("error in fork!\n"); else if(pid == 0){ count++; printf("child: count = %d\n",count); else{ count++; printf("father: count = %d\n",count); } return 0; }
结果:
father :count = 1
child:count = 1
在fork以后,父进程就建立了一个新的进程(子进程),子进程基本上就是父进程的副本,父进程中count=0,子进程就从父进程中继承该值,两个进程都执行if {....}. else if {.....} else{ ...}条件判断语句,只不过在执行了fork以后,父子进程中pid的值是不同的的,父进程中pid是子进程的进程号,子进程的pid是0,因此两进程进入的就是不一样的条件判断子句,可是两进程之间的count之间是互补影响的,因此打印的都是1
因此对于条件判断语句两个进程执行的是不一样的,
#include <stdio.h> #include <unistd.h> int main(){ fork();//step1 fork();//step2 return 0; }
上述程序产生了多少个进程。
step1:最初的进程假设为p0,fork函数产生一个子进程p1,以后p1继承p0的代码段,数据段,BSS段等信息,从step处开始执行,p0也接着执行。
step2:p0产生子进程p2,p1产生子进程p3,因此最后共p0,p1,p2,p3四个进程。
#include <stdio.h> #include <unistd.h> int main(){ pid_t pid; printf("fork \n");//*** //printf("fork");//*** pid = fork(); if(pid < 0) printf("error in fork!\n"); else if(pid == 0){ printf("child\n"); else{ printf("father\n"); }
***的两个printf
选择带\n的结果:
fork
child
father
选择不带\n的结果:
fork child
fork father
为何一个换行符就能有这么大差异:
这与printf的缓冲机制有关,printf某些内容时,操做系统仅仅是把该内容放到了stdout的缓冲队列并无实际的写到屏幕,可是只要看到\n就会打印并刷新stdout,上述程序选择执行带\n的printf的话,子进程没法从父进程中继承fork,而若是选咋执行不带\n的printf的话,子进程继承父进程的流缓冲区,等到执行printf("child\n");时遇到\n时同时输出fork child。
若是想炼手能够看文章开头的第二篇文章,原理就是这些,接下来的就是推敲画图分析了。