C语言实现Shell时fork()创建过多子进程的问题求助

核心问题 #

你的代码存在两个关键问题：

1. 内置命令无需创建子进程：内置命令（比如echo这类Shell自身实现的功能）不需要通过fork()创建子进程执行，直接在当前Shell进程中运行即可。
2. 子进程未正确终止：如果非要在子进程中执行内置命令，执行完成后必须调用exit()终止子进程，而不是用return。return只会从exec_simple_command函数返回，子进程会继续回到Shell的主执行流程，重复处理后续命令，进而再次触发fork()，导致子进程数量指数级增长。

修复后的代码 #

方案1：区分内置命令与外部命令，内置命令直接执行 #

这是Shell实现的标准做法，内置命令直接在当前进程执行，避免不必要的进程创建：

int exec_simple_command(struct ast_node_simple_command *node)
{
    if (node == NULL)
        return 1;

    char **args = node->words;
    if (args == NULL)
        return 1;

    // 先判断是否为内置命令（需自行实现is_builtin函数）
    if (is_builtin(args)) {
        // 直接在当前进程执行内置命令
        return exec_builtin(args);
    }

    // 外部命令才创建子进程执行
    pid_t pid = fork();
    int status;

    /* Error handling */
    if (pid < 0)
        return -1;

    if (pid == 0) /* Child Process */
    {
        // 执行外部命令，这里用execvp作为示例
        execvp(args[0], args);
        // 若execvp返回，说明执行失败，终止子进程
        perror("execvp failed");
        exit(EXIT_FAILURE);
    }
    else
    {
        if (waitpid(pid, &status, 0) < 0)
        {
            perror("waitpid failed");
            return 2;
        }

        // 返回子进程的退出状态
        return WEXITSTATUS(status);
    }
}

你需要实现is_builtin()函数，用来判断给定命令是否为Shell内置命令（比如检查args[0]是否是"echo"、"cd"等关键字）。

方案2：若坚持在子进程执行内置命令，必须添加exit() #

如果因为特殊需求必须在子进程中执行内置命令，一定要在执行完成后调用exit()终止子进程：

int exec_simple_command(struct ast_node_simple_command *node)
{
    if (node == NULL)
        return 1;

    char **args = node->words;
    if (args == NULL)
        return 1;

    pid_t pid = fork();
    int status;

    /* Error handling */
    if (pid < 0)
        return -1;

    if (pid == 0) /* Child Process */
    {
        int ret = exec_builtin(args);
        // 执行完内置命令后必须退出子进程，避免回到主循环
        exit(ret);
    }
    else
    {
        if (waitpid(pid, &status, 0) < 0)
        {
            return 2;
        }

        return WEXITSTATUS(status);
    }
}

为什么会出现子进程翻倍的情况？ #

fork()会复制父进程的所有执行状态，包括Shell的命令处理循环。你的代码中，子进程执行完return exec_builtin(args);后，会回到Shell的主循环，继续处理下一条echo命令，此时子进程又会调用fork()创建自己的子进程。每处理一条命令，进程数量就会翻倍，最终导致输出重复多次。

内容的提问来源于stack exchange，提问作者Nicolas