Erlang 在主管上冻结：start_child

Question

我想用一个进程启动一个主管，该进程会产生更多链接到主管的进程。程序在supervisor:start_child 冻结。

主管启动主要孩子：

% supervisor (only part shown)

init([]) ->
    MainApp = ?CHILD_ARG(mainapp, worker, [self()]),
    {ok, { {one_for_one, 5, 10}, [MainApp]} }.

主要的孩子从这里开始：

% mainapp (gen_server)

start_link([SuperPid]) when is_pid(SuperPid) ->
    io:format("Mainapp started~n"),
    gen_server:start_link({local, ?MODULE}, ?MODULE, [SuperPid], []).

init([SuperPid]) ->
    {ok, _Pid} = start_child(childapp, SuperPid),   % <-- here start the other
    {ok, #state{sup=SuperPid}}.

start_child(Module, SuperPid) ->                             % Module = childapp
    io:format("start child before~n"),                       % printed
    ChildSpec = ?CHILD(Module, worker),
    {ok, Pid} = supervisor:start_child(SuperPid, ChildSpec), % <-- here freezes
    io:format("start child after~n"),                        % not printed
    {ok, Pid}.

而另一个子源包含

% childapp

start_link([]) ->
    io:format("Child started~n"),
    gen_server:start_link({local, ?MODULE}, ?MODULE, [], []).

%% gen_server interface

init([]) ->
    {ok, #state{}}.

运行应用程序时我得到的输出是：

erl -pa ebin -eval "application:start(mysuptest)"
Erlang R16B01 (erts-5.10.2) [source-bdf5300] [smp:2:2] [async-threads:10] [hipe] [kernel-poll:false]

Eshell V5.10.2  (abort with ^G)
1> Mainapp started
start child before

在这里它停止了——它冻结了，并且没有像往常一样返回到 erlang 控制台。我没有收到任何错误或任何其他消息。有任何想法吗？我是否正确启动孩子？

Answer 1

当您启动子进程时，来自主管的调用将仅在子进程 init（如果子进程是 gen_server 则 start_link 被阻塞直到 init）返回后返回。您正在主管中启动主 gen_server。因此主管正在等待主应用程序返回。同时 mainapp 正在调用 supervisor:start_child 函数。这会被阻止，因为主管正在等待 mainapp 的返回。这会导致死锁情况。

一种可能的解决方案是不要在mainapp中调用start_child，而是在init返回后异步调用

为此，您可以向自己发送一个演员信息，您可以在其中启动孩子。或者您可以生成另一个进程，该进程启动并将响应（子 Pid）发送到 mainapp

init([SuperPid]) ->
    handle_cast(self(), {start, SuperPid}),   % <-- send a cast message to itself
    {ok, #state{sup=SuperPid}}.

另一个首选的解决方案是使用监督树。子进程可以有自己的主管，主应用程序调用子进程的主管来启动子进程。