前面我们介绍了的进程的标识符,下面继续介绍进程标识符和进程创建的知识。
目录
一、进程创建
<1>fork函数的返回值
<2>创建子进程的目的
<3>代码共享
二、fork函数的相关问题
<1>为什么给父进程返回子进程的pid,给子进程返回0?
<2>fork函数为什么会返回两次?
<3> 为什么同一变量有不同的值(也就是上面死循环示例的id)?
一、进程创建
前面我们用fork来创建了一个子进程,这里fork()函数会返回两个值,在fork之后,fork后面的代码会被执行两次。父进程执行完后,子进程会重新从fork处开始执行代码(这两个的顺序没法确定,这是由操作系统的调度器决定的)。这里我们先从这个函数的返回值来看。
<1>fork函数的返回值
我们可以打开对应的手册观察fork的返回值
在man手册中,我们可以看见如果fork这个系统调用成功的话,对于父进程,如果创建成功,则fork函数就会返回子进程的pid,如果创建失败了,就返回-1。对于子进程,如果创建成功,fork函数就会返回0,如果不成功,则直接就没有该进程。
这里最令人疑惑的点是一个函数由两个返回值,但是这里涉及知识比较多,暂时先不讲,留到后面描述。
<2>创建子进程的目的
我们创建子进程是为了让父子进程执行不同的操作,这里我们可以用他们的返回值来实现该操作,
这里我用的是vscode,我们可以把远程终端(这里我的是云服务器链接到vscode,然后在vscode上编辑代码)链接到我们的vscode。这里根据返回值的不同,我们就可以实现不同进程执行不同的代码。
结果如上图,这里会有两个死循环交替进行(这里稍加解释一下,正常一个进程在cpu里面只会运行一段时间,一段时间过后,cpu就会执行下一个进程,这个其实就是时间片的概念。这也就是为什么我们会看到两个死循环交替进行的原因),这里我们就用两个返回值,使得系统执行不同的程序。
<3>代码共享
前面我们了解到,进程 = 可执行程序的代码和数据+内核数据结构, 这里的内核数据结构能由系统创建,但是由父进程创建的子进程哪里来的代码和数据呢?
其实子进程指向的就是父进程的代码和数据,上面用两个死循环的程序其实都是父进程的代码,只不过这里被切成两部分(这里先这样理解),我们通过不同的返回值来实现不同进程执行不同代码块。这里的内核数据结构,也就是子进程的PCB,大部分也是从父进程的PCB上拷贝下来的,这也是子进程能指向和父进程同一块代码和数据的原因。
二、fork函数的相关问题
<1>为什么给父进程返回子进程的pid,给子进程返回0?
一个父进程可能由很多的子进程,父进程也需要子进程pid来唯一确定子进程,从而实现对子进程的控制,但是子进程就只有一个父进程,很好获取父进程的pid,而且子进程不太需要父进程的pid,所以给子进程的返回值是零。
<2>fork函数为什么会返回两次?
在调用fork这个函数后,内核会帮我们进行创建进程等等操作(这里不细讲),在执行到最后一行代码时,父子进程已经被创建,父子分别返回一次
<3> 为什么同一变量有不同的值(也就是上面死循环示例的id)?
在日常我们使用手机时,打开了许多个软件,如果我们关闭了一个软件,另外几个软件会不会受到影响呢?答案显然是不会。这里打开软件后,其实在系统中,这就已经变成了一个进程,如果我们关闭一个进程,其他进程也不会受到影响,所以我们可以得出一个结论,进程之间是互相不影响的,它们具有独立性。回到上面的问题,假如我们要修改一个变量时,为了保证进程的独立性,以我们把子进程或父进程指向变量的内存指针改变一下。下面我以子进程修改为例,画张图表示
具体过程,本篇文章不做详谈,这里涉及进程地址空间的知识,后面我会介绍。这里我们只要知道在linux中我们能用一个变量表示两个值就可以了。
关于标识符跟进程创建就先介绍到这里,如果希望本文对各位读者有些许帮助,如果文中有不当之处,还望各位大佬指正,谢谢!!!