erlang的EXIT和DOWN信号

Question

以下代码同样来自rabbitmq's supervisor2.erl。该代码的功能是杀死主管的孩子，每一个孩子：

1. 监控子发送可捕获的退出信号

2. 启动计时器

3. 如果计时器到达，发送一个不可捕获的退出信号（kill）。

关于EXIT and DOWN signal.的问题

如果child没有捕获exit信号，supervisor会收到2个信号，首先是exit信号，然后是DOWN信号，对吗？信号序列是否得到严格保证？

如果孩子捕获exit信号，监督者只会收到1个信号，只是down信号，是吗？

terminate_simple_children(Child, Dynamics, SupName) ->
    Pids = dict:fold(fun (Pid, _Args, Pids) ->
                         erlang:monitor(process, Pid),
                         unlink(Pid),
                         exit(Pid, child_exit_reason(Child)),
                         [Pid | Pids]
                     end, [], Dynamics),
    TimeoutMsg = {timeout, make_ref()},
    TRef = timeout_start(Child, TimeoutMsg),
    {Replies, Timedout} =
        lists:foldl(
          fun (_Pid, {Replies, Timedout}) ->
                  {Reply, Timedout1} =
                      receive
                          TimeoutMsg ->
                              Remaining = Pids -- [P || {P, _} <- Replies],
                              [exit(P, kill) || P <- Remaining],
                              receive {'DOWN', _MRef, process, Pid, Reason} ->
                                      {{error, Reason}, true}
                              end;
                          {'DOWN', _MRef, process, Pid, Reason} ->
                              {child_res(Child, Reason, Timedout), Timedout};
                          {'EXIT', Pid, Reason} -> %%<==== strict signal, first EXIT, then DOWN.
                              receive {'DOWN', _MRef, process, Pid, _} ->
                                      {{error, Reason}, Timedout}
                              end
                      end,
                  {[{Pid, Reply} | Replies], Timedout1}
          end, {[], false}, Pids),
    timeout_stop(Child, TRef, TimeoutMsg, Timedout),
    ReportError = shutdown_error_reporter(SupName),
    [case Reply of
         {_Pid, ok}         -> ok;
         {Pid,  {error, R}} -> ReportError(R, Child#child{pid = Pid})
     end || Reply <- Replies],
    ok.

Answer 1

您在这里混淆了两件事：

• 首先，孩子是一个陷阱出口，但您正在查看主管代码。孩子对退出信号所做的事情不会直接影响主管。
• kill 退出信号不能被捕获。它总是害死孩子。

supervisor2 在孩子身上有一个监视器。这意味着它保证会收到'DOWN' 消息，并且此代码关注获取此类消息。如果supervisor2 也捕获了出口，它会另外得到'EXIT' 消息。