Erlang主进程终止后子进程未按预期退出问题咨询

你的问题核心在于对Erlang进程链接（spawn_link）和退出信号规则的误解，以下是具体分析和解决方案：

关键规则 #

Erlang中，两个进程通过spawn_link建立链接后，退出信号的处理逻辑如下：

• 若进程以**normal**原因退出：
  • 未开启trap_exit的链接进程不会被终止，也不会收到任何EXIT消息；
  • 开启trap_exit的链接进程会收到{'EXIT', 退出进程PID, normal}的消息。
• 若进程以**非normal**原因退出（如killed、error等）：
  • 未开启trap_exit的链接进程会被强制终止；
  • 开启trap_exit的链接进程会收到对应的EXIT消息，不会被强制终止。

你的代码问题分析 #

1. 主进程退出原因：start/1最后调用exit(normal)，属于正常退出，因此不会触发未开启trap_exit的slave进程终止。
2. slave进程状态：所有slave进程未设置trap_exit，主进程正常退出后，它们会继续存活并等待消息，自然不会打印退出相关内容。
3. init()进程的输出：init()进程开启了trap_exit，理论上会收到主进程的normal退出消息，但由于主进程退出后shell立即打印了异常信息，init()进程的输出可能被覆盖，或是进程调度顺序导致它未及时处理消息。

解决方案 #

方案1：让主进程以非normal原因退出 #

修改start/1的退出原因，触发slave进程强制终止：

start(SlavesNum) ->
    process_flag(trap_exit, true),
    [spawn_link(fun() ->
                        io:format("slave ~p~n", [N]),
                        loop(N)
                end) || N <- lists:seq(1, SlavesNum)],
    spawn_link(fun() -> process_flag(trap_exit, true), init() end),
    exit(killed). % 改用非normal的退出原因

此时slave进程会被强制终止，但因无EXIT消息处理逻辑，不会打印退出内容。

方案2：让slave进程处理EXIT消息 #

给slave进程开启trap_exit并添加退出处理逻辑，无论主进程以何种原因退出，slave都能打印退出信息：

start(SlavesNum) ->
    process_flag(trap_exit, true),
    [spawn_link(fun() ->
                        process_flag(trap_exit, true), % 开启trap_exit
                        io:format("slave ~p~n", [N]),
                        loop(N)
                end) || N <- lists:seq(1, SlavesNum)],
    spawn_link(fun() -> process_flag(trap_exit, true), init() end),
    exit(normal).

loop(SlaveNum) ->
    receive
        {'EXIT', _From, Reason} -> 
            io:format("slave #~p exiting due to: ~p~n", [SlaveNum, Reason]),
            exit(Reason); % 主动退出
        Msg -> io:format("slave #~p received ~p~n", [SlaveNum, Msg])
    end.

运行此版本代码，主进程退出后，所有slave都会打印退出信息并终止。

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