如果 exec 失败，为什么进程会创建僵尸，但如果 execve 成功并终止则不会？

Question

所以我对我的 C 程序的行为感到困惑。我正在使用构造，

int pid = fork();
if (pid == 0) {
    if(file_upload_script_path) {
        rc = execv(file_upload_script_path, args);
        if(rc == -1) {   
            printf("Error has occured when starting file_upload.exp!\n");
            exit(0);
        }
    } else {   
        printf("Error with memory allocation!\n");
    }
}
else {
    printf("pid=%d\n", pid);
}

fork 进程并运行脚本以进行文件上传。该脚本将通过完成上传或失败自行安全终止。

现在，脚本路径有问题，导致execv 失败。这里我注意到如果 execv 完成，子进程将成功终止，但如果它失败（r==-1）并且我退出进程，它将成为僵尸。有谁知道为什么会这样？

请注意，我知道为什么子进程会变成僵尸。我感到困惑的是，如果 execv 工作，为什么进程不会变成僵尸。

编辑：

我有一个关于 errno 和错误原因的问题。错误的原因是已知的。构建过程出现问题，因此脚本的路径与预期不同。

但是，这种情况可能会再次发生，我想确保我的程序不会开始产生僵尸。在某些情况下创建僵尸而不在其他情况下创建僵尸的行为非常令人困惑。

BR 帕特里克

Answer 1

如果您不想创建僵尸，您的程序必须获取僵尸进程，无论它们是否调用execv 或不调用它，或者无论execv 调用是否成功。要“自动”获取僵尸进程处理 SIGCHLD 信号：

void handle_sigchld(int sig) {
    int saved_errno = errno;
    while (waitpid((pid_t)(-1), 0, WNOHANG) > 0) {}
    errno = saved_errno;
}

int main() {
    signal(SIGCHLD, handle_sigchld);
    // rest of your program....
}

灵感来自：this link。

或者你可能只想收获这个指定的孩子，因为稍后你想调用fork()并处理孩子的返回值。然后将返回的pid 从父级中的fork() 传递给信号处理程序，如果需要，将wait 传递给sigchld 中的这个pid（进行一些检查，例如，如果pid 已经完成，则忽略未来的SIGCHLD 等......） .

Answer 2

在这种情况下，当 execv 失败时，子进程被杀死。我认为有趣的部分是当您调用 exec 系列函数时会发生什么。

exec 系列函数将进程的当前映像替换为您将要执行的二进制文件的新映像。

因此，无论 是 的代码都不会保留 - 并且脚本中的错误会导致其死亡。

在这里，父进程需要使用等待功能的函数（阅读：waitpid）来监听子进程的死亡。

当你说脚本有问题时，这意味着execv实际上已经成功创建了新的图像；但后者自己失败了。

这就是我认为正在发生的事情......

如果 if (rc==-1) 的 printf 正在执行，那么将 exit(0) 更改为 _exit(0) 可能会解决这个问题。