Erlang中start_child需子进程退出才返回的问题及修复方法

你的问题核心不在supervisor:start_child本身，而是子进程的启动函数nodemod:start_link_node/1没有立即返回——supervisor:start_child会等待子进程的启动函数执行完成才会返回，如果启动函数里做了阻塞操作（比如持续处理Socket的读写循环），它就会一直等到子进程退出才会返回结果。

修复步骤 #

1. 修改nodemod:start_link_node/1的实现 #

确保启动函数只负责创建进程并立即返回，把阻塞的Socket处理逻辑放到独立的进程循环里。示例代码如下：

-module(nodemod).
-export([start_link_node/1]).

start_link_node(Socket) ->
    % 启动一个带链接的进程处理Socket，当前函数立即返回
    {ok, Pid} = spawn_link(fun() -> handle_socket(Socket) end),
    {ok, Pid}.

% 处理Socket的阻塞逻辑放在这里
handle_socket(Socket) ->
    % 示例：接收Socket数据、处理业务逻辑的循环
    case gen_tcp:recv(Socket, 0) of
        {ok, Data} ->
            % 处理数据逻辑
            io:fwrite("Received data: ~p~n", [Data]),
            handle_socket(Socket);
        {error, closed} ->
            % Socket关闭，进程退出
            ok;
        {error, Reason} ->
            io:fwrite("Socket error: ~p~n", [Reason]),
            ok
    end.

2. 验证nodesupervisor的调用逻辑 #

你的nodesupervisor代码本身没有问题，只要子进程的启动函数能立即返回，supervisor:start_child就会马上返回结果，不会阻塞。

关键原理 #

Erlang的supervisor:start_child会调用子进程的启动函数（这里是nodemod:start_link_node/1），只有当启动函数返回{ok, Pid}、{ok, Pid, State}或者启动失败时，start_child才会返回。如果启动函数里包含阻塞逻辑，就会导致start_child一直等待。

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