switch 中的多个 fork() 会导致指数执行

Question

我有一个程序，它根据 i 执行多个程序。请参阅以下代码块：

for(i=0;i<5;i++){
 switch(i){
  case 0:
    if(fork())result=execl(transportProtoSnd,transportProtoSnd,RTPport, NULL);
    if(result<0){printf("ERRNO: %d\n", errno);exit(0);}
    break;
 case 1:
    if(fork())result=execl(fecSnd,fecSnd,RTPport-1, nameOfTransportProto, NULL);
    if(result<0){printf("ERRNO: %d\n", errno);exit(0);}
    break;
 case 2:
    if(fork())result=execl(fecRcv,fecRcv,RTPport-2, nameOfTransportProto, NULL);
    if(result<0){printf("ERRNO: %d\n", errno);exit(0);}
    break;
 case 3:
    if(fork())result=execl(transportProtoRcv,transportProtoRcv, RTPport-3, NULL);
    if(result<0){printf("ERRNO: %d\n", errno);exit(0);}
    break;
 }
}

问题是进程树看起来像：

0:00  \_ NfqCallTracking/NfqCallTracking 0 Tests/NfqVerdictOnly Tests/NfqVerdictOnly 
0:00  |   \_ NfqCallTracking/NfqCallTracking 0 Tests/NfqVerdictOnly 
0:00  |   |   \_ NfqCallTracking/NfqCallTracking 0 Tests/NfqVerdictOnly 
0:00  |   |   |   \_ NfqCallTracking/NfqCallTracking 0 Tests/NfqVerdictOnly 
0:00  |   |   |   |   \_ NfqCallTracking/NfqCallTracking 0 Tests/NfqVerdictOnly 
0:00  |   |   |   \_ NfqCallTracking/NfqCallTracking 0 Tests/NfqVerdictOnly 
0:00  |   |   \_ NfqCallTracking/NfqCallTracking 0 Tests/NfqVerdictOnly 
0:00  |   |   |   \_ NfqCallTracking/NfqCallTracking 0 Tests/NfqVerdictOnly 
0:00  |   |   \_ NfqCallTracking/NfqCallTracking 0 Tests/NfqVerdictOnly 
0:00  |   \_ NfqCallTracking/NfqCallTracking 0 Tests/NfqVerdictOnly 
0:00  |   |   \_ NfqCallTracking/NfqCallTracking 0 Tests/NfqVerdictOnly 
0:00  |   |   |   \_ NfqCallTracking/NfqCallTracking 0 Tests/NfqVerdictOnly 
0:00  |   |   \_ NfqCallTracking/NfqCallTracking 0 Tests/NfqVerdictOnly 
0:00  |   \_ NfqCallTracking/NfqCallTracking 0 Tests/NfqVerdictOnly 
0:00  |   |   \_ NfqCallTracking/NfqCallTracking 0 Tests/NfqVerdictOnly 
0:00  |   \_ NfqCallTracking/NfqCallTracking 0 Tests/NfqVerdictOnly 

通过使用 vfork() 我得到了更好的行为：

0:00  \_ NfqCallTracking/NfqCallTracking 0 Tests/NfqVerdictOnly Tests/NfqVerdictOnly 
0:00  |   \_ NfqCallTracking/NfqCallTracking 0 Tests/NfqVerdictOnly 
0:00  |       \_ NfqCallTracking/NfqCallTracking 0 Tests/NfqVerdictOnly 
0:00  |           \_ NfqCallTracking/NfqCallTracking 0 Tests/NfqVerdictOnly 
0:00  |               \_ NfqCallTracking/NfqCallTracking 0 Tests/NfqVerdictOnly 

但实际上它应该看起来像：

0:00 udevd --daemon
0:00  \_ udevd --daemon
0:00  \_ udevd --daemon

IIRC vfork() 不使用父进程的状态。因此，我防止了 ps 树 1 中的指数分叉。但是，使用 vfork，每个子节点都会从父子节点演化而来，请参阅树 2。在我看来，通过使用 fork() 或 vfork() 树应该看起来像 ps 树 3。

亲切的问候

Answer 1

事实上，这就是正在发生的事情。

if(fork())result=execl(transportProtoSnd,transportProtoSnd,RTPport, NULL);
if(result<0){printf("ERRNO: %d\n", errno);exit(0);}

父进程分叉并立即执行（当然永远不会返回）。这就是 if 的作用。然后子进程测试一个虚假的结果值，并继续生成另一个程序 (i++)。

所以主要问题似乎是您在父级而不是子级中执行（这很奇怪）。您应该执行以下操作：

if(fork() == 0) {
    execl(transportProtoSnd,transportProtoSnd,RTPport, NULL);
    /* If it reaches this handle error. */
}

显然您应该检查 fork(2) 的返回码。

Answer 2

来自“fork”的手册页：

成功时，在父进程中返回子进程的 PID，在子进程中返回 0。

这意味着对于您的程序来说，父进程执行并且子进程继续循环以分叉其他进程......因此树，恕我直言。尝试反转 if 条件。

Answer 3

除了其他答案之外，您应该意识到您是通过这种方式创建僵尸的 - 至少如果您有一个长期运行的“父”程序。您应该记下 fork() 进程的 PID（可能在一个数组中），并执行 wait()、waitid() 或waitpid()。