c - fork翻译 - ubuntu fork
为什么这个程序打印“分叉!”4次? (4)
为什么这个程序打印“分叉!”4次?
#include <stdio.h>
#include <unistd.h>
int main(void) {
fork() && (fork() || fork());
printf("forked!\n");
return 0;
}
对于所有的downvoters,这是来自一个合并但不同的问题。 责备SO。 谢谢。
您可以将问题分解为三行,第一行和最后一行都只是进程数量的两倍。
fork() && fork() || fork();
运营商是短路的,所以这是你得到的:
fork()
/ \
0/ \>0
|| fork() && fork()
/\ / \
/ \ 0/ \>0
* * || fork() *
/ \
* *
所以这总共是4 * 5 = 20个处理每个打印一行。
注意:如果由于某种原因fork()失败(例如,您对进程数有一些限制),它将返回-1,然后您可以得到不同的结果。
一个来自main()
,另一个来自每个fork()
。
注意所有三个forks()
都将被执行。 你可能想看看ref :
返回值
成功完成后, fork()应将0返回给子进程,并将子进程的进程ID返回给父进程 。 这两个进程都应该继续从fork()函数中执行。 否则,-1应返回到父进程,不应创建子进程,并应设置errno来指示错误。
请注意,进程ID不能为零,如此处所述。
那么究竟发生了什么?
我们有:
fork() && (fork() || fork());
因此,第一个fork()
将返回父非零进程ID,而它将返回0到子进程。 这意味着逻辑表达式的第一个分支将在父进程中被评估为true,而在子进程中它将被评估为false,并且由于短路评估 ,它将不会调用剩下的两个fork()
。
所以,现在我们知道至少会得到两个打印件(一个来自main,另一个来自第一个fork()
)。
现在,父进程中的第二个fork()
将被执行,它会执行,它会向父进程返回一个非零值,并在子进程中返回一个零值。
所以现在,父进程将不会继续执行到最后一个fork()
(由于短路),而子进程将执行最后一个fork,因为||
的第一个操作数。 是0。
所以这意味着我们会再印两张。
结果,我们总共获得了四张照片。
短路
在这里, 短路基本上意味着如果&&的第一个操作数为零,则其他操作数不被评估。 在相同的逻辑中,如果||的操作数 是1,那么其余的操作数不需要评估。 发生这种情况是因为其余操作数无法更改逻辑表达式的结果,所以不需要执行,因此我们可以节省时间。
见下面的例子。
处理
请记住,父进程创建后代进程,进而创建其他进程等。 这导致了进程的层次结构(或者可以说是一棵树)。
描述性图像
我猜想,这个数字可以帮助我。 我认为每次调用pid的fork()
返回值都是3,4和5。
注意一些fork()
在它们上面有一个红色的X,这意味着它们不会被执行,因为逻辑表达式的短路评估。
顶部的fork()
s不会被执行,因为运算符&&
的第一个操作数是0,因此整个表达式将导致0,所以在执行&&
的其余操作数时没有本质。 。
底部的fork()
不会被执行,因为它是||
的第二个操作数 ,其第一个操作数是一个非零数字,因此无论第二个操作数是什么,表达式的结果都已经计算为true。
在下一张图片中,您可以看到进程的层次结构: 基于上图。
短路电路的例子
#include <stdio.h>
int main(void) {
if(printf("A printf() results in logic true\n"))
;//empty body
if(0 && printf("Short circuiting will not let me execute\n"))
;
else if(0 || printf("I have to be executed\n"))
;
else if(1 || printf("No need for me to get executed\n"))
;
else
printf("The answer wasn't nonsense after all!\n");
return 0;
}
输出:
A printf() results in logic true
I have to be executed
执行fork() && (fork() || fork())
,会发生什么情况
每个fork
分别给出2个进程,分别为pid(父)和0(子)
第一叉:
- 父类的返回值是pid not null =>执行
&& (fork() || fork())
- 第二个fork父值是pid not null会停止执行
||
部分=>打印forked
- 第二个fork子值= 0 =>执行
|| fork()
|| fork()
-
forked
第三个分叉父打印 - 第三叉子印花
forked
-
- 第二个fork父值是pid not null会停止执行
- 子返回值为0,停止执行&&部分=>打印
forked
总计:4 forked
此代码:
fork();
fork() && fork() || fork();
fork();
为自己获得20个进程,并且20次Printf将进入。
和
fork() && fork() || fork();
printf将总共进行5次。